Dawson R. Engler

According to our database, Dawson R. Engler authored at least 69 papers between 1994 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code.

Fraser Brown, Deian Stefan, Dawson R. Engler

Proceedings of the 29th USENIX Security Symposium, 2020

2017

Finding and Preventing Bugs in JavaScript Bindings.

Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

How to Build Static Checking Systems Using Orders of Magnitude Less Code.

Fraser Brown, Andres Nötzli, Dawson R. Engler

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Under-Constrained Symbolic Execution: Correctness Checking for Real Code.

David A. Ramos, Dawson R. Engler

Proceedings of the 24th USENIX Security Symposium, 2015

2014

symMMU: symbolically executed runtime libraries for symbolic memory access.

Anthony Romano, Dawson R. Engler

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Redundant State Detection for Dynamic Symbolic Execution.

Suhabe Bugrara, Dawson R. Engler

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Expression Reduction from Programs in a Symbolic Binary Executor.

Anthony Romano, Dawson R. Engler

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2011

CDE: Using System Call Interposition to Automatically Create Portable Software Packages.

Philip J. Guo, Dawson R. Engler

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Using automatic persistent memoization to facilitate data analysis scripting.

Philip J. Guo, Dawson R. Engler

Proceedings of the 20th International Symposium on Software Testing and Analysis, 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

Proceedings of the First SysSec Workshop 2011, 2011

Practical, Low-Effort Equivalence Verification of Real Code.

David A. Ramos, Dawson R. Engler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

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

Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language.

Philip J. Guo, Dawson R. Engler

Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

2009

Linux Kernel Developer Responses to Static Analysis Bug Reports.

Philip J. Guo, Dawson R. Engler

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

2008

EXE: Automatically Generating Inputs of Death.

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler

ACM Trans. Inf. Syst. Secur., 2008

RWset: Attacking Path Explosion in Constraint-Based Test Generation.

Peter Boonstoppel, Cristian Cadar, Dawson R. Engler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cristian Cadar, Daniel Dunbar, Dawson R. Engler

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems.

Dawson R. Engler

Proceedings of the FM 2008: Formal Methods, 2008

2007

Under-constrained execution: making automatic code destruction easy and scalable.

Dawson R. Engler, Daniel Dunbar

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

A Factor Graph Model for Software Bug Finding.

Ted Kremenek, Andrew Y. Ng, Dawson R. Engler

Proceedings of the IJCAI 2007, 2007

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

Dawson R. Engler

Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

2006

Using model checking to find serious file system errors.

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

ACM Trans. Comput. Syst., 2006

Automatically Generating Malicious Disks using Symbolic Execution.

Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors.

Junfeng Yang, Can Sar, Dawson R. Engler

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

From Uncertainty to Belief: Inferring the Specification Within.

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2005

Execution Generated Test Cases: How to Make Systems Code Crash Itself.

Cristian Cadar, Dawson R. Engler

Proceedings of the Model Checking Software, 2005

Static Analysis Versus Model Checking for Bug Finding.

Dawson R. Engler

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Static Analysis versus Software Model Checking for Bug Finding.

Dawson R. Engler, Madanlal Musuvathi

Proceedings of the Verification, 2004

Correlation exploitation in error ranking.

Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Model Checking Large Network Protocol Implementations.

Madanlal Musuvathi, Dawson R. Engler

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003

Using Redundancies to Find Errors.

Yichen Xie, Dawson R. Engler

IEEE Trans. Software Eng., 2003

Uprooting Software Defects at the Source.

Seth Hallem, David Y. W. Park, Dawson R. Engler

ACM Queue, 2003

Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.

Madanlal Musuvathi, Dawson R. Engler

Proceedings of the 2003 Workshop on Software Model Checking, 2003

RacerX: effective, static detection of race conditions and deadlocks.

Dawson R. Engler, Ken Ashcraft

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.

Yichen Xie, Andy Chou, Dawson R. Engler

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.

Ted Kremenek, Dawson R. Engler

Proceedings of the Static Analysis, 10th International Symposium, 2003

MECA: an extensible, expressive system and language for statically checking security properties.

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

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

Using Programmer-Written Compiler Extensions to Catch Security Holes.

Ken Ashcraft, Dawson R. Engler

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Model checking system software with CMC.

Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Cool security trends.

Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner

Proceedings of the 7th ACM Symposium on Access Control Models and Technologies, 2002

A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

How to write system-specific, static checkers in metal.

Benjamin Chelf, Dawson R. Engler, Seth Hallem

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

CMC: A Pragmatic Approach to Model Checking Real Code.

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001

Reverse-Engineering Instruction Encodings.

Wilson C. Hsieh, Dawson R. Engler, Godmar Back

Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.

Dawson R. Engler, David Yu Chen, Andy Chou

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

An Empirical Study of Operating System Errors.

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

A simple method for extracting models for protocol code.

David Lie, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Derive: a tool that automatically reverse-engineers instruction encodings.

Dawson R. Engler, Wilson C. Hsieh

Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

Using Meta-level Compilation to Check FLASH Protocol Code.

Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999

Interface Compilation: Steps Toward Compiling Program Interfaces as Languages.

Dawson R. Engler

IEEE Trans. Software Eng., 1999

'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

1998

The exokernel operating system architecture.

Dawson R. Engler

PhD thesis, 1998

1997

ASHs application-specific handlers for high-performance messaging.

Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek

IEEE/ACM Trans. Netw., 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, John Jannotti, Kenneth Mackenzie

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation.

Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Incorporating Application Semantics and Control into Compilation.

Dawson R. Engler

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

Server operating systems.

M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation.

Dawson R. Engler, M. Frans Kaashoek

Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation.

Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System.

Dawson R. Engler

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

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

Exokernel: An Operating System Architecture for Application-Level Resource Management.

Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Exterminate all operating system abstractions.

Dawson R. Engler, M. Frans Kaashoek

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

AVM: application-level virtual memory.

Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994

The Exokernel Approach to Operating System Extensibility (Panel Statement).

Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

DCG: An Efficient, Retargetable Dynamic Code Generation System.

Dawson R. Engler, Todd A. Proebsting

Proceedings of the ASPLOS-VI Proceedings, 1994