@inproceedings {255324,
	author = {Fraser Brown and Deian Stefan and Dawson Engler},
	title = {Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {199--216},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/brown},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {196225,
	author = {David A. Ramos and Dawson Engler},
	title = {{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code},
	booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
	year = {2016},
	address = {Denver, CO},
	url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/ramos},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {190951,
	author = {David A. Ramos and Dawson Engler},
	title = {{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code},
	booktitle = {24th USENIX Security Symposium (USENIX Security 15)},
	year = {2015},
	isbn = {978-1-939133-11-3},
	address = {Washington, D.C.},
	pages = {49--64},
	url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/ramos},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {180197,
	author = {Suhabe Bugrara and Dawson Engler},
	title = {Redundant State Detection for Dynamic Symbolic Execution},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {199--211},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/bugrara},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266726,
	author = {Philip J. Guo and Dawson Engler},
	title = {{CDE}: Using System Call Interposition to Automatically Create Portable Software Packages},
	booktitle = {2011 USENIX Annual Technical Conference (USENIX ATC 11)},
	year = {2011},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/usenixatc11/cde-using-system-call-interposition-automatically-create-portable-software},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267556,
	author = {Philip J. Guo and Dawson Engler},
	title = {Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language},
	booktitle = {2nd USENIX Workshop on the Theory and Practice of Provenance (TaPP 10)},
	year = {2010},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/tapp-10/towards-practical-incremental-recomputation-scientists-implementation-python},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {267676,
	author = {Philip J. Guo and Dawson Engler},
	title = {Linux Kernel Developer Responses to Static Analysis Bug Reports},
	booktitle = {2009 USENIX Annual Technical Conference (USENIX ATC 09)},
	year = {2009},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/usenix-09/linux-kernel-developer-responses-static-analysis-bug-reports},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {224362,
	author = {Dawson Engler and Ben Chelf and Andy Chou and Seth Hallem},
	title = {A Couple Billion Lines of Code Later: Static Checking in the Real World},
	booktitle = {17th USENIX Security Symposium (USENIX Security 08)},
	year = {2008},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/17th-usenix-security-symposium/couple-billion-lines-code-later-static-checking-real-world},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {267932,
	author = {Cristian Cadar and Daniel Dunbar and Dawson Engler},
	title = {{KLEE}: Unassisted and Automatic Generation of {High-Coverage} Tests for Complex Systems Programs},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {268817,
	author = {Junfeng Yang and Can Sar and Dawson Engler},
	title = {{EXPLODE}: A Lightweight, General System for Finding Serious Storage System Errors},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/explode-lightweight-general-system-finding-serious-storage-system-errors},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {269252,
	author = {Dawson Engler},
	title = {How to Find Serious Bugs in Real Code},
	booktitle = {14th USENIX Security Symposium (USENIX Security 05)},
	year = {2005},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/14th-usenix-security-symposium/how-find-serious-bugs-real-code},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {269480,
	author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
	title = {Using Model Checking to Find Serious File System Errors},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/using-model-checking-find-serious-file-system-errors},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {270963,
	author = {Wilson Hsieh and Dawson Engler and Godmar Back},
	title = {{Reverse-Engineering} Instruction Encodings},
	booktitle = {2001 USENIX Annual Technical Conference (USENIX ATC 01)},
	year = {2001},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/2001-usenix-annual-technical-conference/reverse-engineering-instruction-encodings},
	publisher = {USENIX Association},
	month = jun
}
