Export 13 results:
Filters: Author is Dawson Engler  [Clear All Filters]
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.
Ramos DA, Engler D.  2016.  Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 2016 {USENIX} Annual Technical Conference ({USENIX} {ATC} 16).
Ramos DA, Engler D.  2015.  Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 24th {USENIX} Security Symposium ({USENIX} Security 15). :49--64.
Bugrara S, Engler D.  2013.  Redundant State Detection for Dynamic Symbolic Execution. 2013 {USENIX} Annual Technical Conference ({USENIX} {ATC} 13). :199--211.
Guo PJ, Engler D.  2011.  CDE: Using System Call Interposition to Automatically Create Portable Software Packages. 2011 {USENIX} Annual Technical Conference ({USENIX} {ATC} 11).
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).
Guo PJ, Engler D.  2009.  Linux Kernel Developer Responses to Static Analysis Bug Reports. 2009 {USENIX} Annual Technical Conference ({USENIX} {ATC} 09).
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).
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).
Engler D.  2005.  How to Find Serious Bugs in Real Code. 14th {USENIX} Security Symposium ({USENIX} Security 05).
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).
Hsieh W, Engler D, Back G.  2001.  Reverse-Engineering Instruction Encodings. 2001 {USENIX} Annual Technical Conference ({USENIX} {ATC} 01).