isl: An integer set library for the polyhedral model. In compiler research, polytopes and related mathematical objects have been successfully used for several decades to represent and manipulate computer programs in an approach that has become known as the polyhedral model. The key insight is that the kernels of many compute-intensive applications are composed of loops with bounds that are affine combinations of symbolic constants and outer loop iterators. The iterations of a loop nest can then be represented as the integer points in a (parametric) polytope and manipulated as a whole, rather than as individual iterations. A similar reasoning holds for the elements of an array and for mappings between loop iterations and array elements.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Toth, Csaba D. (ed.); Goodman, Jacob E. (ed.); O’Rourke, Joseph (ed.): Handbook of discrete and computational geometry (2017)
- Bielecki, Włodzimierz; Pałkowski, Marek: Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs (2016)
- Kahle, Thomas; Michałek, Mateusz: Plethysm and lattice point counting (2016)
- Bielecki, Włodzimierz; Kraska, Krzysztof; Klimek, Tomasz: Using basis dependence distance vectors in the modified Floyd-Warshall algorithm (2015)
- Fu, Norie; Shibuta, Takafumi: An algorithm for solving parametric integer program (2015)
- Maisonneuve, Vivien; Hermant, Olivier; Irigoin, François: Computing invariants with transformers: experimental scalability and accuracy (2014)
- Verdoolaege, Sven: isl: An integer set library for the polyhedral model (2010)
- Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice: Equivalence checking of static affine programs using widening to handle recurrences (2009)