From 3c844fae79cbc71e365851e7978ee4767880f66b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 10 Nov 2011 17:00:10 +0000
Subject: Added new publication from Columbia.

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

(limited to 'www/Publications.html')

diff --git a/www/Publications.html b/www/Publications.html
index 50d5ff1f..d081cbae 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -220,6 +220,21 @@
     <br><br>
     </li>
 
+    <li>
+    <a href="http://rcs.cs.columbia.edu/papers/peregrine-sosp11.pdf">
+    <em>
+    Efficient Deterministic Multithreading through Schedule Relaxation
+    </em>
+    </a>
+    <br>
+    Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
+    <br>
+    ACM Symposium on Operating Systems Principles (SOSP 2011)
+    <br>
+    23-26 October, 2011, Cascais, Portugal
+    <br><br>
+    </li>
+
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1