Biblio

Export 13 results:
Filters: Author is Dawson Engler  [Clear All Filters]
2020
Brown F, Stefan D, Engler D.  2020.  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. 29th USENIX Security Symposium (USENIX Security 20). :199--216.
2016
Ramos DA, Engler D.  2016.  Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
2015
Ramos DA, Engler D.  2015.  Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 24th USENIX Security Symposium (USENIX Security 15). :49--64.
2013
Bugrara S, Engler D.  2013.  Redundant State Detection for Dynamic Symbolic Execution. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :199--211.
2010
Guo PJ, Engler D.  2010.  Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. 2nd USENIX Workshop on the Theory and Practice of Provenance (TaPP 10).
2009
Guo PJ, Engler D.  2009.  Linux Kernel Developer Responses to Static Analysis Bug Reports. 2009 USENIX Annual Technical Conference (USENIX ATC 09).
2008
Engler D, Chelf B, Chou A, Hallem S.  2008.  A Couple Billion Lines of Code Later: Static Checking in the Real World. 17th USENIX Security Symposium (USENIX Security 08).
Cadar C, Dunbar D, Engler D.  2008.  KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2006
Yang J, Sar C, Engler D.  2006.  EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2005
Engler D.  2005.  How to Find Serious Bugs in Real Code. 14th USENIX Security Symposium (USENIX Security 05).
2004
Yang J, Twohey P, Engler D, Musuvathi M.  2004.  Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
2001
Hsieh W, Engler D, Back G.  2001.  Reverse-Engineering Instruction Encodings. 2001 USENIX Annual Technical Conference (USENIX ATC 01).