diff options
Diffstat (limited to 'www/Publications.html')
| -rw-r--r-- | www/Publications.html | 402 |
1 files changed, 402 insertions, 0 deletions
diff --git a/www/Publications.html b/www/Publications.html new file mode 100644 index 00000000..2a2dd313 --- /dev/null +++ b/www/Publications.html @@ -0,0 +1,402 @@ +<!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 and Systems</h1> + <!--*********************************************************************--> + + <p>Below you can find a list of papers that use or extend KLEE. + Papers are listed in chronological order. <br/>If you have used and + extended KLEE, please share your experience by having your paper + listed here (email klee-dev-owner or c.cadar AT imperial.ac.uk).</p> + + <ol start="0"> + <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://www.isoc.org/isoc/conferences/ndss/10/pdf/01.pdf"> + <em> + Server-side Verification of Client Behavior in Online Games + </em> + </a> + <br> + Darrell Bethea, Robert Cochran, Michael Reiter + <br> + Network and Distributed System Security Symposium (NDSS 2010) + <br> + February 28 - March 3, San Diego, CA, USA + <br><br> + </li> + + <li> + <a href="http://www.comsys.rwth-aachen.de/fileadmin/papers/2010/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 Weise, Stefan Kowalewski, Klaus Wehrle + <br> + ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010) + <br> + April 12-16, 2010, Stockholm, Sweden + <br> + <b>KleeNet is available <a href="https://www.comsys.rwth-aachen.de/research/projects/kleenet/">here</a>.</b> + <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 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="http://www.cs.vu.nl/%7Eherbertb/papers/dde_ndss11-preprint.pdf"> + <em> + Howard: A Dynamic Excavator for Reverse Engineering Data Structures + </em> + </a> + <br> + Asia Slowinska, Traian Stancescu, Herbert Bos + <br> + Network and Distributed System Security Symposium (NDSS 2011) + <br> + February 6-9, 2011, San Diego, CA, USA + <br><br> + </li> + + <li> + <a href="http://dslab.epfl.ch/pubs/s2e.pdf?attredirects=0"> + <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/> + <b>S2E is available <a href="http://s2e.epfl.ch/">here</a>.</b> + <br><br> + </li> + + <li> + <a href="http://dslab.epfl.ch/pubs/cloud9.pdf?attredirects=0"> + <em> + Parallel Symbolic Execution for Automated Real-World Software Testing + </em> + </a> + <br> + ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2011) + <br/> + Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea + <br/> + April 10-13, 2011, Salzburg, Austria + <br/> + <b>Cloud9 is available <a href="http://cloud9.epfl.ch/">here</a>.</b> + <br/><br/> + </li> + + <li> + <a href="http://www.doc.ic.ac.uk/~pcc03/eurosys11klee.pdf"> + <em> + Symbolic Crosschecking of Floating-Point and SIMD Code + </em> + </a> + <br/> + Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly + <br/> + ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2011) + <br/> + April 10-13, 2011, Salzburg, Austria + <br/><br/> + </li> + + <li> + <a href="http://keeda.stanford.edu/~daramos/papers/ucklee-cav-2011.pdf"> + <em> + Practical, Low-Effort Equivalence Verification of Real Code + </em> + </a> + <br/> + David Ramos, Dawson Engler + <br > + Computer Aided Verification (CAV 2011) + <br/> + July 16-20, 2011, Snowbird, UT, USA + <br/><br/> + </li> + + <li> + <a href="http://www.comsys.rwth-aachen.de/fileadmin/papers/2011/2011-06-icdcs-sasnauskas-sde.pdf"> + <em> + Scalable Symbolic Execution of Distributed Systems + </em> + </a> + <br> + Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, + Carsten Weise, Stefan Kowalewski, Klaus Wehrle + <br> + IEEE International Conference on Distributed Computing Systems (ICDCS 2011) + <br> + June 20-24, 2011, Minneapolis, MN, USA + <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> + October 23-26, 2011, Cascais, Portugal + <br><br> + </li> + + <li> + <a href="http://www.cs.utah.edu/~ligd/publications/KLOVER-CAV11.pdf"> + <em> + KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs + </em> + </a> + <br> + Guodong Li, Indradeep Ghosh and Sreeranga Rajan + <br> + International Conference on Computer Aided Verification (CAV 2011) + <br> + July 14-20, 2011, Cliff Lodge, Snowbird, UT, USA + <br><br> + </li> + + <li> + <a href="http://www.doc.ic.ac.uk/~cristic/papers/kleecl-hvc-11.pdf"> + <em> + Symbolic Testing of OpenCL Code + </em> + </a> + <br> + Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly + <br> + Haifa Verification Conference (HVC 2011) + <br> + December 6-8, 2011, Haifa, Israel + <br><br> + </li> + + <li> + <a href="http://www.cs.utah.edu/formal_verification/GKLEE/ppopp12-gklee-accepted-version.pdf"> + <em> + GKLEE: Concolic Verification and Test Generation for GPUs + </em> + </a> + <br> + Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, and Sreeranga P. Rajan + <br> + ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2012) + <br> + February 25-29, 2012, New Orleans, LA, USA + <br> + <b>GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.</b> + <br><br> + </li> + + <li> + <a href="http://www.doc.ic.ac.uk/~cristic/papers/zesti-icse-12.pdf"> + <em> + make test-zesti: A Symbolic Execution Solution for Improving Regression Testing + </em> + </a> + <br> + Paul Dan Marinescu, Cristian Cadar + <br> + International Conference on Software Engineering (ICSE 2012) + <br> + June 2-9, 2012, Zurich, Switzerland + <br> + <b>ZESTI is available <a href="http://srg.doc.ic.ac.uk/projects/zesti/">here</a>.</b> + <br><br> + </li> + + <li> + <a href="http://www.cc.gatech.edu/~orso/papers/jin.orso.ICSE12.pdf"> + <em> + BugRedux: Reproducing Field Failures for In-House Debugging + </em> + </a> + <br> + Wei Jin, Alessandro Orso + <br> + International Conference on Software Engineering (ICSE 2012) + <br> + June 2-9, 2012, Zurich, Switzerland + <br> + <b>BugRedux is available <a href="http://www.cc.gatech.edu/~wjin6/mypage/bugredux.html">here</a>.</b> + <br><br> + </li> + + <li> + <a href="http://dslab.epfl.ch/pubs/stateMerging.pdf"> + <em> + Efficient State Merging in Symbolic Execution + </em> + </a> + <br> + Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea + <br> + Programming Language Design and Implementation (PLDI) + <br> + June 11-16, 2012, Beijing, China + <br><br> + </li> + + <li> + <a href="http://www.doc.ic.ac.uk/~cristic/papers/highcovpatch-spin-12.pdf"> + <em> + High-Coverage Symbolic Patch Testing + </em> + </a> + <br> + Paul Dan Marinescu, Cristian Cadar + <br> + SPIN Workshop on Model Checking of Software (SPIN 2012) + <br> + July 23-24, 2012, Oxford, UK + <br><br> + </li> + + <li> + <a href="http://earlbarr.com/publications/ariadne.pdf"> + <em> + Automatic Detection of Floating-Point Exceptions + </em> + </a> + <br> + Peter C. Rigby, Earl T. Barr, Christian Bird, Premkumar Devanbu, Daniel M. German + <br> + Principles of Programming Languages (POPL) + <br> + January 23-25, 2013, Rome, Italy + <br><br> + </li> + + <li> + <a href="http://www.stanford.edu/~suhabe/atc13-bugrara.pdf"> + <em> + Redundant State Detection for Dynamic Symbolic Execution + </em> + </a> + <br> + Suhabe Bugrara, Dawson Engler + <br> + USENIX Annual Technical Conference (USENIX ATC 2013) + <br> + June 26-28, 2013, San Jose, California. + <br><br> + </li> + + </ol> +</div> +</body> +</html> |