Concepedia

Author

Dawson Engler

Stanford University

Also Known As

D. Engler, D. R. Engler, D.R. Engler, Dawson Engler, Dawson R. Engler, Engler, Dawson, Engler, Dawson R.

130

Publications

15.3K

Citations

50

H-Index

84

Concepts

All Affiliations

Stanford UniversityMassachusetts Institute of Technology
DE

About

Dawson Engler is an author at Stanford University specializing in engineering, computer science, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

43

72

13.6K

2

Computer Science

42

70

13.5K

3

Computer Engineering

35

48

11.1K

4

Social Sciences

3

3

381

5

Management

2

2

187

Dawson Engler

×

80

Publications

14K

Citations

44

H-Index

YearCitations

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Cristian Cadar, Dawson Engler

Operating Systems Design and Implementation

2008

2.7K

Exokernel

Dawson Engler, M. Frans Kaashoek, James W. O’Toole

1995

1.1K

EXE

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski,

2006

784

Bugs as deviant behavior

Dawson Engler, David Yu Chen, Seth Hallem,

2001

740

An empirical study of operating systems errors

Andy Chou, Junfeng Yang, Benjamin Chelf,

2001

706

RacerX

Dawson Engler, Ken Ashcraft

ACM SIGOPS Operating Systems Review

2003

658

A few billion lines of code later

Al Bessey, Ken Block, Ben Chelf,

Communications of the ACM

2010

612

Checking system rules using system-specific, programmer-written compiler extensions

Dawson Engler, Benjamin Chelf, Andy Chou,

Operating Systems Design and Implementation

2000

537

CMC

Madanlal Musuvathi, David Y. W. Park, Andy Chou,

ACM SIGOPS Operating Systems Review

2002

360

RacerX

Dawson Engler, Ken Ashcraft

2003

360

Page 1