From 9e830a45f39118a68e0bde690062af85ab3a2a8e Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Sun, 24 Jul 2011 22:50:34 +0000
Subject: Added the CAV 2011 paper from Stanford.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135895 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Publications.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'www/Publications.html')

diff --git a/www/Publications.html b/www/Publications.html
index ddf8c948..8dbf0b4a 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -175,6 +175,23 @@
     April 10-13, 2011, Salzburg, Austria
     <br><br>
     </li>
+
+
+    <li>
+    <a href="http://keeda.stanford.edu/~daramos/papers/ucklee-cav-2011.pdf">
+    <em>
+    Practical, Low-Effort Equivalence Verification of Real Code
+    </em>
+    </a>
+    <br>
+    David Ramos, Dawson Engler
+    <br >
+    Computer Aided Verification (CAV 2011)
+    <br>
+    July 16-20, 2011, Snowbird, UT, USA
+    <br><br>
+    </li>
+
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1