| Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. C Cadar, D Dunbar, DR Engler OSDI 8, 209-224, 2008 | 4296 | 2008 |
| 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 | 1907 | 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), 1-38, 2008 | 1624 | 2008 |
| 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 | 1125 | 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 | 1118 | 2001 |
| RacerX: Effective, static detection of race conditions and deadlocks D Engler, K Ashcraft ACM SIGOPS operating systems review 37 (5), 237-252, 2003 | 1092 | 2003 |
| 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 | 868 | 2010 |
| Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. DR Engler, B Chelf, A Chou, S Hallem OSDI, 1-16, 2000 | 856 | 2000 |
| 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 | 569 | 2002 |
| 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 | 471 | 2002 |
| 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 | 470 | 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 | 433 | 2006 |
| 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 | 361 | 2005 |
| RWset: Attacking path explosion in constraint-based test generation P Boonstoppel, C Cadar, D Engler Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 358 | 2008 |
| Using programmer-written compiler extensions to catch security holes K Ashcraft, D Engler Proceedings 2002 IEEE Symposium on Security and Privacy, 143-159, 2002 | 350 | 2002 |
| 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 | 348 | 2003 |
| {Under-Constrained} symbolic execution: Correctness checking for real code DA Ramos, D Engler 24th USENIX Security Symposium (USENIX Security 15), 49-64, 2015 | 286 | 2015 |
| DPF: Fast, flexible message demultiplexing using dynamic code generation DR Engler, MF Kaashoek ACM SIGCOMM Computer Communication Review 26 (4), 53-59, 1996 | 285 | 1996 |
| Z-ranking: Using statistical analysis to counter the impact of static analysis approximations T Kremenek, D Engler Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003 | 257 | 2003 |
| VCODE: a retargetable, extensible, very fast dynamic code generation system DR Engler ACM SIGPLAN Notices 31 (5), 160-170, 1996 | 241 | 1996 |
| Model Checking Large Network Protocol Implementations. M Musuvathi, DR Engler NSDI 4, 12-12, 2004 | 231 | 2004 |
| Explode: a lightweight, general system for finding serious storage system errors J Yang, C Sar, D Engler Proceedings of the 7th symposium on Operating systems design and …, 2006 | 224 | 2006 |
| Exterminate all operating system abstractions DR Engler, MF Kaashoek Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 78-83, 1995 | 201 | 1995 |
| From uncertainty to belief: Inferring the specification within T Kremenek, P Twohey, G Back, A Ng, D Engler Proceedings of the 7th symposium on Operating systems design and …, 2006 | 200 | 2006 |
| Static analysis versus software model checking for bug finding D Engler, M Musuvathi International Workshop on Verification, Model Checking, and Abstract …, 2004 | 197 | 2004 |
| C: A language for high-level, efficient, and machine-independent dynamic code generation DR Engler, WC Hsieh, MF Kaashoek Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 187 | 1996 |
| Correlation exploitation in error ranking T Kremenek, K Ashcraft, J Yang, D Engler ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004 | 184 | 2004 |
| Practical, low-effort equivalence verification of real code DA Ramos, DR Engler Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 175 | 2011 |
| C and tcc: a language and compiler for dynamic code generation M Poletto, WC Hsieh, DR Engler, MF Kaashoek ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (2), 324-369, 1999 | 170 | 1999 |
| Automatically generating malicious disks using symbolic execution J Yang, C Sar, P Twohey, C Cadar, D Engler 2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006 | 150 | 2006 |
| DCG: An efficient, retargetable dynamic code generation system DR Engler, TA Proebsting ACM SIGPLAN Notices 29 (11), 263-272, 1994 | 128 | 1994 |
| The operating system kernel as a secure programmable machine DR Engler, MF Kaashoek, JW O'Toole Jr ACM SIGOPS Operating Systems Review 29 (1), 78-82, 1995 | 125 | 1995 |
| The Exokernel operating system architecture DR Engler Massachusetts Institute of Technology, 1998 | 118 | 1998 |
| tcc: A system for fast, flexible, and high-level dynamic code generation M Poletto, DR Engler, MF Kaashoek ACM SIGPLAN Notices 32 (5), 109-121, 1997 | 114 | 1997 |
| {CDE}: Using System Call Interposition to Automatically Create Portable Software Packages PJ Guo, D Engler 2011 USENIX Annual Technical Conference (USENIX ATC 11), 2011 | 108 | 2011 |
| Server operating systems MF Kaashoek, DR Engler, GR Ganger, DA Wallach Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems …, 1996 | 100 | 1996 |
| ASHs: Application-specific handlers for high-performance messaging DA Wallach, DR Engler, MF Kaashoek Conference proceedings on Applications, technologies, architectures, and …, 1996 | 99 | 1996 |
| Fast and flexible application-level networking on exokernel systems GR Ganger, DR Engler, MF Kaashoek, HM Briceno, R Hunt, T Pinckney ACM Transactions on Computer Systems (TOCS) 20 (1), 49-83, 2002 | 93 | 2002 |
| Under-constrained execution: making automatic code destruction easy and scalable D Engler, D Dunbar Proceedings of the 2007 international symposium on Software testing and …, 2007 | 87 | 2007 |
| AVM: Application-level virtual memory DR Engler, SK Gupta, MF Kaashoek Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 72-77, 1995 | 86 | 1995 |
