Dawson R. Engler

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 5

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

IEEE Symposium on Security and Privacy

ASE

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Fraser Brown, Deian Stefan, Dawson R. Engler
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. USENIX Security Symposium (2020)
Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy (2017)
Fraser Brown, Andres Nötzli, Dawson R. Engler
How to Build Static Checking Systems Using Orders of Magnitude Less Code. ASPLOS (2016)
David A. Ramos, Dawson R. Engler
Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX Annual Technical Conference (2016)
David A. Ramos, Dawson R. Engler
Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX Security Symposium (2015)
Anthony Romano, Dawson R. Engler
symMMU: symbolically executed runtime libraries for symbolic memory access. ASE (2014)
Suhabe Bugrara, Dawson R. Engler
Redundant State Detection for Dynamic Symbolic Execution. USENIX Annual Technical Conference (2013)
Anthony Romano, Dawson R. Engler
Expression Reduction from Programs in a Symbolic Binary Executor. SPIN (2013)
David A. Ramos, Dawson R. Engler
Practical, Low-Effort Equivalence Verification of Real Code. CAV (2011)
Philip J. Guo, Dawson R. Engler
Using automatic persistent memoization to facilitate data analysis scripting. ISSTA (2011)
Philip J. Guo, Dawson R. Engler
CDE: Using System Call Interposition to Automatically Create Portable Software Packages. USENIX Annual Technical Conference (2011)
Angelos D. Keromytis, Salvatore J. Stolfo, Junfeng Yang, Angelos Stavrou, Anup K. Ghosh, Dawson R. Engler, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle
The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. SysSec@DIMVA (2011)
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) (2010)
Philip J. Guo, Dawson R. Engler
Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. TaPP (2010)
Philip J. Guo, Dawson R. Engler
Linux Kernel Developer Responses to Static Analysis Bug Reports. USENIX Annual Technical Conference (2009)
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)
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI (2008)
Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS (2008)
Dawson R. Engler, Daniel Dunbar
Under-constrained execution: making automatic code destruction easy and scalable. ISSTA (2007)
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)
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24 (4) (2006)
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within. OSDI (2006)
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)
Junfeng Yang, Can Sar, Dawson R. Engler
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI (2006)
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
EXE: automatically generating inputs of death. CCS (2006)
Cristian Cadar, Dawson R. Engler
Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN (2005)
Dawson R. Engler
Static Analysis Versus Model Checking for Bug Finding. CONCUR (2005)
Madanlal Musuvathi, Dawson R. Engler
Model Checking Large Network Protocol Implementations. NSDI (2004)
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI (2004)
Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
Correlation exploitation in error ranking. SIGSOFT FSE (2004)
Dawson R. Engler, Madanlal Musuvathi
Static Analysis versus Software Model Checking for Bug Finding. VMCAI (2004)
Seth Hallem, David Y. W. Park, Dawson R. Engler
Uprooting Software Defects at the Source. ACM Queue 1 (8) (2003)
Ted Kremenek, Dawson R. Engler
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. SAS (2003)
Yichen Xie, Dawson R. Engler
Using Redundancies to Find Errors. IEEE Trans. Software Eng. 29 (10) (2003)
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
MECA: an extensible, expressive system and language for statically checking security properties. CCS (2003)
Dawson R. Engler, Ken Ashcraft
RacerX: effective, static detection of race conditions and deadlocks. SOSP (2003)
Yichen Xie, Andy Chou, Dawson R. Engler
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE (2003)
Madanlal Musuvathi, Dawson R. Engler
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner
Cool security trends. SACMAT (2002)
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
A System and Language for Building System-Specific, Static Analyses. PLDI (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)
Yichen Xie, Dawson R. Engler
Using redundancies to find errors. SIGSOFT FSE (2002)
Ken Ashcraft, Dawson R. Engler
Using Programmer-Written Compiler Extensions to Catch Security Holes. IEEE Symposium on Security and Privacy (2002)
Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler
Model checking system software with CMC. ACM SIGOPS European Workshop (2002)
Benjamin Chelf, Dawson R. Engler, Seth Hallem
How to write system-specific, static checkers in metal. PASTE (2002)
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) (2002)
David Lie, Andy Chou, Dawson R. Engler, David L. Dill
A simple method for extracting models for protocol code. ISCA (2001)
Wilson C. Hsieh, Dawson R. Engler, Godmar Back
Reverse-Engineering Instruction Encodings. USENIX Annual Technical Conference, General Track (2001)
Dawson R. Engler, David Yu Chen, Andy Chou
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. SOSP (2001)
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
An Empirical Study of Operating System Errors. SOSP (2001)
Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich
Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS (2000)
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI (2000)
Dawson R. Engler, Wilson C. Hsieh
Derive: a tool that automatically reverse-engineers instruction encodings. Dynamo (2000)
Dawson R. Engler
Interface Compilation: Steps Toward Compiling Program Interfaces as Languages. IEEE Trans. Software Eng. 25 (3) (1999)
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) (1999)
Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
ASHs application-specific handlers for high-performance messaging. IEEE/ACM Trans. Netw. 5 (4) (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)
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)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach
Server operating systems. ACM SIGOPS European Workshop (1996)
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. POPL (1996)
Dawson R. Engler, M. Frans Kaashoek
DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. SIGCOMM (1996)
Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
ASHs: Application-Specific Handlers for High-Performance Messaging. SIGCOMM (1996)
Dawson R. Engler
VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. PLDI (1996)
Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek
AVM: application-level virtual memory. HotOS (1995)
Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS Oper. Syst. Rev. 29 (1) (1995)
Dawson R. Engler, M. Frans Kaashoek
Exterminate all operating system abstractions. HotOS (1995)
Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
Exokernel: An Operating System Architecture for Application-Level Resource Management. SOSP (1995)
Dawson R. Engler, Todd A. Proebsting
DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS (1994)
Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
The Exokernel Approach to Operating System Extensibility (Panel Statement). OSDI (1994)
Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS European Workshop (1994)

Dawson R. Engler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dawson R. Engler