High-level loop and data-locality optimizer

 Uses an abstract mathematical representation based on integer polyhedra
 to analyze and optimize the memory access pattern of a program