diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-11 15:51:54 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-11 15:51:54 +0000 |
| commit | c9f5caf93780b4fe85f3582b1451f97ef4fb7267 (patch) | |
| tree | 848b0ab89fbea7e49422cf15b8211ed6360c16fc | |
| parent | 0143b7c813e64fd5d9a5a2520a8c1a23a3049b24 (diff) | |
| download | klee-c9f5caf93780b4fe85f3582b1451f97ef4fb7267.tar.gz | |
Added two more papers.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121615 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/Publications.html | 34 |
1 files changed, 32 insertions, 2 deletions
diff --git a/www/Publications.html b/www/Publications.html index 07e16de7..c57f5458 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -41,7 +41,7 @@ <li> <a href="http://www.isoc.org/isoc/conferences/ndss/10/pdf/01.pdf"> <em> - Server-side verification of client behavior in online games + Server-side Verification of Client Behavior in Online Games </em> </a> <br> @@ -108,12 +108,42 @@ <br> Volodymyr Kuznetsov, Vitaly Chipounov, George Candea <br> - USENIX Annual Technical Conference (USENIX ATX 2010) + USENIX Annual Technical Conference (USENIX ATC 2010) <br> June 22-25, 2010, Boston, MA, USA <br><br> </li> + <li> + <a href="http://rcs.cs.columbia.edu/papers/cui-tern-osdi10.pdf"> + <em> + Stable Deterministic Multithreading through Schedule Memoization + </em> + </a> + <br> + Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang + <br> + USENIX Symposium on Operating Systems Design and Implementation (OSDI 2010) + <br> + October 4-6, 2010, Vancouver, BC, Canada + <br><br> + </li> + + <li> + <a href="http://security.ece.cmu.edu/aeg/aeg-ndss-2011.pdf"> + <em> + AEG: Automatic Exploit Generation + </em> + </a> + <br> + Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, David Brumley + <br> + Network and Distributed System Security Symposium (NDSS 2011) + <br> + February 6-9, 2011, San Diego, CA, USA + <br><br> + </li> + <!-- <li> <a href="coming soon"> |