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
26122008
Exokernel: An operating system architecture for application-level resource management
DR Engler, MF Kaashoek
ACM SIGOPS Operating Systems Review 29 (5), 251-266, 1995
16431995
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
12002008
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
9422001
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
8772001
RacerX: effective, static detection of race conditions and deadlocks
D Engler, K Ashcraft
ACM SIGOPS Operating Systems Review 37 (5), 237-252, 2003
8652003
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
7422000
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
5872010
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
4882002
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
4192002
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
4141997
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
3682006
Using programmer-written compiler extensions to catch security holes
K Ashcraft, D Engler
Proceedings 2002 IEEE Symposium on Security and Privacy, 143-159, 2002
3082002
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
2802003
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
2762005
DPF: Fast, flexible message demultiplexing using dynamic code generation
DR Engler, MF Kaashoek
ACM SIGCOMM Computer Communication Review 26 (4), 53-59, 1996
2681996
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
2622008
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
232*2007
VCODE: a retargetable, extensible, very fast dynamic code generation system
DR Engler
ACM SIGPLAN Notices 31 (5), 160-170, 1996
2311996
Z-ranking: Using statistical analysis to counter the impact of static analysis approximations
T Kremenek, D Engler
International Static Analysis Symposium, 295-315, 2003
1912003
The system can't perform the operation now. Try again later.
Articles 1–20