isl: An Integer Set Library for the Polyhedral Model

By Sven Verdoolaege. International Congress on Mathematical Software, 2010

468 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/1c5b15587e4034c97610b2017697ad1ea663a8fa

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computational Theory and Mathematics

In Hardware and Architecture

Citations in the corpus

MLIR: A Compiler Infrastructure for the End of Moore's Law (2020, methodology): “…[19, 41, 5, 14], and fully automatic ﬂows such as PolyMage [28], Tensor Com-prehensions [52], Stripe [58], Diesel [16], Tiramisu [4] and their underlying polyhedral compilation techniques [17, 54, 8, 55] could co-exist as different code generation paths within an MLIR-based compilation framework.”
MLIR: Scaling Compiler Infrastructure for Domain Specific Computation (2021, unknown): “While a full exploration of the design points here is out of scope for this paper, we illustrate aspects of the afﬁne dialect to show the modeling power of MLIR and contrast the afﬁne dialect with past representations [25], [26], [27], [28], [29].”
Polyhedral parallel code generation for CUDA (2013, methodology): “In PPCG, we use a variation of this algorithm, implemented in isl [Verdoolaege 2010].”
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation (2012, background): “It is based on an advanced polyhedral library [27] that can model integer wrapping and that provides a state-of-the-art dependence analysis.”
Automated systolic array architecture synthesis for high throughput CNN inference on FPGAs (2017, background): “Counting an integer set with linear constraints can be solved by the polyhedral library [23], but it has high computational complexity.”
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code (2018, methodology): “We also use the ISL library notation for sets and maps throughout the paper.”
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions (2018, methodology): “In a prototype version of the system, Halide-IR was lowered to polyhedral representation via a translation to PENCIL [3] and then parsed using the pet [86] and isl [83] libraries.”