Dawson Engler

Dawson Engler

Stanford University - Stanford / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1650103
person_outline Dawson Engler's MOST POPULAR ARTICLES
1-) Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.C Cadar, D Dunbar, DR EnglerOSDI 8, 209-224, 200842612008
2-) Exokernel: An operating system architecture for application-level resource managementDR Engler, MF Kaashoek, J O\\\\\\\'Toole JrACM SIGOPS Operating Systems Review 29 (5), 251-266, 199518391995
3-) EXE: Automatically generating inputs of deathC Cadar, V Ganesh, PM Pawlowski, DL Dill, DR EnglerACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 200815212008
4-) An empirical study of operating systems errorsA Chou, J Yang, B Chelf, S Hallem, D EnglerProceedings of the eighteenth ACM symposium on Operating systems principles …, 200111432001
5-) Bugs as deviant behavior: A general approach to inferring errors in systems codeD Engler, DY Chen, S Hallem, A Chou, B ChelfACM SIGOPS Operating Systems Review 35 (5), 57-72, 200111392001