Edit this page

Benchmarks

Benchmarks containing static control parts.

Code Generators

Tools and libraries to translate a polyhedral representation into source code.

Compilers

Static C/FORTRAN

Source-to-Source

Speculative and Just-in-time Compilers

Equational Programming

Hardware Compilers

Dependency analysis

Exchange formats

Front ends

Tools and libraries to translate a high level language into a polyhedral representation.

Interactive Environments

Libraries

Libraries to perform calculations on polyhedra.

Scripting

Visualization

Bibliography

2021

[1] Data-aware process networks
Alias, Christophe and Plesco, Alexandru
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

2016

[2] Tiling of arbitrarily nested loops by means of the transitive closure of dependence graphs
Wlodzimierz Bielecki and Marek Palkowski
International Journal of Applied Mathematics and Computer Science (AMCS)

2014

[3] Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
Jimborean, Alexandra and Clauss, Philippe and Dollinger, Jean-François and Loechner, Vincent and Martinez Caama\~{n}o, Juan Manuel
International Journal of Parallel Programming

2013

[4] Polyhedral parallel code generation for CUDA
Verdoolaege, Sven and Juega, Juan Carlos and Cohen, Albert and Gómez, José Ignacio and Tenllado, Christian and Catthoor, Francky
ACM Transactions on Architecture and Code Optimization

2012

[5] Polyhedra scanning revisited
Chen, Chun
Conference on Programming Language Design and Implementation
[6] Polly -- Performing polyhedral optimizations on a low-level intermediate representation
Grosser, Tobias and Größlinger, Armin and Lengauer, Christian
Parallel Processing Letters
[7] Polyhedral Extraction Tool
Verdoolaege, Sven and Grosser, Tobias
Second International Workshop on Polyhedral Compilation Techniques (IMPACT'12)
[8] AlphaZ: A System for Design Space Exploration in the Polyhedral Model
Yuki, Tomofumi and Gupta, Gautam and Kim, DaeGon and Pathan, Tanveer and Rajopadhye, Sanjay
Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing

2011

[9] Polyopt, a polyhedral optimizer for the rose compiler
Pouchet, Louis-Noël
[10] Counting Affine Calculator and Applications
Verdoolaege, Sven
Edited by C. Alias and C. Bastoul
1st International Workshop on Polyhedral Compilation Techniques (IMPACT)

2010

[11] FADAlib: an open source C++ library for fuzzy array dataflow analysis
Belaoucha, Marouane and Barthou, Denis and Eliche, Adrien and Touati, Sid-Ahmed-Ali
Procedia Computer Science
[12] A model for fusion and code motion in an automatic parallelizing compiler
Bondhugula, Uday and Günlük, Oktay and Dash, Sanjeeb and Renganarayanan, Lakshminarayanan
International Conference on Parallel Architectures and Compilation Techniques (PACT)
[13] GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation
Trifunovi\'c, Konrad and Cohen, Albert and Edelsohn, David and Li, Feng and Grosser, Tobias and Jagasia, Harsha and Ladelsky, Razya and Pop, Sebastian and Sj\"odin, Jan and Upadrasta, Ramakrishna
2nd GCC Research Opportunities Workshop (GROW)
[14] isl: An Integer Set Library for the Polyhedral Model
Verdoolaege, Sven
Edited by Fukuda, Komei and Hoeven, Joris and Joswig, Michael and Takayama, Nobuki
Mathematical Software (ICMS'10)

2008

[15] The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Bagnara, Roberto and Hill, Patricia M and Zaffanella, Enea
Science of Computer Programming
[16] Clan - A polyhedral representation extractor for high level programs
Bastoul, Cedric
[17] A practical automatic polyhedral parallelizer and locality optimizer
Bondhugula, Uday and Hartono, Albert and Ramanujam, J. and Sadayappan, P.
SIGPLAN Notices
[18] A framework for composing high-level loop transformations
Chen, Chun and Chame, Jacqueline and Hall, Mary

2006

[19] R-stream: A parametric high level compiler
Schweitz, Eric and Lethin, Richard and Leung, Allen and Meister, Benoit
Proceedings of HPEC

2004

[20] Code Generation in the Polyhedral Model Is Easier Than You Think
Bastoul, Cédric
IEEE International Conference on Parallel Architecture and Compilation Techniques

1999

[21] PolyLib: A library for manipulating parameterized polyhedra
Loechner, Vincent

1996

[22] The loop parallelizer LooPo
Griebl, Martin and Lengauer, Christian
Proc. Sixth Workshop on Compilers for Parallel Computers
[23] The Omega Calculator and Library, Version 1.1.0
Kelly, Wayne and Maslov, Vadim and Pugh, William and Rosser, Evan and Shpeisman, Tatiana and Wonnacott, Dave

1995

[24] New user interface for Petit and other interfaces: user guide
Kelly, W and Maslov, V and Pugh, W and Rosser, E and Shpeisman, T and Wonnacott, D
University of Maryland