diff options
| -rw-r--r-- | polly/www/publications.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/polly/www/publications.html b/polly/www/publications.html index 0df8217d8ae..b7b9e5628ce 100644 --- a/polly/www/publications.html +++ b/polly/www/publications.html @@ -38,6 +38,11 @@ Parallel Processing Letters 2012 22:04<br /> <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 /> |
