Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies

Modern compilers are responsible for translating the idealistic operational semantics of the source program into a form that makes efficient use of a highly complex heterogeneous machine. Since opt...