Z-ranking: Using statistical analysis to counter the impact of static analysis approximationsKREMENEK, Ted; ENGLER, Dawson.Lecture notes in computer science. 2003, pp 296-315, issn 0302-9743, isbn 3-540-40325-6, 20 p.Conference Paper

Using model checking to find serious file system errorsJUNFENG YANG; TWOHEY, Paul; ENGLER, Dawson et al.ACM transactions on computer systems. 2006, Vol 24, Num 4, pp 393-423, issn 0734-2071, 31 p.Article

Using programmer-written compiler extensions to catch security holesASHCRAFT, Ken; ENGLER, Dawson.Proceedings - IEEE Symposium on Security and Privacy. 2002, pp 143-159, issn 1081-6011, isbn 0-7695-1543-6, 17 p.Conference Paper

Execution generated test cases : How to make systems code crash itselfCADAR, Cristian; ENGLER, Dawson.Lecture notes in computer science. 2005, pp 2-23, issn 0302-9743, isbn 3-540-28195-9, 22 p.Conference Paper

Static analysis versus software model checking for bug findingENGLER, Dawson; MUSUVATHI, Madanlal.Lecture notes in computer science. 2004, pp 191-210, issn 0302-9743, isbn 3-540-20803-8, 20 p.Conference Paper

Using meta-level compilation to check FLASH protocol codeCHOU, Andy; CHELF, Benjamin; ENGLER, Dawson et al.Operating systems review. 2000, Vol 34, Num 5, pp 59-70, issn 0163-5980Conference Paper

RacerX: Effective, static detection of race conditions and deadlocksENGLER, Dawson; ASHCRAFT, Ken.Operating systems review. 2003, Vol 37, Num 5, pp 237-252, issn 0163-5980, 16 p.Conference Paper

DERIVE : A tool that automatically reverse-engineers instruction encodingsENGLER, Dawson R; HSIEH, Wilson C.ACM SIGPLAN notices. 2000, Vol 35, Num 7, pp 12-22, issn 1523-2867Conference Paper

A system and language for building system-specific, static analysesHALLEM, Seth; CHELF, Beniamin; YICHEN XIE et al.ACM SIGPLAN notices. 2002, Vol 37, Num 5, pp 69-82, issn 1523-2867Conference Paper

An empirical study of operating systems errorsCHOU, Andy; JUNFENG YANG; CHELF, Benjamin et al.Operating systems review. 2001, Vol 35, Num 5, pp 73-88, issn 0163-5980Conference Paper

Bugs as deviant behavior : A general approach to inferring errors in systems codeENGLER, Dawson; YU CHEN, David; HALLEM, Seth et al.Operating systems review. 2001, Vol 35, Num 5, pp 57-72, issn 0163-5980Conference Paper

A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real WorldBESSEY, A. L; BLOCK, Ken; CHELF, Ben et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 66-75, issn 0001-0782, 10 p.Article

Fast and flexible application-level networking on exokernel systemsGANGER, Gregory R; ENGLER, Dawson R; KAASHOEK, M. Frans et al.ACM transactions on computer systems. 2002, Vol 20, Num 1, pp 49-83, issn 0734-2071Article