Updates to publications page, in particular two extra papers.

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

1 files changed, 35 insertions, 1 deletions

diff --git a/www/Publications.html b/www/Publications.html
index 11ac484a..aa2cde0f 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -18,7 +18,7 @@
   <p>Below you can find a list of papers that use or extend KLEE.
   Papers are listed in chronological order.  <br/>If you have used and
   extended KLEE, please share your experience by having your paper
-  listed here (email klee-dev-owner or or c.cadar AT imperial.ac.uk).</p>
+  listed here (email klee-dev-owner or c.cadar AT imperial.ac.uk).</p>
 
   <ol start="0">
     <li>
@@ -314,6 +314,25 @@
     International Conference on Software Engineering (ICSE 2012)
     <br>
     June 2-9, 2012, Zurich, Switzerland
+    <br>
+    <b>ZESTI is available <a href="http://srg.doc.ic.ac.uk/projects/zesti/">here</a>.</b>
+    <br><br>
+    </li>
+
+    <li>
+    <a href="http://www.cc.gatech.edu/~orso/papers/jin.orso.ICSE12.pdf">
+    <em>
+    BugRedux: Reproducing Field Failures for In-House Debugging
+    </em>
+    </a>
+    <br>
+    Wei Jin, Alessandro Orso
+    <br>
+    International Conference on Software Engineering (ICSE 2012)
+    <br>
+    June 2-9, 2012, Zurich, Switzerland
+    <br>
+    <b>BugRedux is available <a href="http://www.cc.gatech.edu/~wjin6/mypage/bugredux.html">here</a>.</b>
     <br><br>
     </li>
 
@@ -347,6 +366,21 @@
     <br><br>
     </li>
 
+    <li>
+    <a href="http://earlbarr.com/publications/ariadne.pdf">
+    <em>
+    Automatic Detection of Floating-Point Exceptions
+    </em>
+    </a>
+    <br>
+    Peter C. Rigby, Earl T. Barr, Christian Bird, Premkumar Devanbu, Daniel M. German
+    <br>
+    Principles of Programming Languages (POPL)
+    <br>
+    January 23-25, 2013, Rome, Italy
+    <br><br>
+    </li>
+
   </ol>
 </div>
 </body>