Dawson R. Engler

David A. Ramos, Dawson R. Engler: Practical, Low-Effort Equivalence Verification of Real Code. CAV 2011: 669-685

Philip J. Guo, Dawson R. Engler: Using automatic persistent memoization to facilitate data analysis scripting. ISSTA 2011: 287-297

Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): 66-75 (2010)

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2) (2008)

Dawson R. Engler: Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. FM 2008: 33

Cristian Cadar, Daniel Dunbar, Dawson R. Engler: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI 2008: 209-224

Peter Boonstoppel, Cristian Cadar, Dawson R. Engler: RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS 2008: 351-366

Dawson R. Engler: A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code. FAST 2007

Ted Kremenek, Andrew Y. Ng, Dawson R. Engler: A Factor Graph Model for Software Bug Finding. IJCAI 2007: 2510-2516

Dawson R. Engler, Daniel Dunbar: Under-constrained execution: making automatic code destruction easy and scalable. ISSTA 2007: 1-4

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi: Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24(4): 393-423 (2006)

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: automatically generating inputs of death. ACM Conference on Computer and Communications Security 2006: 322-335

Junfeng Yang, Can Sar, Dawson R. Engler: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI 2006: 131-146

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler: From Uncertainty to Belief: Inferring the Specification Within. OSDI 2006: 161-176

Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler: Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy 2006: 243-257

Dawson R. Engler: Static Analysis Versus Model Checking for Bug Finding. CONCUR 2005: 1

Cristian Cadar, Dawson R. Engler: Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN 2005: 2-23

Madanlal Musuvathi, Dawson R. Engler: Model Checking Large Network Protocol Implementations. NSDI 2004: 155-168

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi: Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI 2004: 273-288

Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler: Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93

Dawson R. Engler, Madanlal Musuvathi: Static Analysis versus Software Model Checking for Bug Finding. VMCAI 2004: 191-210

Madanlal Musuvathi, Dawson R. Engler: Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. Electr. Notes Theor. Comput. Sci. 89(3): 378-404 (2003)

Seth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)

Yichen Xie, Dawson R. Engler: Using Redundancies to Find Errors. IEEE Trans. Software Eng. 29(10): 915-928 (2003)

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler: MECA: an extensible, expressive system and language for statically checking security properties. ACM Conference on Computer and Communications Security 2003: 321-334

Ted Kremenek, Dawson R. Engler: Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. SAS 2003: 295-315

Yichen Xie, Andy Chou, Dawson R. Engler: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE 2003: 327-336

Dawson R. Engler, Ken Ashcraft: RacerX: effective, static detection of race conditions and deadlocks. SOSP 2003: 237-252

Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney: Fast and flexible application-level networking on exokernel systems. ACM Trans. Comput. Syst. 20(1): 49-83 (2002)

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill: CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002

Benjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82

Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David Wagner: Cool security trends. SACMAT 2002: 53

Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler: Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222

Yichen Xie, Dawson R. Engler: Using redundancies to find errors. SIGSOFT FSE 2002: 51-60

Ken Ashcraft, Dawson R. Engler: Using Programmer-Written Compiler Extensions to Catch Security Holes. IEEE Symposium on Security and Privacy 2002: 143-159

David Lie, Andy Chou, Dawson R. Engler, David L. Dill: A simple method for extracting models for protocol code. ISCA 2001: 192-203

Dawson R. Engler, David Yu Chen, Andy Chou: Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. SOSP 2001: 57-72

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88

Wilson C. Hsieh, Dawson R. Engler, Godmar Back: Reverse-Engineering Instruction Encodings. USENIX Annual Technical Conference, General Track 2001: 133-145

Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich: Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS 2000: 59-70

Dawson R. Engler, Wilson C. Hsieh: Derive: a tool that automatically reverse-engineers instruction encodings. Dynamo 2000: 12-22

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16

Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek: 'C and tcc: A Language and Compiler for Dynamic Code Generation. ACM Trans. Program. Lang. Syst. 21(2): 324-369 (1999)

Dawson R. Engler: Interface Compilation: Steps Toward Compiling Program Interfaces as Languages. IEEE Trans. Software Eng. 25(3): 387-400 (1999)

Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek: ASHs application-specific handlers for high-performance messaging. IEEE/ACM Trans. Netw. 5(4): 460-474 (1997)

Dawson R. Engler: Incorporating Application Semantics and Control into Compilation. DSL 1997

Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek: tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. PLDI 1997: 109-121

M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie: Application Performance and Flexibility on Exokernel Systems. SOSP 1997: 52-65

Dawson R. Engler: VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. PLDI 1996: 160-170

Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek: `C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. POPL 1996: 131-144

Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek: ASHs: Application-Specific Handlers for High-Performance Messaging. SIGCOMM 1996: 40-52

Dawson R. Engler, M. Frans Kaashoek: DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. SIGCOMM 1996: 53-59

M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach: Server operating systems. ACM SIGOPS European Workshop 1996: 141-148

Dawson R. Engler, M. Frans Kaashoek, James O'Toole: The Operating System Kernel as a Secure Programmable Machine. Operating Systems Review 29(1): 78-82 (1995)

Dawson R. Engler, M. Frans Kaashoek, James O'Toole: Exokernel: An Operating System Architecture for Application-Level Resource Management. SOSP 1995: 251-266

Dawson R. Engler, Todd A. Proebsting: DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS 1994: 263-272

Dawson R. Engler, M. Frans Kaashoek, James O'Toole: The Exokernel Approach to Operating System Extensibility (Panel Statement). OSDI 1994: 198

Dawson R. Engler, M. Frans Kaashoek, James O'Toole: The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS European Workshop 1994: 62-67