Dawson Engler
Schriften (Auswahl)
- mit Frans Kaashoek, James W. O’Toole: Exokernel: An Operating System Architecture for Application-Level Resource Management, ACM SIGOPS Operating Systems Review, Band 29, 1995, S. 251–266
- mit Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions, Proceedings of the 4th Symposium on Operating System Design and Implementation, 2000
- mit D.Y. Chen, S. Hallem, A. Chou, B. Chelf: Bugs as deviant behavior: A general approach to inferring errors in systems code, ACM SIGOPS Operating Systems Review, Band 35, 2001, S. 57–72
- mit M. Musuvathi, D.Y.W. Park, A. Chou, D.L. Dill: CMC: A pragmatic approach to model checking real code, ACM SIGOPS Operating Systems Review, Band 36, 2002, S. 75–88
- mit K. Ashcraft: RacerX: effective, static detection of race conditions and deadlocks, ACM SIGOPS Operating Systems Review, Band 37, 2003, S. 237–252
- mit S. Hallem, B. Chelf, Y. Xie: A system and language for building system-specific, static analyses, ACM SIGPLAN Notices, Band 37, 2002, S. 69–82
- mit Junfeng Yang, Can Sar: eXplode: a Lightweight, General System for Finding Serious Storage System Errors, Proceedings of the 7th Symposium on Operating System Design and Implementation, 2006
- mit Cristian Cadar, Daniel Dunbar: Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, Operating System Design and Implementation (OSDI), Dezember 2008, S. 209–224
- mit Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill: EXE: automatically generating inputs of death, ACM Transactions on Information and System Security (TISSEC), Band 12, 2008, Nr. 2, S. 10
- mit Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak: A few billion lines of code later: using static analysis to find bugs in the real world, Communications of the ACM, Band 53, 2010, S. 66–75.