Dawson R. Engler

74 papers A* 30A 6B 4C 1Misc 1Journal 10Unranked 21

Year	Rank	Type	Title / Venue / Authors
2020	A*	`conf`	Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. USENIX Security Symposium Fraser Brown, Deian Stefan, Dawson R. Engler
2017	A*	`conf`	Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
2016	A*	`conf`	How to Build Static Checking Systems Using Orders of Magnitude Less Code. ASPLOS Fraser Brown, Andres Nötzli, Dawson R. Engler
2016	—	`conf`	Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX ATC David A. Ramos, Dawson R. Engler
2015	A*	`conf`	Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX Security Symposium David A. Ramos, Dawson R. Engler
2014	A*	`conf`	symMMU: symbolically executed runtime libraries for symbolic memory access. ASE Anthony Romano, Dawson R. Engler
2013	—	`conf`	Expression Reduction from Programs in a Symbolic Binary Executor. SPIN Anthony Romano, Dawson R. Engler
2013	—	`conf`	Redundant State Detection for Dynamic Symbolic Execution. USENIX ATC Suhabe Bugrara, Dawson R. Engler
2011	—	`conf`	CDE: Using System Call Interposition to Automatically Create Portable Software Packages. USENIX ATC Philip J. Guo, Dawson R. Engler
2011	A*	`conf`	Practical, Low-Effort Equivalence Verification of Real Code. CAV David A. Ramos, Dawson R. Engler
2011	—	`conf`	The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. SysSec@DIMVA Angelos D. Keromytis, Salvatore J. Stolfo, Junfeng Yang, Angelos Stavrou, Anup K. Ghosh, Dawson R. Engler, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle
2011	A	`conf`	Using automatic persistent memoization to facilitate data analysis scripting. ISSTA Philip J. Guo, Dawson R. Engler
2010	J	`jnl`	A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler
2010	—	`conf`	Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. TaPP Philip J. Guo, Dawson R. Engler
2009	—	`conf`	Linux Kernel Developer Responses to Static Analysis Bug Reports. USENIX ATC Philip J. Guo, Dawson R. Engler
2008	J	`jnl`	EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2008	A*	`conf`	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI Cristian Cadar, Daniel Dunbar, Dawson R. Engler
2008	B	`conf`	Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. FM Dawson R. Engler
2008	A	`conf`	RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
2007	A*	`conf`	A Factor Graph Model for Software Bug Finding. IJCAI Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
2007	A	`conf`	A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code. FAST Dawson R. Engler
2007	A	`conf`	Under-constrained execution: making automatic code destruction easy and scalable. ISSTA Dawson R. Engler, Daniel Dunbar
2006	—	`conf`	Automatically Generating Malicious Disks using Symbolic Execution. S&P Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
2006	A*	`conf`	EXE: automatically generating inputs of death. CCS Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2006	A*	`conf`	EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI Junfeng Yang, Can Sar, Dawson R. Engler
2006	A*	`conf`	From Uncertainty to Belief: Inferring the Specification Within. OSDI Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
2006	J	`jnl`	Using model checking to find serious file system errors. ACM Trans. Comput. Syst. Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
2005	—	`conf`	Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN Cristian Cadar, Dawson R. Engler
2005	B	`conf`	Static Analysis Versus Model Checking for Bug Finding. CONCUR Dawson R. Engler
2004	—	`conf`	Correlation exploitation in error ranking. SIGSOFT FSE Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
2004	Misc	`conf`	Model Checking Large Network Protocol Implementations. NSDI Madanlal Musuvathi, Dawson R. Engler
2004	B	`conf`	Static Analysis versus Software Model Checking for Bug Finding. VMCAI Dawson R. Engler, Madanlal Musuvathi
2004	A*	`conf`	Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
2003	—	`conf`	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE Yichen Xie, Andy Chou, Dawson R. Engler
2003	A*	`conf`	MECA: an extensible, expressive system and language for statically checking security properties. CCS Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
2003	A*	`conf`	RacerX: effective, static detection of race conditions and deadlocks. SOSP Dawson R. Engler, Ken Ashcraft
2003	—	`conf`	Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. SoftMC@CAV Madanlal Musuvathi, Dawson R. Engler
2003	J	`jnl`	Uprooting Software Defects at the Source. ACM Queue Seth Hallem, David Y. W. Park, Dawson R. Engler
2003	J	`jnl`	Using Redundancies to Find Errors. IEEE Trans. Software Eng. Yichen Xie, Dawson R. Engler
2003	B	`conf`	Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. SAS Ted Kremenek, Dawson R. Engler
2002	A*	`conf`	A System and Language for Building System-Specific, Static Analyses. PLDI Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
2002	A*	`conf`	CMC: A Pragmatic Approach to Model Checking Real Code. OSDI Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
2002	C	`conf`	Cool security trends. SACMAT Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner
2002	J	`jnl`	Fast and flexible application-level networking on exokernel systems. ACM Trans. Comput. Syst. Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney
2002	—	`conf`	How to write system-specific, static checkers in metal. PASTE Benjamin Chelf, Dawson R. Engler, Seth Hallem
2002	—	`conf`	Model checking system software with CMC. ACM SIGOPS European Workshop Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler
2002	—	`conf`	Using Programmer-Written Compiler Extensions to Catch Security Holes. S&P Ken Ashcraft, Dawson R. Engler
2002	—	`conf`	Using redundancies to find errors. SIGSOFT FSE Yichen Xie, Dawson R. Engler
2001	A*	`conf`	A simple method for extracting models for protocol code. ISCA David Lie, Andy Chou, Dawson R. Engler, David L. Dill
2001	A*	`conf`	An Empirical Study of Operating System Errors. SOSP Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
2001	A*	`conf`	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. SOSP Dawson R. Engler, David Yu Chen, Andy Chou
2001	—	`conf`	Reverse-Engineering Instruction Encodings. USENIX ATC, General Track Wilson C. Hsieh, Dawson R. Engler, Godmar Back
2000	A*	`conf`	Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
2000	—	`conf`	Derive: a tool that automatically reverse-engineers instruction encodings. Dynamo Dawson R. Engler, Wilson C. Hsieh
2000	A*	`conf`	Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich
1999	J	`jnl`	'C and tcc: A Language and Compiler for Dynamic Code Generation. ACM Trans. Program. Lang. Syst. Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek
1999	J	`jnl`	Interface Compilation: Steps Toward Compiling Program Interfaces as Languages. IEEE Trans. Software Eng. Dawson R. Engler
1998	—	`—`	The exokernel operating system architecture. Dawson R. Engler
1997	J	`jnl`	ASHs application-specific handlers for high-performance messaging. IEEE/ACM Trans. Netw. Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
1997	A*	`conf`	Application Performance and Flexibility on Exokernel Systems. SOSP M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth MacKenzie
1997	—	`conf`	Incorporating Application Semantics and Control into Compilation. DSL Dawson R. Engler
1997	A*	`conf`	tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. PLDI Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek
1996	A*	`conf`	ASHs: Application-Specific Handlers for High-Performance Messaging. SIGCOMM Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
1996	A*	`conf`	C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. POPL Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
1996	A*	`conf`	DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. SIGCOMM Dawson R. Engler, M. Frans Kaashoek
1996	—	`conf`	Server operating systems. ACM SIGOPS European Workshop M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach
1996	A*	`conf`	VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. PLDI Dawson R. Engler
1995	A	`conf`	AVM: application-level virtual memory. HotOS Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek
1995	A*	`conf`	Exokernel: An Operating System Architecture for Application-Level Resource Management. SOSP Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1995	A	`conf`	Exterminate all operating system abstractions. HotOS Dawson R. Engler, M. Frans Kaashoek
1995	J	`jnl`	The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS Oper. Syst. Rev. Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1994	A*	`conf`	DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS Dawson R. Engler, Todd A. Proebsting
1994	A*	`conf`	The Exokernel Approach to Operating System Extensibility (Panel Statement). OSDI Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1994	—	`conf`	The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS European Workshop Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.