From c9f5caf93780b4fe85f3582b1451f97ef4fb7267 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 11 Dec 2010 15:51:54 +0000 Subject: Added two more papers. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121615 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/Publications.html | 34 ++++++++++++++++++++++++++++++++-- 1 file changed, 32 insertions(+), 2 deletions(-) (limited to 'www/Publications.html') 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 @@
  • - Server-side verification of client behavior in online games + Server-side Verification of Client Behavior in Online Games
    @@ -108,12 +108,42 @@
    Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
    - USENIX Annual Technical Conference (USENIX ATX 2010) + USENIX Annual Technical Conference (USENIX ATC 2010)
    June 22-25, 2010, Boston, MA, USA

    • +
  • + + + Stable Deterministic Multithreading through Schedule Memoization + + +
    + Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang +
    + USENIX Symposium on Operating Systems Design and Implementation (OSDI 2010) +
    + October 4-6, 2010, Vancouver, BC, Canada +

    +
    • + +
  • + + + AEG: Automatic Exploit Generation + + +
    + Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, David Brumley +
    + Network and Distributed System Security Symposium (NDSS 2011) +
    + February 6-9, 2011, San Diego, CA, USA +

    +
    • +