diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-11-10 17:00:10 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-11-10 17:00:10 +0000 |
commit | 3c844fae79cbc71e365851e7978ee4767880f66b (patch) | |
tree | f56f491012646982ddea277e5c68bf49defe4888 /www | |
parent | 255e16af36bc256ec8a9d50245a9943351019487 (diff) | |
download | klee-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.html | 15 |
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> |