Publications
Publications about polyhedral compilation
polyhedral.info has a large list of publications related to polyhedral compilation. They are very useful to get an idea of the latest developments in this area of compilation as well as to understand what kind of optimizations can be built on top of Polly.Citing Polly
The canonical publication to cite Polly is:
Polly - Performing polyhedral optimizations on a low-level intermediate
representation
Tobias Grosser, Armin Groesslinger, Christian Lengauer
Parallel Processing Letters 2012 22:04
Paper
Publications involving Polly
2016
- Loopy: Programmable and Formally Verified Loop Transformations
Kedar Namjoshi and Nimit Singhania
23rd Static Analysis Symposium (SAS 2016)
Paper - Input Space Splitting for OpenCL
Simon Moll, Johannes Doerfert and Sebastian Hack
25th International Conference on Compiler Construction (CC 2016)
- Parallelisation automatique de programmes scientifiques pour systems
distribues
Felix-Antoine Quellet
Master Thesis, Universite de Sherbrooke
Thesis
2015
- Polyhedral AST generation is more than scanning polyhedra
Tobias Grosser, Sven Verdoolaege, Albert Cohen
ACM Transations on Programming Languages and Systems (TOPLAS), 37(4), July 2015
Paper - On recovering multi-dimensional arrays in Polly
Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan
Impact2015 at HiPEAC, Amsterdam, The Netherlands
Slides & Paper: Impact 2015 - Polly's polyhedral scheduling in the presence of reductions
Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa
Impact2015 at HiPEAC, Amsterdam, The Netherlands
Slides & Paper: Impact 2015
2014
-
Lattice QCD Optimization and Polytopic Representations of Distributed Memory
Michael Kruse
Doctoral Thesis, Ecole doctorale Informatique de Paris-Sud
Thesis
2012
- KernelGen - a prototype of auto-parallelizing Fortran/C compiler for NVIDIA GPUs
Dmitry Mikushin, Nikolay Likhogrud, Hou Yunqing, Sergey Kovylov
Multi-core Workshop 2012, NCAR, Boulder, CO
Slides - KernelGen - a toolchain for automatic GPU-centric applications porting
Nikolay Likhogrud, Dmitry Mikushin, Andrew Adinets
Parallel Computational Technologies (PCT) 2012, Novosibirsk
Slides
2011
- Polly - First Successful Optimizations - How to proceed?
Tobias Grosser, Ragesh A
LLVM Developer Meeting 2011
Slides, Video (Computer), Video (Mobile) - A Framework for Automatic OpenMP Code Generation
Raghesh A
Masters Thesis (May 2011)
Thesis - Enabling Polyhedral Optimizations in LLVM
Tobias Grosser
Diploma Thesis (April 2011)
Thesis - Polly - Polyhedral Optimization in LLVM
Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simbürger, Armin Größlinger, Louis-Noël Pouchet
IMPACT at CGO 2011
Paper, Slides
2010
- Polly - Polyhedral Transformations for LLVM
Tobias Grosser, Hongbin Zheng
LLVM Developer Meeting 2010
Slides, Video (Computer), Video (Mobile)
Publications used within Polly
Polyhedral library
- isl: An Integer Set Library for the Polyhedral Model
Sven Verdoolaege
ICMS 2010
Optimization
- A Practical Automatic Polyhedral Parallelizer and Locality Optimizer
Uday Bondhugula, Alberto Hartono, J. Ramanujam, P. Sadayappan
PLDI 2008 - Effective Automatic Parallelization and Locality Optimization using
the Polyhedral Model
Uday Bondhugula
PhD thesis 2008
Code Generation
- Code Generation in the Polyhedral Model Is Easier Than You Think
Cédric Bastoul
PACT 2004
Interesting Publications
Publications that are not yet used or implemented in Polly, but that are interesting to look at either to understand general concepts or to implement the corresponding ideas. This list is incomplete and papers are added as we hear about them.GPGPU
- Automatic C-to-CUDA Code Generation for Affine Programs
Muthu Manikandan Baskaran, J. Ramanujam and P. Sadayappan
CC 2010 - Putting Automatic Polyhedral Compilation for GPGPU to Work
Soufiane Baghdadi, Armin Größlinger, and Albert Cohen.
In Proc. of Compilers for Parallel Computers (CPC), 2010.
Vectorization
- Joint Scheduling and Layout Optimization to Enable Multi-Level
Vectorization
Nicolas Vasilache, Benoit Meister, Muthu Baskaran, Richard Lethin
IMPACT 2012 (upcoming)
Iterative Compilation
- Iterative optimization in the polyhedral model: Part I,
one-dimensional time.
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and Nicolas Vasilache
CGO 2007 - Iterative optimization in the polyhedral model: Part II,
multidimensional time.
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and John Cavazos
PLDI 2008
Non-static Control
- The Polyhedral Model Is More Widely Applicable Than You Think
Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul.
CC 2010
Source to Source Tools
- Polyhedral Extraction Tool
Sven Verdoolaege, Tobias Grosser
IMPACT 2012