diff options
Diffstat (limited to 'www/Publications.html')
| -rw-r--r-- | www/Publications.html | 402 |
1 files changed, 0 insertions, 402 deletions
diff --git a/www/Publications.html b/www/Publications.html deleted file mode 100644 index 2a2dd313..00000000 --- a/www/Publications.html +++ /dev/null @@ -1,402 +0,0 @@ -<!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> |