Dawson R. Engler

According to our database1, Dawson R. Engler authored at least 72 papers between 1994 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Finding and Preventing Bugs in JavaScript Bindings.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016
Under-Constrained Symbolic Execution: Correctness Checking for Real Code.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

How to Build Static Checking Systems Using Orders of Magnitude Less Code.
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.
Proceedings of the 24th USENIX Security Symposium, 2015

2014
symMMU: symbolically executed runtime libraries for symbolic memory access.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
Redundant State Detection for Dynamic Symbolic Execution.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Expression Reduction from Programs in a Symbolic Binary Executor.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

2011
CDE: Using System Call Interposition to Automatically Create Portable Software Packages.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Using automatic persistent memoization to facilitate data analysis scripting.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Practical, Low-Effort Equivalence Verification of Real Code.
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.
Commun. ACM, 2010

Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language.
Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

2009
Linux Kernel Developer Responses to Static Analysis Bug Reports.
Proceedings of the 2009 USENIX Annual Technical Conference, 2009

2008
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur., 2008

RWset: Attacking Path Explosion in Constraint-Based Test Generation.
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.
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.
Proceedings of the FM 2008: Formal Methods, 2008

2007
Under-constrained execution: making automatic code destruction easy and scalable.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

A Factor Graph Model for Software Bug Finding.
Proceedings of the IJCAI 2007, 2007

A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code.
Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

2006
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst., 2006

Automatically Generating Malicious Disks using Symbolic Execution.
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.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

From Uncertainty to Belief: Inferring the Specification Within.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

EXE: automatically generating inputs of death.
Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30, 2006

2005
Execution Generated Test Cases: How to Make Systems Code Crash Itself.
Proceedings of the Model Checking Software, 2005

Static Analysis Versus Model Checking for Bug Finding.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Static Analysis versus Software Model Checking for Bug Finding.
Proceedings of the Verification, 2004

Correlation exploitation in error ranking.
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!).
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Model Checking Large Network Protocol Implementations.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003
Using Redundancies to Find Errors.
IEEE Trans. Software Eng., 2003

Uprooting Software Defects at the Source.
ACM Queue, 2003

Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.
Electr. Notes Theor. Comput. Sci., 2003

RacerX: effective, static detection of race conditions and deadlocks.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
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.
Proceedings of the Static Analysis, 10th International Symposium, 2003

MECA: an extensible, expressive system and language for statically checking security properties.
Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002
Fast and flexible application-level networking on exokernel systems.
ACM Trans. Comput. Syst., 2002

Using Programmer-Written Compiler Extensions to Catch Security Holes.
Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Using redundancies to find errors.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Model checking system software with CMC.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Cool security trends.
Proceedings of the 7th ACM Symposium on Access Control Models and Technologies, 2002

A System and Language for Building System-Specific, Static Analyses.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

How to write system-specific, static checkers in metal.
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.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001
Reverse-Engineering Instruction Encodings.
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

An Empirical Study of Operating System Errors.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

A simple method for extracting models for protocol code.
Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Derive: a tool that automatically reverse-engineers instruction encodings.
Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

Using Meta-level Compilation to Check FLASH Protocol Code.
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.
IEEE Trans. Software Eng., 1999

'C and tcc: A Language and Compiler for Dynamic Code Generation.
ACM Trans. Program. Lang. Syst., 1999

1998
The exokernel operating system architecture.
PhD thesis, 1998

1997
ASHs application-specific handlers for high-performance messaging.
IEEE/ACM Trans. Netw., 1997

Application Performance and Flexibility on Exokernel Systems.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Incorporating Application Semantics and Control into Compilation.
Proceedings of the Conference on Domain-Specific Languages, 1997

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

ASHs: Application-Specific Handlers for High-Performance Messaging.
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation.
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation.
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.
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.
Operating Systems Review, 1995

Exokernel: An Operating System Architecture for Application-Level Resource Management.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Exterminate all operating system abstractions.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

AVM: application-level virtual memory.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
The Operating System Kernel as a Secure Programmable Machine.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

The Exokernel Approach to Operating System Extensibility (Panel Statement).
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

DCG: An Efficient, Retargetable Dynamic Code Generation System.
Proceedings of the ASPLOS-VI Proceedings, 1994


  Loading...