Four new KLEE-related publications.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@153745 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 65 insertions, 5 deletions

diff --git a/www/Publications.html b/www/Publications.html
index d081cbae..710ea170 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -17,11 +17,9 @@
 
   Below you can find a list of papers that use or extend KLEE.  Papers
   are listed in chronological order. If you would like to have your
-  paper listed here, please send email to the
-  <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
-  mailing list.</a> 
+  paper listed here, please send email to klee-dev-owner AT keeda.stanford.edu.
 
-  <ol>
+  <ol start="0">
     <li>
     <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">
     <em>
@@ -231,7 +229,69 @@
     <br>
     ACM Symposium on Operating Systems Principles (SOSP 2011)
     <br>
-    23-26 October, 2011, Cascais, Portugal
+    October 23-26, 2011, Cascais, Portugal
+    <br><br>
+    </li>
+
+    <li>
+    <a href="http://www.cs.utah.edu/~ligd/publications/KLOVER-CAV11.pdf">
+    <em>
+    KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
+    </em>
+    </a>
+    <br>
+    Guodong Li, Indradeep Ghosh and Sreeranga Rajan
+    <br>
+    International Conference on Computer Aided Verification (CAV 2011)
+    <br>
+    July 14-20, 2011, Cliff Lodge, Snowbird, UT, USA
+    <br><br>
+    </li>
+
+    <li>
+    <a href="http://www.doc.ic.ac.uk/~cristic/papers/kleecl-hvc-11.pdf">
+    <em>
+    Symbolic Testing of OpenCL Code
+    </em>
+    </a>
+    <br>
+    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
+    <br>
+    Haifa Verification Conference (HVC 2011)
+    <br>
+    December 6-8, 2011, Haifa, Israel
+    <br><br>
+    </li>
+
+    <li>
+    <a href="http://www.cs.utah.edu/formal_verification/GKLEE/ppopp12-gklee-accepted-version.pdf">
+    <em>
+    GKLEE: Concolic Verification and Test Generation for GPUs
+    </em>
+    </a>
+    <br>
+    Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, and Sreeranga P. Rajan
+    <br>
+    ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2012)
+    <br>
+    February 25-29, 2012, New Orleans, LA, USA
+    <br>
+    GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.
+    <br><br>
+    </li>
+
+    <li>
+    <a href="http://www.doc.ic.ac.uk/~cristic/papers/zesti-icse-12.pdf">
+    <em>
+    make test-zesti: A Symbolic Execution Solution for Improving Regression Testing
+    </em>
+    </a>
+    <br>
+    Paul Dan Marinescu, Cristian Cadar
+    <br>
+    International Conference on Software Engineering (ICSE 2012)
+    <br>
+    June 2-9, 2012, Zurich, Switzerland
     <br><br>
     </li>