isl: An Integer Set Library for the Polyhedral Model

  • Sven Verdoolaege
Conference paper

DOI: 10.1007/978-3-642-15582-6_49

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6327)
Cite this paper as:
Verdoolaege S. (2010) isl: An Integer Set Library for the Polyhedral Model. In: Fukuda K., Hoeven J..., Joswig M., Takayama N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Sven Verdoolaege
    • 1
    • 2
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenBelgium
  2. 2.Team ALCHEMY, INRIA SaclayFrance

Personalised recommendations