Set and relation manipulation for the Sparse Polyhedral Framework

Michelle Mills Strout, Geri Georg, Catherine Olschanowsky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations


The Sparse Polyhedral Framework (SPF) extends the Polyhedral Model by using the uninterpreted function call abstraction for the compile-time specification of run-time reordering transformations such as loop and data reordering and sparse tiling approaches that schedule irregular sets of iteration across loops. The Polyhedral Model represents sets of iteration points in imperfectly nested loops with unions of polyhedral and represents loop transformations with affine functions applied to such polyhedra sets. Existing tools such as ISL, Cloog, and Omega manipulate polyhedral sets and affine functions, however the ability to represent the sets and functions where some of the constraints include uninterpreted function calls such as those needed in the SPF is non-existant or severely restricted. This paper presents algorithms for manipulating sets and relations with uninterpreted function symbols to enable the Sparse Polyhedral Framework. The algorithms have been implemented in an open source, C++ library called IEGenLib (The Inspector/Executor Generator Library).

Original languageEnglish (US)
Title of host publicationLanguages and Compilers for Parallel Computing - 25th International Workshop, LCPC 2012, Revised Selected Papers
Number of pages15
StatePublished - 2013
Externally publishedYes
Event25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012 - Tokyo, Japan
Duration: Sep 11 2012Sep 13 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7760 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Set and relation manipulation for the Sparse Polyhedral Framework'. Together they form a unique fingerprint.

Cite this