reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
   66
   67
   68
   69
   70
   71
   72
   73
   74
   75
   76
   77
   78
   79
   80
   81
   82
   83
   84
   85
   86
   87
   88
   89
   90
   91
   92
   93
   94
   95
   96
   97
   98
   99
  100
  101
  102
  103
  104
  105
  106
  107
  108
  109
  110
  111
  112
  113
  114
  115
  116
  117
  118
  119
  120
  121
  122
  123
  124
  125
  126
  127
  128
  129
  130
  131
  132
  133
  134
  135
  136
  137
  138
  139
  140
  141
  142
  143
  144
  145
  146
  147
  148
  149
  150
  151
  152
  153
  154
  155
  156
  157
  158
  159
  160
  161
  162
  163
  164
  165
  166
  167
  168
  169
  170
  171
  172
  173
  174
  175
  176
  177
  178
  179
  180
  181
  182
  183
  184
  185
  186
  187
  188
  189
  190
  191
  192
  193
  194
  195
  196
  197
  198
  199
  200
  201
  202
  203
  204
  205
  206
  207
  208
  209
  210
  211
  212
  213
  214
  215
  216
  217
  218
  219
  220
  221
  222
  223
  224
  225
  226
  227
  228
  229
  230
  231
  232
  233
  234
  235
  236
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
          "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>
<div id="box">
<!--#include virtual="menu.html.incl"-->
<div id="content">
  <!--*********************************************************************-->
  <h1>Publications</h1>
  <!--*********************************************************************-->

  <h2> Publications about polyhedral compilation </h2>
  <a href="https://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.

  <h2> Citing Polly</h2>

  The canonical publication to cite Polly is:

<p>
  <em>Polly - Performing polyhedral optimizations on a low-level intermediate
      representation </em><br />
Tobias Grosser, Armin Groesslinger, Christian Lengauer<br />
Parallel Processing Letters 2012 22:04<br />
  <a href="http://www.grosser.es#pub-Polly">Paper</a>
</p>

  <h2> Publications involving Polly </h2>
  <h3> 2016 </h3>
  <ul>
  <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="https://link.springer.com/chapter/10.1007/978-3-662-53413-7_19">Paper</a>
  </li>
  <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>
  <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>
  </ul>
  <h3> 2015 </h3>
  <ul>
  <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>
  <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 />
  Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
  </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 />
  Slides & Paper: <a href="http://impact.gforge.inria.fr/impact2015/">Impact 2015</a>
  </li>
  </ul>
  <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>
  <h3> 2012 </h3>
  <ul>
  <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>
  </li>
  </ul>
  <h3> 2011 </h3>
  <ul>
  <li><em>Polly - First Successful Optimizations - How to proceed?</em><br />
  Tobias Grosser, Ragesh A<br />
  LLVM Developer Meeting 2011<br /><a
  href="https://llvm.org/devmtg/2011-11/Grosser_PollyOptimizations.pdf">Slides</a>, <a
  href="https://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-desktop.mov">Video
  (Computer)</a>, <a
  href="https://llvm.org/devmtg/2011-11/videos/Grosser_PollyOptimizations-mobile.mp4">Video
  (Mobile)</a></li>
  <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 />
  Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simb&uuml;rger, Armin
  Gr&ouml;&szlig;linger, Louis-No&euml;l Pouchet<br />
  IMPACT at CGO 2011 <br />
  <a
  href="publications/grosser-impact-2011.pdf">Paper</a>, <a
  href="publications/grosser-impact-2011-slides.pdf">Slides </a>
  </li>
  </ul>
  <h3> 2010 </h3>
  <ul>
  <li><em>Polly - Polyhedral Transformations for LLVM</em><br />
  Tobias Grosser, Hongbin Zheng<br />
  LLVM Developer Meeting 2010<br /><a
  href="https://llvm.org/devmtg/2010-11/Grosser-Polly.pdf">Slides</a>, <a
  href="https://llvm.org/devmtg/2010-11/videos/Grosser_Polly-desktop.mp4">Video
  (Computer)</a>, <a
  href="https://llvm.org/devmtg/2010-11/videos/Grosser_Polly-mobile.mp4">Video
  (Mobile)</a></li>
  </ul>

  <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>
  <li><em>Effective Automatic Parallelization and Locality Optimization using
          the Polyhedral Model
          </em><br />
  Uday Bondhugula<br />
  PhD thesis 2008
  </li>
  </ul>
  <h3>Code Generation</h3>
  <ul>
  <li><em>Code Generation in the Polyhedral Model Is Easier Than You Think</em>
  <br />
  C&eacute;dric Bastoul<br />
  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>
  <li><em>Putting Automatic Polyhedral Compilation for GPGPU to Work<em>
  Soufiane Baghdadi, Armin Gr&ouml;&szlig;linger, and Albert Cohen. <br />
  In Proc. of Compilers for Parallel Computers (CPC), 2010.
  </li>
  </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>
  <h3>Iterative Compilation</h3>
  <ul>
  <li><em>Iterative optimization in the polyhedral model: Part I,
  one-dimensional time.  </em>
  <br />
  Louis-No&euml;l Pouchet, C&eacute;dric Bastoul, Albert Cohen and Nicolas Vasilache<br />
  CGO 2007
  </li>
  <li><em>Iterative optimization in the polyhedral model: Part II,
  multidimensional time.  </em>
  <br />
  Louis-No&euml;l Pouchet, C&eacute;dric Bastoul, Albert Cohen and John Cavazos<br />
  PLDI 2008
  </li>
  </ul>
  <h3>Non-static Control</h3>
  <ul>
  <li><em>The Polyhedral Model Is More Widely Applicable Than You Think</em>
  <br />
  Mohamed-Walid Benabderrahmane, Louis-No&euml;l Pouchet, Albert Cohen,
  C&eacute;dric
  Bastoul.<br />
  CC 2010
  </li>
  </ul>
  <h3>Source to Source Tools</h3>
  <ul>
  <li><em> Polyhedral Extraction Tool</em>
  <br />
  Sven Verdoolaege, Tobias Grosser<br />
  IMPACT 2012
  </li>
  </ul>
</div>
</div>
</body>
</html>