|
150
|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
|
2 "http://www.w3.org/TR/html4/strict.dtd">
|
|
|
3 <!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
|
|
4 <html>
|
|
|
5 <head>
|
|
|
6 <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
|
|
7 <title>Polly - Publications</title>
|
|
|
8 <link type="text/css" rel="stylesheet" href="menu.css">
|
|
|
9 <link type="text/css" rel="stylesheet" href="content.css">
|
|
|
10 </head>
|
|
|
11 <body>
|
|
|
12 <div id="box">
|
|
|
13 <!--#include virtual="menu.html.incl"-->
|
|
|
14 <div id="content">
|
|
|
15 <!--*********************************************************************-->
|
|
|
16 <h1>Publications</h1>
|
|
|
17 <!--*********************************************************************-->
|
|
|
18
|
|
|
19 <h2> Publications about polyhedral compilation </h2>
|
|
|
20 <a href="https://polyhedral.info/publications.html">polyhedral.info</a> has a
|
|
|
21 large list of publications related to polyhedral compilation. They are very
|
|
|
22 useful to get an idea of the latest developments in this area of compilation
|
|
|
23 as well as to understand what kind of optimizations can be built on top of
|
|
|
24 Polly.
|
|
|
25
|
|
|
26 <h2> Citing Polly</h2>
|
|
|
27
|
|
|
28 The canonical publication to cite Polly is:
|
|
|
29
|
|
|
30 <p>
|
|
|
31 <em>Polly - Performing polyhedral optimizations on a low-level intermediate
|
|
|
32 representation </em><br />
|
|
|
33 Tobias Grosser, Armin Groesslinger, Christian Lengauer<br />
|
|
|
34 Parallel Processing Letters 2012 22:04<br />
|
|
|
35 <a href="https://www.grosser.es#pub-Polly">Paper</a>
|
|
|
36 </p>
|
|
|
37
|
|
|
38 <h2> Publications involving Polly </h2>
|
|
|
39 <h3> 2016 </h3>
|
|
|
40 <ul>
|
|
|
41 <li><em>Loopy: Programmable and Formally Verified Loop Transformations</em><br />
|
|
|
42 Kedar Namjoshi and Nimit Singhania<br />
|
|
|
43 23rd Static Analysis Symposium (SAS 2016)<br />
|
|
|
44 <a href="https://link.springer.com/chapter/10.1007/978-3-662-53413-7_19">Paper</a>
|
|
|
45 </li>
|
|
|
46 <li><em>Input Space Splitting for OpenCL</em><br />
|
|
|
47 Simon Moll, Johannes Doerfert and Sebastian Hack<br />
|
|
|
48 25th International Conference on Compiler Construction (CC 2016)<br />
|
|
|
49 </li>
|
|
|
50 <li><em>Parallelisation automatique de programmes scientifiques pour systems
|
|
|
51 distribues
|
|
|
52 </em><br />
|
|
|
53 Felix-Antoine Quellet<br />
|
|
|
54 Master Thesis, Universite de Sherbrooke<br />
|
|
|
55 <a
|
|
|
56 href="https://savoirs.usherbrooke.ca/bitstream/handle/11143/8171/Ouellet_Felix_Antoine_MSc_2016.pdf?sequence=4">Thesis</a>
|
|
|
57 </li>
|
|
|
58 </ul>
|
|
|
59 <h3> 2015 </h3>
|
|
|
60 <ul>
|
|
|
61 <li><em>Polyhedral AST generation is more than scanning polyhedra</em><br />
|
|
|
62 Tobias Grosser, Sven Verdoolaege, Albert Cohen<br />
|
|
|
63 ACM Transations on Programming Languages and Systems (TOPLAS), 37(4), July
|
|
|
64 2015<br />
|
|
|
65 <a href="https://www.grosser.es#pub-polyhedral-AST-generation">Paper</a>
|
|
|
66 </li>
|
|
|
67 <li><em>On recovering multi-dimensional arrays in Polly</em><br />
|
|
|
68 Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan <br />
|
|
|
69 Impact2015 at HiPEAC, Amsterdam, The Netherlands<br />
|
|
|
70 Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
|
|
|
71 </li>
|
|
|
72 <li><em>Polly's polyhedral scheduling in the presence of reductions </em><br />
|
|
|
73 Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa<br />
|
|
|
74 Impact2015 at HiPEAC, Amsterdam, The Netherlands<br />
|
|
|
75 Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
|
|
|
76 </li>
|
|
|
77 </ul>
|
|
|
78 <h3> 2014 </h3>
|
|
|
79 <ul>
|
|
|
80 <li><em>
|
|
|
81 Lattice QCD Optimization and Polytopic Representations of Distributed Memory </em><br />
|
|
|
82 Michael Kruse<br />
|
|
|
83 Doctoral Thesis, Ecole doctorale Informatique de Paris-Sud<br />
|
|
|
84 <a href="https://www.theses.fr/2014PA112198">Thesis</a>
|
|
|
85 </li>
|
|
|
86 </ul>
|
|
|
87 <h3> 2012 </h3>
|
|
|
88 <ul>
|
|
|
89 <li><em>KernelGen - a prototype of auto-parallelizing Fortran/C compiler for NVIDIA GPUs</em><br />
|
|
|
90 Dmitry Mikushin, Nikolay Likhogrud, Hou Yunqing, Sergey Kovylov<br />
|
|
|
91 Multi-core Workshop 2012, NCAR, Boulder, CO<br /><a
|
|
|
92 href="publications/kernelgen-ncar-2012-slides.pdf">Slides</a>
|
|
|
93 </li>
|
|
|
94 <li><em>KernelGen - a toolchain for automatic GPU-centric applications porting</em><br />
|
|
|
95 Nikolay Likhogrud, Dmitry Mikushin, Andrew Adinets<br />
|
|
|
96 Parallel Computational Technologies (PCT) 2012, Novosibirsk<br /><a
|
|
|
97 href="publications/kernelgen-pavt-2012-slides.pdf">Slides</a>
|
|
|
98 </li>
|
|
|
99 </ul>
|
|
|
100 <h3> 2011 </h3>
|
|
|
101 <ul>
|
|
|
102 <li><em>Polly - First Successful Optimizations - How to proceed?</em><br />
|
|
|
103 Tobias Grosser, Ragesh A<br />
|
|
|
104 LLVM Developer Meeting 2011<br /><a
|
|
|
105 href="https://llvm.org/devmtg/2011-11/Grosser_PollyOptimizations.pdf">Slides</a>, <a
|
|
|
106 href="https://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-desktop.mov">Video
|
|
|
107 (Computer)</a>, <a
|
|
|
108 href="https://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-mobile.mp4">Video
|
|
|
109 (Mobile)</a></li>
|
|
|
110 <li><em>A Framework for Automatic OpenMP Code Generation</em><br />
|
|
|
111 Raghesh A<br />
|
|
|
112 Masters Thesis (May 2011)<br />
|
|
|
113 <a
|
|
|
114 href="publications/raghesh-a-masters-thesis.pdf">Thesis</a>
|
|
|
115 </li>
|
|
|
116 <li><em>Enabling Polyhedral Optimizations in LLVM</em><br />
|
|
|
117 Tobias Grosser<br />
|
|
|
118 Diploma Thesis (April 2011)<br />
|
|
|
119 <a
|
|
|
120 href="publications/grosser-diploma-thesis.pdf">Thesis</a>
|
|
|
121 </li>
|
|
|
122 <li><em>Polly - Polyhedral Optimization in LLVM</em><br />
|
|
|
123 Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simbürger, Armin
|
|
|
124 Größlinger, Louis-Noël Pouchet<br />
|
|
|
125 IMPACT at CGO 2011 <br />
|
|
|
126 <a
|
|
|
127 href="publications/grosser-impact-2011.pdf">Paper</a>, <a
|
|
|
128 href="publications/grosser-impact-2011-slides.pdf">Slides </a>
|
|
|
129 </li>
|
|
|
130 </ul>
|
|
|
131 <h3> 2010 </h3>
|
|
|
132 <ul>
|
|
|
133 <li><em>Polly - Polyhedral Transformations for LLVM</em><br />
|
|
|
134 Tobias Grosser, Hongbin Zheng<br />
|
|
|
135 LLVM Developer Meeting 2010<br /><a
|
|
|
136 href="https://llvm.org/devmtg/2010-11/Grosser-Polly.pdf">Slides</a>, <a
|
|
|
137 href="https://llvm.org/devmtg/2010-11/videos/Grosser_Polly-desktop.mp4">Video
|
|
|
138 (Computer)</a>, <a
|
|
|
139 href="https://llvm.org/devmtg/2010-11/videos/Grosser_Polly-mobile.mp4">Video
|
|
|
140 (Mobile)</a></li>
|
|
|
141 </ul>
|
|
|
142
|
|
|
143 <h2>Publications used within Polly</h2>
|
|
|
144 <h3>Polyhedral library</h3>
|
|
|
145 <ul>
|
|
|
146 <li><em>isl: An Integer Set Library for the Polyhedral Model </em><br />
|
|
|
147 Sven Verdoolaege<br />
|
|
|
148 ICMS 2010
|
|
|
149 </li>
|
|
|
150 </ul>
|
|
|
151 <h3>Optimization</h3>
|
|
|
152 <ul>
|
|
|
153 <li><em>A Practical Automatic Polyhedral Parallelizer and Locality Optimizer
|
|
|
154 </em><br />
|
|
|
155 Uday Bondhugula, Alberto Hartono, J. Ramanujam, P. Sadayappan<br />
|
|
|
156 PLDI 2008
|
|
|
157 </li>
|
|
|
158 <li><em>Effective Automatic Parallelization and Locality Optimization using
|
|
|
159 the Polyhedral Model
|
|
|
160 </em><br />
|
|
|
161 Uday Bondhugula<br />
|
|
|
162 PhD thesis 2008
|
|
|
163 </li>
|
|
|
164 </ul>
|
|
|
165 <h3>Code Generation</h3>
|
|
|
166 <ul>
|
|
|
167 <li><em>Code Generation in the Polyhedral Model Is Easier Than You Think</em>
|
|
|
168 <br />
|
|
|
169 Cédric Bastoul<br />
|
|
|
170 PACT 2004
|
|
|
171 </li>
|
|
|
172 </ul>
|
|
|
173 <h2>Interesting Publications</h2>
|
|
|
174
|
|
|
175 Publications that are not yet used or implemented in Polly, but that are
|
|
|
176 interesting to look at either to understand general concepts or to implement
|
|
|
177 the corresponding ideas. This list is incomplete and papers are added as
|
|
|
178 we hear about them.<br />
|
|
|
179 <h3>GPGPU</h3>
|
|
|
180 <ul>
|
|
|
181 <li><em>Automatic C-to-CUDA Code Generation for Affine Programs</em>
|
|
|
182 <br />
|
|
|
183 Muthu Manikandan Baskaran, J. Ramanujam and P. Sadayappan<br />
|
|
|
184 CC 2010
|
|
|
185 </li>
|
|
|
186 <li><em>Putting Automatic Polyhedral Compilation for GPGPU to Work<em>
|
|
|
187 Soufiane Baghdadi, Armin Größlinger, and Albert Cohen. <br />
|
|
|
188 In Proc. of Compilers for Parallel Computers (CPC), 2010.
|
|
|
189 </li>
|
|
|
190 </ul>
|
|
|
191 <h3>Vectorization</h3>
|
|
|
192 <ul>
|
|
|
193 <li><em>Joint Scheduling and Layout Optimization to Enable Multi-Level
|
|
|
194 Vectorization</em>
|
|
|
195 <br />
|
|
|
196 Nicolas Vasilache, Benoit Meister, Muthu Baskaran, Richard Lethin<br />
|
|
|
197 IMPACT 2012 (upcoming)
|
|
|
198 </li>
|
|
|
199 </ul>
|
|
|
200 <h3>Iterative Compilation</h3>
|
|
|
201 <ul>
|
|
|
202 <li><em>Iterative optimization in the polyhedral model: Part I,
|
|
|
203 one-dimensional time. </em>
|
|
|
204 <br />
|
|
|
205 Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and Nicolas Vasilache<br />
|
|
|
206 CGO 2007
|
|
|
207 </li>
|
|
|
208 <li><em>Iterative optimization in the polyhedral model: Part II,
|
|
|
209 multidimensional time. </em>
|
|
|
210 <br />
|
|
|
211 Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and John Cavazos<br />
|
|
|
212 PLDI 2008
|
|
|
213 </li>
|
|
|
214 </ul>
|
|
|
215 <h3>Non-static Control</h3>
|
|
|
216 <ul>
|
|
|
217 <li><em>The Polyhedral Model Is More Widely Applicable Than You Think</em>
|
|
|
218 <br />
|
|
|
219 Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen,
|
|
|
220 Cédric
|
|
|
221 Bastoul.<br />
|
|
|
222 CC 2010
|
|
|
223 </li>
|
|
|
224 </ul>
|
|
|
225 <h3>Source to Source Tools</h3>
|
|
|
226 <ul>
|
|
|
227 <li><em> Polyhedral Extraction Tool</em>
|
|
|
228 <br />
|
|
|
229 Sven Verdoolaege, Tobias Grosser<br />
|
|
|
230 IMPACT 2012
|
|
|
231 </li>
|
|
|
232 </ul>
|
|
|
233 </div>
|
|
|
234 </div>
|
|
|
235 </body>
|
|
|
236 </html>
|
