[polly] r282747 - www: Add Loopy publication

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Thu Sep 29 13:17:30 2016
New Revision: 282747

URL: http://llvm.org/viewvc/llvm-project?rev=282747&view=rev
Log:
www: Add Loopy publication

Modified:
    polly/trunk/www/publications.html

Modified: polly/trunk/www/publications.html
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/publications.html?rev=282747&r1=282746&r2=282747&view=diff
==============================================================================
--- polly/trunk/www/publications.html (original)
+++ polly/trunk/www/publications.html Thu Sep 29 13:17:30 2016
@@ -38,6 +38,11 @@ Parallel Processing Letters 2012 22:04<b
   <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="http://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 />