| 2017 | SP | Finding and Preventing Bugs in JavaScript Bindings. | Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan |
| 2016 | ASPLOS | How to Build Static Checking Systems Using Orders of Magnitude Less Code. | Fraser Brown, Andres Ntzli, Dawson R. Engler |
| 2016 | USENIX | Under-Constrained Symbolic Execution: Correctness Checking for Real Code. | David A. Ramos, Dawson R. Engler |
| 2013 | USENIX | Redundant State Detection for Dynamic Symbolic Execution. | Suhabe Bugrara, Dawson R. Engler |
| 2011 | CAV | Practical, Low-Effort Equivalence Verification of Real Code. | David A. Ramos, Dawson R. Engler |
| 2011 | DIMVA | 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 |
| 2011 | ISSTA | Using automatic persistent memoization to facilitate data analysis scripting. | Philip J. Guo, Dawson R. Engler |
| 2011 | USENIX | CDE: Using System Call Interposition to Automatically Create Portable Software Packages. | Philip J. Guo, Dawson R. Engler |
| 2009 | USENIX | Linux Kernel Developer Responses to Static Analysis Bug Reports. | Philip J. Guo, Dawson R. Engler |
| 2008 | FM | Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. | Dawson R. Engler |
| 2008 | OSDI | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. | Cristian Cadar, Daniel Dunbar, Dawson R. Engler |
| 2008 | TACAS | RWset: Attacking Path Explosion in Constraint-Based Test Generation. | Peter Boonstoppel, Cristian Cadar, Dawson R. Engler |
| 2007 | FAST | A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code. | Dawson R. Engler |
| 2007 | IJCAI | A Factor Graph Model for Software Bug Finding. | Ted Kremenek, Andrew Y. Ng, Dawson R. Engler |
| 2007 | ISSTA | Under-constrained execution: making automatic code destruction easy and scalable. | Dawson R. Engler, Daniel Dunbar |
| 2006 | CCS | EXE: automatically generating inputs of death. | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler |
| 2006 | OSDI | From Uncertainty to Belief: Inferring the Specification Within. | Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler |
| 2006 | OSDI | EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. | Junfeng Yang, Can Sar, Dawson R. Engler |
| 2006 | SP | Automatically Generating Malicious Disks using Symbolic Execution. | Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler |
| 2005 | CONCUR | Static Analysis Versus Model Checking for Bug Finding. | Dawson R. Engler |
| 2004 | NSDI | Model Checking Large Network Protocol Implementations. | Madanlal Musuvathi, Dawson R. Engler |
| 2004 | OSDI | Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
| 2004 | VMCAI | Static Analysis versus Software Model Checking for Bug Finding. | Dawson R. Engler, Madanlal Musuvathi |
| 2003 | CCS | MECA: an extensible, expressive system and language for statically checking security properties. | Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler |
| 2003 | SAS | Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. | Ted Kremenek, Dawson R. Engler |
| 2003 | SOSP | RacerX: effective, static detection of race conditions and deadlocks. | Dawson R. Engler, Ken Ashcraft |
| 2002 | OSDI | CMC: A Pragmatic Approach to Model Checking Real Code. | Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill |
| 2002 | PLDI | A System and Language for Building System-Specific, Static Analyses. | Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler |
| 2002 | SP | Using Programmer-Written Compiler Extensions to Catch Security Holes. | Ken Ashcraft, Dawson R. Engler |
| 2002 | SACMAT | Cool security trends. | Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner |
| 2001 | ISCA | A simple method for extracting models for protocol code. | David Lie, Andy Chou, Dawson R. Engler, David L. Dill |
| 2001 | USENIX | Reverse-Engineering Instruction Encodings. | Wilson C. Hsieh, Dawson R. Engler, Godmar Back |
| 2001 | SOSP | An Empirical Study of Operating System Errors. | Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler |
| 2001 | SOSP | Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. | Dawson R. Engler, David Yu Chen, Andy Chou |
| 2000 | ASPLOS | Using Meta-level Compilation to Check FLASH Protocol Code. | Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich |
| 2000 | OSDI | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. | Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem |
| 1997 | PLDI | tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. | Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek |
| 1997 | SOSP | Application Performance and Flexibility on Exokernel Systems. | M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hctor M. Briceo, Russell Hunt, David Mazires, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie |
| 1996 | PLDI | VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. | Dawson R. Engler |
| 1996 | POPL | C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. | Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek |
| 1996 | SIGCOMM | DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. | Dawson R. Engler, M. Frans Kaashoek |
| 1996 | SIGCOMM | ASHs: Application-Specific Handlers for High-Performance Messaging. | Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek |
| 1995 | HotOS | AVM: application-level virtual memory. | Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek |
| 1995 | HotOS | Exterminate all operating system abstractions. | Dawson R. Engler, M. Frans Kaashoek |
| 1995 | SOSP | Exokernel: An Operating System Architecture for Application-Level Resource Management. | Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr. |
| 1994 | ASPLOS | DCG: An Efficient, Retargetable Dynamic Code Generation System. | Dawson R. Engler, Todd A. Proebsting |
| 1994 | OSDI | The Exokernel Approach to Operating System Extensibility (Panel Statement). | Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr. |