Dawson Engler
Dawson Engler
Associate Professor of Computer Science, Stanford University
Verified email at stanford.edu - Homepage
TitleCited byYear
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
C Cadar, D Dunbar, DR Engler
OSDI 8, 209-224, 2008
Exokernel: An operating system architecture for application-level resource management
DR Engler, MF Kaashoek
ACM SIGOPS Operating Systems Review 29 (5), 251-266, 1995
EXE: automatically generating inputs of death
C Cadar, V Ganesh, PM Pawlowski, DL Dill, DR Engler
ACM Transactions on Information and System Security (TISSEC) 12 (2), 10, 2008
An empirical study of operating systems errors
A Chou, J Yang, B Chelf, S Hallem, D Engler
ACM SIGOPS Operating Systems Review 35 (5), 73-88, 2001
Bugs as deviant behavior: A general approach to inferring errors in systems code
D Engler, DY Chen, S Hallem, A Chou, B Chelf
ACM SIGOPS Operating Systems Review 35 (5), 57-72, 2001
RacerX: effective, static detection of race conditions and deadlocks
D Engler, K Ashcraft
ACM SIGOPS Operating Systems Review 37 (5), 237-252, 2003
Checking system rules using system-specific, programmer-written compiler extensions
D Engler, B Chelf, A Chou, S Hallem
Proceedings of the 4th conference on Symposium on Operating System Design …, 2000
A few billion lines of code later: using static analysis to find bugs in the real world
A Bessey, K Block, B Chelf, A Chou, B Fulton, S Hallem, C Henri-Gros, ...
Communications of the ACM 53 (2), 66-75, 2010
CMC: A pragmatic approach to model checking real code
M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill
ACM SIGOPS Operating Systems Review 36 (SI), 75-88, 2002
A system and language for building system-specific, static analyses
S Hallem, B Chelf, Y Xie, D Engler
ACM SIGPLAN Notices 37 (5), 69-82, 2002
Application performance and flexibility on exokernel systems
MF Kaashoek, DR Engler, GR Ganger, HM Briceno, R Hunt, D Mazieres, ...
ACM SIGOPS Operating Systems Review 31 (5), 52-65, 1997
Using model checking to find serious file system errors
J Yang, P Twohey, D Engler, M Musuvathi
ACM Transactions on Computer Systems (TOCS) 24 (4), 393-423, 2006
Using programmer-written compiler extensions to catch security holes
K Ashcraft, D Engler
Proceedings 2002 IEEE Symposium on Security and Privacy, 143-159, 2002
Archer: using symbolic, path-sensitive analysis to detect memory access errors
Y Xie, A Chou, D Engler
ACM SIGSOFT Software Engineering Notes 28 (5), 327-336, 2003
Execution generated test cases: How to make systems code crash itself
C Cadar, D Engler
International SPIN Workshop on Model Checking of Software, 2-23, 2005
DPF: Fast, flexible message demultiplexing using dynamic code generation
DR Engler, MF Kaashoek
ACM SIGCOMM Computer Communication Review 26 (4), 53-59, 1996
RWset: Attacking path explosion in constraint-based test generation
P Boonstoppel, C Cadar, D Engler
International Conference on Tools and Algorithms for the Construction and …, 2008
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
ME Thatcher, DE Pingry
Communications of the ACM 50 (8), 41-45, 2007
VCODE: a retargetable, extensible, very fast dynamic code generation system
DR Engler
ACM SIGPLAN Notices 31 (5), 160-170, 1996
Z-ranking: Using statistical analysis to counter the impact of static analysis approximations
T Kremenek, D Engler
International Static Analysis Symposium, 295-315, 2003
The system can't perform the operation now. Try again later.
Articles 1–20