Bibliography.bib

@article{Polly,
author = {Grosser Tobias and Groesslinger Armin and Lengauer, Christian},
title = {Polly — Performing polyhedral optimizations on a Low-Level Intermediate Representation},
journal = {Parallel Processing Letters},
volume = {22},
number = {04},
pages = {1250010},
year = {2012},
doi = {10.1142/S0129626412500107},
}

@article{Benchbuild,
  title={BenchBuild: A Large-Scale Empirical-Research Toolkit},
  author={Simb{\"u}rger, Andreas and Sattler, Floarian and Gr{\"o}{\ss}linger, Armin and Lengauer, Christian},
  year={2016},
  url={http://www.fim.uni-passau.de/fileadmin/files/forschung/mip-berichte/MIP-1602.pdf}
}

@article{Polybench,
  title={Polybench: The polyhedral benchmark suite (2011)},
  author={Pouchet, Louis-Noel},
  url={http://www-roc.inria.fr/~pouchet/software/polybench},
  year={2015}
}

@inproceedings{LLVM,
 author = {Lattner, Chris and Adve, Vikram},
 title = {LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation},
 booktitle = {Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization},
 series = {CGO '04},
 year = {2004},
 isbn = {0-7695-2102-9},
 location = {Palo Alto, California},
 pages = {75--},
 url = {http://dl.acm.org/citation.cfm?id=977395.977673},
 acmid = {977673},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 

@inproceedings{PolyJit,
 author = {A. Simbürger and A. Größliger},
 title = {On the variety of static control parts in real-world programs: from affine via multi-dimensional to polynomial and just-in-time},
 booktitle = {Proceedings of the 4th International Workshop on Polyhedral Compilation Techniques},
 series = {CGO '04},
 year = {2014},
 url = {http://impact.gforge.inria.fr/impact2014/papers/impact2014-simbuerger.pdf},
} 

@article{PGO,
author = {Luc Forget},
title = {Profile based scop selection},
year = {2017},
}

@Inbook{ISL,
author="Verdoolaege, Sven",
editor="Fukuda, Komei
and Hoeven, Joris van der
and Joswig, Michael
and Takayama, Nobuki",
title="isl: An Integer Set Library for the Polyhedral Model",
bookTitle="Mathematical Software -- ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings",
year="2010",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="299--302",
abstract="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.",
isbn="978-3-642-15582-6",
doi="10.1007/978-3-642-15582-6_49",
url="https://doi.org/10.1007/978-3-642-15582-6_49"
}

@article{MSE,
 author = {Barthou, Denis and Cohen, Albert and Collard, Jean-Fran\c{c}ois},
 title = {Maximal Static Expansion},
 journal = {Int. J. Parallel Program.},
 issue_date = {June 2000},
 volume = {28},
 number = {3},
 month = jun,
 year = {2000},
 url = {https://hal.archives-ouvertes.fr/hal-01257314/document},
} 

[download]