[klee] r121429 - in /klee/trunk/www: Publications.html menu.html.incl

Thu Dec 9 15:26:44 PST 2010

Author: cristic
Date: Thu Dec  9 17:26:44 2010
New Revision: 121429

URL: http://llvm.org/viewvc/llvm-project?rev=121429&view=rev
Log:
Added a webpage on KLEE-related publications.

Added:
    klee/trunk/www/Publications.html
Modified:
    klee/trunk/www/menu.html.incl

Added: klee/trunk/www/Publications.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/Publications.html?rev=121429&view=auto
==============================================================================

--- klee/trunk/www/Publications.html (added)
+++ klee/trunk/www/Publications.html Thu Dec  9 17:26:44 2010
@@ -0,0 +1,121 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
+          "http://www.w3.org/TR/html4/strict.dtd">
+<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
+<html>
+<head>
+  <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
+  <title>KLEE - Publications</title>
+  <link type="text/css" rel="stylesheet" href="menu.css">
+  <link type="text/css" rel="stylesheet" href="content.css">
+</head>
+<body>
+<!--#include virtual="menu.html.incl"-->
+<div id="content">
+  <!--*********************************************************************-->
+  <h1>KLEE-related publications:</h1>
+  <!--*********************************************************************-->
+
+  Below you can find a list of papers that use or extend KLEE.  Papers
+  are listed in chronological order. If you would like to have your
+  paper listed here, please send email to the
+  <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
+  mailing list.</a> 
+
+  <ol>
+    <li>
+    <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">
+    <em>
+    KLEE: Unassisted and Automatic Generation of High-Coverage Tests for
+    Complex Systems Programs
+    </em>
+    </a> 
+    <br>
+    Cristian Cadar, Daniel Dunbar, Dawson Engler
+    <br>
+    USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)
+    <br>
+    December 8-10, 2008, San Diego, CA, USA
+    <br><br>
+    </li>
+    
+    <li>
+    <a href="http://ds.informatik.rwth-aachen.de/publications/2010/pdfs/2010-04-ipsn-sasnauskas-KleeNet.pdf">
+    <em>
+    KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
+    </em>
+    </a> 
+    <br>
+    Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai,
+    Carsten Weisez, Stefan Kowalewskiz, Klaus Wehrle
+    <br>
+    ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
+    <br>
+    April 12-16, 2010, Stockholm, Sweden
+    <br><br>
+    </li>
+    
+    <li>
+    <a href="http://dslab.epfl.ch/pubs/esd.pdf">
+    <em>
+    Execution Synthesis: A Technique for Automated Software Debugging
+    </em>
+    </a> 
+    <br>
+    Cristian Zamfir, George Candea
+    <br>
+    ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
+    <br>
+    April 13-16, 2010, Paris, France
+    <br><br>
+    </li>
+    
+    <li>
+    <a href="http://dslab.epfl.ch/pubs/revnic.pdf">
+    <em>
+    Reverse Engineering of Binary Device Drivers with RevNIC
+    </em>
+    </a> 
+    <br>
+    Vitaly Chipounov, George Candea
+    <br>
+    ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
+    <br>
+    April 13-16, 2010, Paris, France
+    <br><br>
+    </li>
+    
+    <li>
+    <a href="http://dslab.epfl.ch/pubs/ddt.pdf">
+    <em>
+    Testing Closed-Source Binary Device Drivers with DDT
+    </em>
+    </a> 
+    <br>
+    Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
+    <br>
+    USENIX Annual Technical Conference (USENIX ATX 2010)
+    <br>
+    June 22-25, 2010, Boston, MA, USA
+    <br><br>
+    </li>
+
+    <!--
+    <li>
+    <a href="coming soon">
+    <em>
+    S2E: A Platform for In Vivo Multi-Path Analysis of Software Systems
+    </em>
+    </a> 
+    <br>
+    Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
+    <br>
+    International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)
+    <br>
+    March 5-11, 2011, Newport Beach, CA
+    <br><br>
+    </li>
+    -->
+  </ol>
+</div>
+</body>
+</html>

Modified: klee/trunk/www/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/menu.html.incl?rev=121429&r1=121428&r2=121429&view=diff
==============================================================================
--- klee/trunk/www/menu.html.incl (original)
+++ klee/trunk/www/menu.html.incl Thu Dec  9 17:26:44 2010
@@ -9,6 +9,7 @@
     <a href="GetInvolved.html">Get Involved</a>
     <a href="Documentation.html">Documentation</a>
     <a href="Tutorials.html">Tutorials</a>
+    <a href="Publications.html">Publications</a>
   </div>
 
   <div class="submenu">


