USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 13 results:
Filters: Author is Dawson Engler [Clear All Filters]
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. 29th USENIX Security Symposium (USENIX Security 20). :199--216.
.
2020. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 24th USENIX Security Symposium (USENIX Security 15). :49--64.
.
2015. Redundant State Detection for Dynamic Symbolic Execution. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :199--211.
.
2013. CDE: Using System Call Interposition to Automatically Create Portable Software Packages. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
.
2011. Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. 2nd USENIX Workshop on the Theory and Practice of Provenance (TaPP 10).
.
2010. Linux Kernel Developer Responses to Static Analysis Bug Reports. 2009 USENIX Annual Technical Conference (USENIX ATC 09).
.
2009. A Couple Billion Lines of Code Later: Static Checking in the Real World. 17th USENIX Security Symposium (USENIX Security 08).
.
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).
.
2008. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006. How to Find Serious Bugs in Real Code. 14th USENIX Security Symposium (USENIX Security 05).
.
2005. Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004. Reverse-Engineering Instruction Encodings. 2001 USENIX Annual Technical Conference (USENIX ATC 01).
.
2001.