2015-02-26 05:31:38 +08:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
2011-05-02 15:48:29 +08:00
|
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
|
|
|
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
|
|
|
|
<title>Polly - Publications</title>
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="menu.css">
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="content.css">
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
2013-12-20 06:50:10 +08:00
|
|
|
<div id="box">
|
2011-05-02 15:48:29 +08:00
|
|
|
<!--#include virtual="menu.html.incl"-->
|
|
|
|
|
<div id="content">
|
|
|
|
|
<!--*********************************************************************-->
|
2013-12-20 08:53:01 +08:00
|
|
|
<h1>Publications</h1>
|
2011-05-02 15:48:29 +08:00
|
|
|
<!--*********************************************************************-->
|
|
|
|
|
|
2014-03-21 17:34:13 +08:00
|
|
|
<h2> Publications about polyhedral compilation </h2>
|
|
|
|
|
<a href="http://polyhedral.info/publications.html">polyhedral.info</a> has a
|
|
|
|
|
large list of publications related to polyhedral compilation. They are very
|
|
|
|
|
useful to get an idea of the latest developments in this area of compilation
|
|
|
|
|
as well as to understand what kind of optimizations can be built on top of
|
|
|
|
|
Polly.
|
|
|
|
|
|
2014-03-21 17:34:18 +08:00
|
|
|
<h2> Citing Polly</h2>
|
|
|
|
|
|
|
|
|
|
The canonical publication to cite Polly is:
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
<em>Polly - Performing polyhedral optimizations on a low-level intermediate
|
2012-12-30 00:47:41 +08:00
|
|
|
representation </em><br />
|
|
|
|
|
Tobias Grosser, Armin Groesslinger, Christian Lengauer<br />
|
|
|
|
|
Parallel Processing Letters 2012 22:04<br />
|
2015-08-15 17:34:28 +08:00
|
|
|
<a href="http://www.grosser.es#pub-Polly">Paper</a>
|
2014-03-21 17:34:18 +08:00
|
|
|
</p>
|
|
|
|
|
|
|
|
|
|
<h2> Publications involving Polly </h2>
|
2016-02-02 23:03:31 +08:00
|
|
|
<h3> 2016 </h3>
|
|
|
|
|
<ul>
|
2016-09-30 02:17:30 +08:00
|
|
|
<li><em>Loopy: Programmable and Formally Verified Loop Transformations</em><br />
|
|
|
|
|
Kedar Namjoshi and Nimit Singhania<br />
|
|
|
|
|
23rd Static Analysis Symposium (SAS 2016)<br />
|
|
|
|
|
<a href="http://link.springer.com/chapter/10.1007/978-3-662-53413-7_19">Paper</a>
|
|
|
|
|
</li>
|
2016-02-02 23:03:31 +08:00
|
|
|
<li><em>Input Space Splitting for OpenCL</em><br />
|
|
|
|
|
Simon Moll, Johannes Doerfert and Sebastian Hack<br />
|
|
|
|
|
25th International Conference on Compiler Construction (CC 2016)<br />
|
|
|
|
|
</li>
|
2016-02-04 14:36:50 +08:00
|
|
|
<li><em>Parallelisation automatique de programmes scientifiques pour systems
|
|
|
|
|
distribues
|
|
|
|
|
</em><br />
|
|
|
|
|
Felix-Antoine Quellet<br />
|
|
|
|
|
Master Thesis, Universite de Sherbrooke<br />
|
|
|
|
|
<a
|
|
|
|
|
href="http://savoirs.usherbrooke.ca/bitstream/handle/11143/8171/Ouellet_Felix_Antoine_MSc_2016.pdf?sequence=4">Thesis</a>
|
|
|
|
|
</li>
|
2016-02-02 23:03:31 +08:00
|
|
|
</ul>
|
2015-02-26 05:31:38 +08:00
|
|
|
<h3> 2015 </h3>
|
|
|
|
|
<ul>
|
2015-08-15 17:34:33 +08:00
|
|
|
<li><em>Polyhedral AST generation is more than scanning polyhedra</em><br />
|
|
|
|
|
Tobias Grosser, Sven Verdoolaege, Albert Cohen<br />
|
|
|
|
|
ACM Transations on Programming Languages and Systems (TOPLAS), 37(4), July
|
|
|
|
|
2015<br />
|
|
|
|
|
<a href="http://www.grosser.es#pub-polyhedral-AST-generation">Paper</a>
|
|
|
|
|
</li>
|
2015-02-26 05:31:38 +08:00
|
|
|
<li><em>On recovering multi-dimensional arrays in Polly</em><br />
|
|
|
|
|
Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan <br />
|
|
|
|
|
Impact2015 at HiPEAC, Amsterdam, The Netherlands<br />
|
2016-02-04 14:41:03 +08:00
|
|
|
Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
|
2015-02-26 05:31:38 +08:00
|
|
|
</li>
|
|
|
|
|
<li><em>Polly's polyhedral scheduling in the presence of reductions </em><br />
|
|
|
|
|
Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa<br />
|
|
|
|
|
Impact2015 at HiPEAC, Amsterdam, The Netherlands<br />
|
2016-02-04 14:41:03 +08:00
|
|
|
Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
|
2015-02-26 05:31:38 +08:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
2016-02-04 14:40:59 +08:00
|
|
|
<h3> 2014 </h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>
|
|
|
|
|
Lattice QCD Optimization and Polytopic Representations of Distributed Memory </em><br />
|
|
|
|
|
Michael Kruse<br />
|
|
|
|
|
Doctoral Thesis, Ecole doctorale Informatique de Paris-Sud<br />
|
|
|
|
|
<a href="http://www.theses.fr/2014PA112198">Thesis</a>
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
2014-03-21 17:34:18 +08:00
|
|
|
<h3> 2012 </h3>
|
|
|
|
|
<ul>
|
2013-01-18 08:26:39 +08:00
|
|
|
<li><em>KernelGen - a prototype of auto-parallelizing Fortran/C compiler for NVIDIA GPUs</em><br />
|
|
|
|
|
Dmitry Mikushin, Nikolay Likhogrud, Hou Yunqing, Sergey Kovylov<br />
|
|
|
|
|
Multi-core Workshop 2012, NCAR, Boulder, CO<br /><a
|
|
|
|
|
href="publications/kernelgen-ncar-2012-slides.pdf">Slides</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li><em>KernelGen - a toolchain for automatic GPU-centric applications porting</em><br />
|
|
|
|
|
Nikolay Likhogrud, Dmitry Mikushin, Andrew Adinets<br />
|
|
|
|
|
Parallel Computational Technologies (PCT) 2012, Novosibirsk<br /><a
|
|
|
|
|
href="publications/kernelgen-pavt-2012-slides.pdf">Slides</a>
|
2012-12-30 00:47:41 +08:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
2012-01-03 17:50:29 +08:00
|
|
|
<h3> 2011 </h3>
|
2011-05-02 15:48:29 +08:00
|
|
|
<ul>
|
2012-01-03 17:50:29 +08:00
|
|
|
<li><em>Polly - First Successful Optimizations - How to proceed?</em><br />
|
|
|
|
|
Tobias Grosser, Ragesh A<br />
|
|
|
|
|
LLVM Developer Meeting 2011<br /><a
|
|
|
|
|
href="http://llvm.org/devmtg/2011-11/Grosser_PollyOptimizations.pdf">Slides</a>, <a
|
|
|
|
|
href="http://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-desktop.mov">Video
|
|
|
|
|
(Computer)</a>, <a
|
|
|
|
|
href="http://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-mobile.mp4">Video
|
|
|
|
|
(Mobile)</a></li>
|
2011-05-24 20:20:00 +08:00
|
|
|
<li><em>A Framework for Automatic OpenMP Code Generation</em><br />
|
|
|
|
|
Raghesh A<br />
|
|
|
|
|
Masters Thesis (May 2011)<br />
|
|
|
|
|
<a
|
|
|
|
|
href="publications/raghesh-a-masters-thesis.pdf">Thesis</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li><em>Enabling Polyhedral Optimizations in LLVM</em><br />
|
|
|
|
|
Tobias Grosser<br />
|
|
|
|
|
Diploma Thesis (April 2011)<br />
|
|
|
|
|
<a
|
|
|
|
|
href="publications/grosser-diploma-thesis.pdf">Thesis</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li><em>Polly - Polyhedral Optimization in LLVM</em><br />
|
2011-05-02 15:48:29 +08:00
|
|
|
Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simbürger, Armin
|
|
|
|
|
Größlinger, Louis-Noël Pouchet<br />
|
|
|
|
|
IMPACT at CGO 2011 <br />
|
|
|
|
|
<a
|
|
|
|
|
href="publications/grosser-impact-2011.pdf">Paper</a>, <a
|
2011-05-24 20:20:00 +08:00
|
|
|
href="publications/grosser-impact-2011-slides.pdf">Slides </a>
|
2011-05-02 15:48:29 +08:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
2012-01-03 17:50:29 +08:00
|
|
|
<h3> 2010 </h3>
|
2011-05-02 15:48:29 +08:00
|
|
|
<ul>
|
2011-05-24 20:20:00 +08:00
|
|
|
<li><em>Polly - Polyhedral Transformations for LLVM</em><br />
|
2011-05-02 15:48:29 +08:00
|
|
|
Tobias Grosser, Hongbin Zheng<br />
|
2012-01-03 17:50:29 +08:00
|
|
|
LLVM Developer Meeting 2010<br /><a
|
2011-05-02 15:48:29 +08:00
|
|
|
href="http://llvm.org/devmtg/2010-11/Grosser-Polly.pdf">Slides</a>, <a
|
|
|
|
|
href="http://llvm.org/devmtg/2010-11/videos/Grosser_Polly-desktop.mp4">Video
|
|
|
|
|
(Computer)</a>, <a
|
|
|
|
|
href="http://llvm.org/devmtg/2010-11/videos/Grosser_Polly-mobile.mp4">Video
|
|
|
|
|
(Mobile)</a></li>
|
|
|
|
|
</ul>
|
2012-01-03 17:50:29 +08:00
|
|
|
|
|
|
|
|
<h2>Publications used within Polly</h2>
|
|
|
|
|
<h3>Polyhedral library</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>isl: An Integer Set Library for the Polyhedral Model </em><br />
|
|
|
|
|
Sven Verdoolaege<br />
|
|
|
|
|
ICMS 2010
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h3>Optimization</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>A Practical Automatic Polyhedral Parallelizer and Locality Optimizer
|
|
|
|
|
</em><br />
|
|
|
|
|
Uday Bondhugula, Alberto Hartono, J. Ramanujam, P. Sadayappan<br />
|
|
|
|
|
PLDI 2008
|
|
|
|
|
</li>
|
2012-01-03 18:00:55 +08:00
|
|
|
<li><em>Effective Automatic Parallelization and Locality Optimization using
|
|
|
|
|
the Polyhedral Model
|
|
|
|
|
</em><br />
|
|
|
|
|
Uday Bondhugula<br />
|
|
|
|
|
PhD thesis 2008
|
|
|
|
|
</li>
|
2012-01-03 17:50:29 +08:00
|
|
|
</ul>
|
|
|
|
|
<h3>Code Generation</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>Code Generation in the Polyhedral Model Is Easier Than You Think</em>
|
|
|
|
|
<br />
|
2012-02-20 22:03:56 +08:00
|
|
|
Cédric Bastoul<br />
|
2012-01-03 17:50:29 +08:00
|
|
|
PACT 2004
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h2>Interesting Publications</h2>
|
|
|
|
|
|
|
|
|
|
Publications that are not yet used or implemented in Polly, but that are
|
|
|
|
|
interesting to look at either to understand general concepts or to implement
|
|
|
|
|
the corresponding ideas. This list is incomplete and papers are added as
|
|
|
|
|
we hear about them.<br />
|
|
|
|
|
<h3>GPGPU</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>Automatic C-to-CUDA Code Generation for Affine Programs</em>
|
|
|
|
|
<br />
|
|
|
|
|
Muthu Manikandan Baskaran, J. Ramanujam and P. Sadayappan<br />
|
|
|
|
|
CC 2010
|
|
|
|
|
</li>
|
2012-03-15 21:54:12 +08:00
|
|
|
<li><em>Putting Automatic Polyhedral Compilation for GPGPU to Work<em>
|
2012-03-15 21:55:38 +08:00
|
|
|
Soufiane Baghdadi, Armin Größlinger, and Albert Cohen. <br />
|
2012-03-15 21:54:12 +08:00
|
|
|
In Proc. of Compilers for Parallel Computers (CPC), 2010.
|
|
|
|
|
</li>
|
2012-01-03 17:50:29 +08:00
|
|
|
</ul>
|
|
|
|
|
<h3>Vectorization</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>Joint Scheduling and Layout Optimization to Enable Multi-Level
|
|
|
|
|
Vectorization</em>
|
|
|
|
|
<br />
|
|
|
|
|
Nicolas Vasilache, Benoit Meister, Muthu Baskaran, Richard Lethin<br />
|
|
|
|
|
IMPACT 2012 (upcoming)
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
2012-01-03 18:10:05 +08:00
|
|
|
<h3>Iterative Compilation</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>Iterative optimization in the polyhedral model: Part I,
|
|
|
|
|
one-dimensional time. </em>
|
|
|
|
|
<br />
|
2012-02-20 22:03:56 +08:00
|
|
|
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and Nicolas Vasilache<br />
|
2012-01-03 18:10:05 +08:00
|
|
|
CGO 2007
|
|
|
|
|
</li>
|
|
|
|
|
<li><em>Iterative optimization in the polyhedral model: Part II,
|
|
|
|
|
multidimensional time. </em>
|
|
|
|
|
<br />
|
2012-02-20 22:03:56 +08:00
|
|
|
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and John Cavazos<br />
|
2012-01-03 18:10:05 +08:00
|
|
|
PLDI 2008
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
<h3>Non-static Control</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em>The Polyhedral Model Is More Widely Applicable Than You Think</em>
|
|
|
|
|
<br />
|
2012-02-20 22:03:56 +08:00
|
|
|
Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen,
|
|
|
|
|
Cédric
|
2012-01-03 18:10:05 +08:00
|
|
|
Bastoul.<br />
|
|
|
|
|
CC 2010
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
2012-02-16 17:59:34 +08:00
|
|
|
<h3>Source to Source Tools</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><em> Polyhedral Extraction Tool</em>
|
|
|
|
|
<br />
|
|
|
|
|
Sven Verdoolaege, Tobias Grosser<br />
|
|
|
|
|
IMPACT 2012
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
2011-05-02 15:48:29 +08:00
|
|
|
</div>
|
2013-12-20 06:50:10 +08:00
|
|
|
</div>
|
2011-05-02 15:48:29 +08:00
|
|
|
</body>
|
|
|
|
|
</html>
|
