Folgen
Dawson Engler
Dawson Engler
Associate Professor of Computer Science, Stanford University
Bestätigte E-Mail-Adresse bei stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.
C Cadar, D Dunbar, DR Engler
OSDI 8, 209-224, 2008
35962008
Exokernel: An operating system architecture for application-level resource management
DR Engler, MF Kaashoek, J O'Toole Jr
ACM SIGOPS Operating Systems Review 29 (5), 251-266, 1995
18131995
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), 1-38, 2008
14842008
An empirical study of operating systems errors
A Chou, J Yang, B Chelf, S Hallem, D Engler
Proceedings of the eighteenth ACM symposium on Operating systems principles …, 2001
10732001
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
10282001
RacerX: Effective, static detection of race conditions and deadlocks
D Engler, K Ashcraft
ACM SIGOPS operating systems review 37 (5), 237-252, 2003
10072003
Checking system rules using system-specific, programmer-written compiler extensions
D Engler, B Chelf, A Chou, S Hallem
STANFORD UNIV CA COMPUTER SYSTEMS LAB, 2000
7952000
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
7482010
{CMC}: A Pragmatic Approach to Model Checking Real Code
M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill
5th Symposium on Operating Systems Design and Implementation (OSDI 02), 2002
5352002
A system and language for building system-specific, static analyses
S Hallem, B Chelf, Y Xie, D Engler
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
4612002
Application performance and flexibility on exokernel systems
MF Kaashoek, DR Engler, GR Ganger, HM Briceno, R Hunt, D Mazieres, ...
Proceedings of the sixteenth ACM symposium on Operating systems principles …, 1997
4441997
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
4112006
Using programmer-written compiler extensions to catch security holes
K Ashcraft, D Engler
Proceedings 2002 IEEE Symposium on Security and Privacy, 143-159, 2002
3402002
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
3302005
Archer: using symbolic, path-sensitive analysis to detect memory access errors
Y Xie, A Chou, D Engler
Proceedings of the 9th European software engineering conference held jointly …, 2003
3302003
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
3222008
DPF: Fast, flexible message demultiplexing using dynamic code generation
DR Engler, MF Kaashoek
ACM SIGCOMM Computer Communication Review 26 (4), 53-59, 1996
2801996
Z-ranking: Using statistical analysis to counter the impact of static analysis approximations
T Kremenek, D Engler
International Static Analysis Symposium, 295-315, 2003
2422003
VCODE: a retargetable, extensible, very fast dynamic code generation system
DR Engler
ACM SIGPLAN Notices 31 (5), 160-170, 1996
2351996
{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code
DA Ramos, D Engler
24th USENIX Security Symposium (USENIX Security 15), 49-64, 2015
2142015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20