A list of awesome papers and website for polyhedral compilation
- Parametric integer programming by P. Feautrier. The (integer)lexicographical minimum algorithm, which is embedded in .
- Affine transformations for communication minimal parallelization and locality optimization of arbitrarily-nested loop sequences by U. Bondhugula, M. Baskaran, S. Krishnamoorthy, J. Ramanujam, A. Rountev, and P. Sadayappan, 2007.
- PLuTo: A Practical and Fully Automatic Polyhedral Program Optimization System by U. Bondhugula, J. Ramanujam, and P. Sadayappan, 2007. It will be easier to first read the previous paper, in which Bondhugula gives an example to help understand the whole formulation procedure.
- Scheduling for PPCG by Verdoolaege, Sven, Janssens, Gerda, 2017. List the differences between methods implemented in isl and pluto and Feautrier.
- isl. To fully understand the mechanism and code in isl, you must have a look on papers above.