Dawson Engler

Q: What Schools Are Affiliated With Dawson Engler

Dawson Engler is affiliated with the following schools: Stanford University, Massachusetts Institute of Technology, Arizona State University

Dawson Engler's AcademicInfluence.com Rankings

Dawson Engler

Computer Science

#2367

World Rank

#2472

Historical Rank

Database

#7912

World Rank

#8239

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Dawson Engler's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Dawson Engler Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Dawson R. Engler is an American computer scientist and an associate professor of computer science and electrical engineering at Stanford University. Career After graduating from University of Arizona, Engler earned his Ph.D. from the Massachusetts Institute of Technology in 1998 while working with Frans Kaashoek in the MIT CSAIL Parallel and Distributed Operating Systems Group. The focus of his graduate studies was the exokernel.

(See a Problem?)

Dawson Engler's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (2008) (2976)
Exokernel: an operating system architecture for application-level resource management (1995) (1447)
EXE: Automatically Generating Inputs of Death (2008) (1015)
RacerX: effective, static detection of race conditions and deadlocks (2003) (818)
An empirical study of operating systems errors (2001) (786)
Bugs as deviant behavior: a general approach to inferring errors in systems code (2001) (780)
Checking system rules using system-specific, programmer-written compiler extensions (2000) (618)
A few billion lines of code later (2010) (612)
CMC: a pragmatic approach to model checking real code (2002) (448)
Application performance and flexibility on exokernel systems (1997) (359)
Using model checking to find serious file system errors (2004) (358)
A system and language for building system-specific, static analyses (2002) (355)
Execution Generated Test Cases: How to Make Systems Code Crash Itself (2005) (266)
RWset: Attacking Path Explosion in Constraint-Based Test Generation (2008) (245)
Using programmer-written compiler extensions to catch security holes (2002) (244)
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (2003) (227)
DPF: fast, flexible message demultiplexing using dynamic code generation (1996) (224)
Model Checking Large Network Protocol Implementations (2004) (211)
EXE: automatically generating inputs of death (2006) (202)
C: a language for high-level, efficient, and machine-independent dynamic code generation (1995) (199)
VCODE: a retargetable, extensible, very fast dynamic code generation system (1996) (199)
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (2003) (191)
Under-Constrained Symbolic Execution: Correctness Checking for Real Code (2015) (185)
EXPLODE: a lightweight, general system for finding serious storage system errors (2006) (175)
From uncertainty to belief: inferring the specification within (2006) (170)
Exterminate all operating system abstractions (1995) (161)
Correlation exploitation in error ranking (2004) (143)
C and tcc: a language and compiler for dynamic code generation (1999) (142)
Static Analysis versus Software Model Checking for Bug Finding (2004) (137)
Practical, Low-Effort Equivalence Verification of Real Code (2011) (127)
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. (2001) (123)
tcc: a system for fast, flexible, and high-level dynamic code generation (1997) (122)
Automatically generating malicious disks using symbolic execution (2006) (109)
DCG: an efficient, retargetable dynamic code generation system (1994) (103)
Server operating systems (1996) (83)
Using redundancies to find errors (2003) (81)
The exokernel operating system architecture (1998) (80)
Fast and flexible application-level networking on exokernel systems (2002) (80)
CDE: Using System Call Interposition to Automatically Create Portable Software Packages (2011) (78)
EXE: A system for automatically generating inputs of death using symbolic execution (2006) (76)
Under-constrained execution: making automatic code destruction easy and scalable (2007) (71)
AVM: application-level virtual memory (1995) (67)
The operating system kernel as a secure programmable machine (1995) (66)
ASHs: Application-specific handlers for high-performance messaging (1996) (62)
CMC: a pragmatic approach to model checking real code (2002) (58)
MECA: an extensible, expressive system and language for statically checking security properties (2003) (52)
Incorporating Application Semantics and Control into Compilation (1997) (52)
A simple method for extracting models from protocol code (2001) (51)
Redundant State Detection for Dynamic Symbolic Execution (2013) (42)
The operating system kernel as a secure programmable machine (1994) (41)
Finding and Preventing Bugs in JavaScript Bindings (2017) (36)
Linux Kernel Developer Responses to Static Analysis Bug Reports (2009) (36)
How to Build Static Checking Systems Using Orders of Magnitude Less Code (2016) (34)
Using automatic persistent memoization to facilitate data analysis scripting (2011) (33)
Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language (2010) (31)
How to write system-specific, static checkers in metal (2002) (31)
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code (2020) (29)
Static Analysis Versus Model Checking for Bug Finding (2005) (28)
A Factor Graph Model for Software Bug Finding (2007) (26)
Interface Compilation: Steps Toward Compiling Program Interfaces as Languages (1999) (24)
Filaments: Efficient Support for Fine-Grain Parallelism (1993) (24)
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding (2003) (23)
Uprooting Software Defects at the Source (2003) (23)
Reverse-Engineering Instruction Encodings (2001) (22)
Using meta-level compilation to check FLASH protocol code (2000) (18)
Using meta-level compilation to check FLASH protocol code (2000) (17)
ASHs: application-specific handlers for high-performance messaging (1997) (16)
MJ - A System for Constructing Bug-Finding Analyses for Java (2003) (14)
Expression Reduction from Programs in a Symbolic Binary Executor (2013) (14)
The design and implementation of a prototype exokernel operating system (1995) (11)
The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security (2011) (11)
The Exokernel Approach to Operating System Extensibility (Panel Statement) (1994) (10)
Using redundancies to find errors (2002) (9)
Model checking system software with CMC (2002) (9)
Design and Implementation of a Modular, Flexible, and Fast System for Dynamic Protocol Composition (1996) (8)
Derive: a tool that automatically reverse-engineers instruction encodings (2000) (8)
symMMU: symbolically executed runtime libraries for symbolic memory access (2014) (6)
tcc: A Template-Based Compiler for ‘C (2007) (5)
A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code (2007) (5)
Performance Experiments for the Filaments Package (1993) (5)
A framework for model checking network protocols (2004) (4)
How Coverity built a bug-finding tool , and a business , around the unlimited supply of bugs in software systems (2010) (1)
Exodisk: Maximizing Application Control over Storage Management Exodisk: Maximizing Application Control over Storage Management (1996) (0)
A Couple Billion Lines of Code Later: Static Checking in the Real World (2008) (0)
Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems (2008) (0)
Fast and Flexible Application-level Networking on Exokernel Systems (CMU-CS-00-117) (2000) (0)
Session details: Probing the black box (2003) (0)
Session details: Virtual machines (2002) (0)
Cool security trends (2002) (0)
The Open Source Hardening Project (2009) (0)

This paper list is powered by the following services:

Other Resources About Dawson Engler

What Schools Are Affiliated With Dawson Engler?

Dawson Engler is affiliated with the following schools:

Dawson Engler's Academic­Influence.com Rankings