diff options
| author | Tobias Grosser <tobias@grosser.es> | 2016-09-29 18:17:30 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2016-09-29 18:17:30 +0000 |
| commit | b11029601148d040cda02c1a474eff13d555913b (patch) | |
| tree | adad036b60d74ac371b55f93d50a287e19486c12 | |
| parent | 3628282a77d27f27e0f3dcb5b800b5b065d36a20 (diff) | |
| download | bcm5719-llvm-b11029601148d040cda02c1a474eff13d555913b.tar.gz bcm5719-llvm-b11029601148d040cda02c1a474eff13d555913b.zip | |
www: Add Loopy publication
llvm-svn: 282747
| -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 /> |
