diff options
Diffstat (limited to 'www/Publications.html')
| -rw-r--r-- | www/Publications.html | 70 |
1 files changed, 65 insertions, 5 deletions
diff --git a/www/Publications.html b/www/Publications.html index d081cbae..710ea170 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -17,11 +17,9 @@ 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> + paper listed here, please send email to klee-dev-owner AT keeda.stanford.edu. - <ol> + <ol start="0"> <li> <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf"> <em> @@ -231,7 +229,69 @@ <br> ACM Symposium on Operating Systems Principles (SOSP 2011) <br> - 23-26 October, 2011, Cascais, Portugal + 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> + GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>. + <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><br> </li> |