Code generation in the polyhedral model is easier than you think
By Cédric Bastoul. Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., 2004
558 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/d2f48fb9fd31390c56609f00510accf5c56f9f9b
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Chris Lattner
- Nicolas Vasilache
- Riyadh Baghdadi
- Oleksandr Zinenko
- Mehdi Amini
- Albert Cohen
- Jessica Ray
- Jacques A. Pienaar
Citations in the corpus
- MLIR: Scaling Compiler Infrastructure for Domain Specific Computation (2021, unknown): “Furthermore, the conversion from transformed polyhedra to loops is computationally hard [33].”
- isl: An Integer Set Library for the Polyhedral Model (2010, methodology): “We have already achieved the shortterm objectives of replacing PolyLib in the loop generator CLooG [3], producing better code by eliminating constraints that are redundant over the integers but not over the rationals, and of forming the basis of an equivalence checker [22] of programs that can be re”
- A practical automatic polyhedral parallelizer and locality optimizer (2008, background): “This is particularly common in scienti.c and engineering applications.”
- MLIR: A Compiler Infrastructure for the End of Moore's Law (2020, background): “Furthermore, the conversion from transformed polyhedra to loops is computationally hard [7].”
- Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code (2018, methodology): “TIRAMISU relies on an implementation of the Cloog [6] code generation algorithm provided by the ISL library [48].”
- Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation (2012, background): “Bastoul [3] developed with CLooG a code generator that generates such an AST efficiently.”
- CodeScope: An Execution-based Multilingual Multitask Multidimensional Benchmark for Evaluating LLMs on Code Understanding and Generation (2023, methodology): “Much research in this category works on optimizing loops using the polyhedral model (Bondhugula et al., 2008; Bastoul, 2004).”
- Polyhedral parallel code generation for CUDA (2013, methodology): “For the purpose of the present paper, our code generator is similar to CLooG [Bastoul 2004], except that it has support for nested code generations.”