diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-09 23:26:44 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-09 23:26:44 +0000 |
| commit | c0b18618f469db92ff8b1649399c4b9c40d0e74b (patch) | |
| tree | 4ef0fd9effdb1635d39548af0620ee2e5341b2db | |
| parent | 6b5c91d2bb3f93f2e2a9d4b64bee71413007cd4a (diff) | |
| download | klee-c0b18618f469db92ff8b1649399c4b9c40d0e74b.tar.gz | |
Added a webpage on KLEE-related publications.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121429 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/Publications.html | 121 | ||||
| -rw-r--r-- | www/menu.html.incl | 1 |
2 files changed, 122 insertions, 0 deletions
diff --git a/www/Publications.html b/www/Publications.html new file mode 100644 index 00000000..9eea4149 --- /dev/null +++ b/www/Publications.html @@ -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> diff --git a/www/menu.html.incl b/www/menu.html.incl index 7e73fb16..abb26a91 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -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"> |