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

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

AVM: application-level virtual memory. - Dawson R. Engler; Sandeep K. Gupta 002; M. Frans Kaashoek (HotOS, 1995)

Exterminate all operating system abstractions. - Dawson R. Engler; M. Frans Kaashoek (HotOS, 1995)

Exokernel: An Operating System Architecture for Application-Level Resource Management. - Dawson R. Engler; M. Frans Kaashoek; James W. O'Toole Jr. (SOSP, 1995)

The Operating System Kernel as a Secure Programmable Machine. - Dawson R. Engler; M. Frans Kaashoek; James W. O'Toole Jr. (ACM SIGOPS Oper. Syst. Rev., 1995)

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

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

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

Server operating systems. - M. Frans Kaashoek; Dawson R. Engler; Gregory R. Ganger; Deborah A. Wallach (ACM SIGOPS European Workshop, 1996)

Incorporating Application Semantics and Control into Compilation. - Dawson R. Engler (DSL, 1997)

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

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

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

The exokernel operating system architecture. - Dawson R. Engler (1998)

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

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

Using Meta-level Compilation to Check FLASH Protocol Code. - Andy Chou; Benjamin Chelf; Dawson R. Engler; Mark A. Heinrich (ASPLOS, 2000)

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

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. - Dawson R. Engler; Benjamin Chelf; Andy Chou; Seth Hallem (OSDI, 2000)

A simple method for extracting models for protocol code. - David Lie; Andy Chou; Dawson R. Engler; David L. Dill (ISCA, 2001)

An Empirical Study of Operating System Errors. - Andy Chou; Junfeng Yang; Benjamin Chelf; Seth Hallem; Dawson R. Engler (SOSP, 2001)

Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. - Dawson R. Engler; David Yu Chen; Andy Chou (SOSP, 2001)

Reverse-Engineering Instruction Encodings. - Wilson C. Hsieh; Dawson R. Engler; Godmar Back (USENIX ATC, General Track, 2001)

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

How to write system-specific, static checkers in metal. - Benjamin Chelf; Dawson R. Engler; Seth Hallem (PASTE, 2002)

A System and Language for Building System-Specific, Static Analyses. - Seth Hallem; Benjamin Chelf; Yichen Xie 001; Dawson R. Engler (PLDI, 2002)

Cool security trends. - Dawson R. Engler; Cynthia E. Irvine; Trent Jaeger; David A. Wagner 001 (SACMAT, 2002)

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

Using Programmer-Written Compiler Extensions to Catch Security Holes. - Ken Ashcraft; Dawson R. Engler (S&P, 2002)

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

MECA: an extensible, expressive system and language for statically checking security properties. - Junfeng Yang; Ted Kremenek; Yichen Xie 001; Dawson R. Engler (CCS, 2003)

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

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

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

Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. - Madanlal Musuvathi; Dawson R. Engler (SoftMC@CAV, 2003)

Uprooting Software Defects at the Source. - Seth Hallem; David Y. W. Park; Dawson R. Engler (ACM Queue, 2003)

Using Redundancies to Find Errors. - Yichen Xie 001; Dawson R. Engler (IEEE Trans. Software Eng., 2003)

Model Checking Large Network Protocol Implementations. - Madanlal Musuvathi; Dawson R. Engler (NSDI, 2004)

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

Correlation exploitation in error ranking. - Ted Kremenek; Ken Ashcraft; Junfeng Yang; Dawson R. Engler (SIGSOFT FSE, 2004)

Static Analysis versus Software Model Checking for Bug Finding. - Dawson R. Engler; Madanlal Musuvathi (VMCAI, 2004)

Static Analysis Versus Model Checking for Bug Finding. - Dawson R. Engler (CONCUR, 2005)

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

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

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

Automatically Generating Malicious Disks using Symbolic Execution. - Junfeng Yang; Can Sar; Paul Twohey; Cristian Cadar; Dawson R. Engler (S&P, 2006)

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

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

A Factor Graph Model for Software Bug Finding. - Ted Kremenek; Andrew Y. Ng; Dawson R. Engler (IJCAI, 2007)

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

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

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

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

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

Linux Kernel Developer Responses to Static Analysis Bug Reports. - Philip J. Guo; Dawson R. Engler (USENIX ATC, 2009)

Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. - Philip J. Guo; Dawson R. Engler (TaPP, 2010)

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

Practical, Low-Effort Equivalence Verification of Real Code. - David A. Ramos; Dawson R. Engler (CAV, 2011)

The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. - Angelos D. Keromytis; Salvatore J. Stolfo; Junfeng Yang; Angelos Stavrou; Anup K. Ghosh; Dawson R. Engler; Marc Dacier; Matthew C. Elder; Darrell M. Kienzle (SysSec@DIMVA, 2011)

Using automatic persistent memoization to facilitate data analysis scripting. - Philip J. Guo; Dawson R. Engler (ISSTA, 2011)

CDE: Using System Call Interposition to Automatically Create Portable Software Packages. - Philip J. Guo; Dawson R. Engler (USENIX ATC, 2011)

Expression Reduction from Programs in a Symbolic Binary Executor. - Anthony Romano; Dawson R. Engler (SPIN, 2013)

Redundant State Detection for Dynamic Symbolic Execution. - Suhabe Bugrara; Dawson R. Engler (USENIX ATC, 2013)

symMMU: symbolically executed runtime libraries for symbolic memory access. - Anthony Romano; Dawson R. Engler (ASE, 2014)

Under-Constrained Symbolic Execution: Correctness Checking for Real Code. - David A. Ramos; Dawson R. Engler (USENIX Security Symposium, 2015)

How to Build Static Checking Systems Using Orders of Magnitude Less Code. - Fraser Brown; Andres Nötzli; Dawson R. Engler (ASPLOS, 2016)

Finding and Preventing Bugs in JavaScript Bindings. - Fraser Brown; Shravan Narayan; Riad S. Wahby; Dawson R. Engler; Ranjit Jhala; Deian Stefan (IEEE Symposium on Security and Privacy, 2017)

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. - Fraser Brown; Deian Stefan; Dawson R. Engler (USENIX Security Symposium, 2020)