about summary refs log tree commit diff homepage
path: root/www
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2011-11-10 17:00:10 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2011-11-10 17:00:10 +0000
commit3c844fae79cbc71e365851e7978ee4767880f66b (patch)
treef56f491012646982ddea277e5c68bf49defe4888 /www
parent255e16af36bc256ec8a9d50245a9943351019487 (diff)
downloadklee-3c844fae79cbc71e365851e7978ee4767880f66b.tar.gz
Added new publication from Columbia.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@144295 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
-rw-r--r--www/Publications.html15
1 files changed, 15 insertions, 0 deletions
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>