1 files changed, 15 insertions, 0 deletions
diff --git a/www/Publications.html b/www/Publications.html
index c57f5458..ddf8c948 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -160,6 +160,21 @@
     <br><br>
     </li>
     -->
+    
+    <li>
+    <a href="http://www.doc.ic.ac.uk/~pcc03/eurosys11klee.pdf">
+    <em>
+    Symbolic Crosschecking of Floating-Point and SIMD Code
+    </em>
+    </a> 
+    <br>
+    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
+    <br>
+    ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2011)
+    <br>
+    April 10-13, 2011, Salzburg, Austria
+    <br><br>
+    </li>
   </ol>
 </div>
 </body>