The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dawson R. Engler" ( http://dblp.L3S.de/Authors/Dawson_R._Engler )

URL (Homepage):  http://www.stanford.edu/~engler/  Author page on DBLP  Author page in RDF  Community of Dawson R. Engler in ASPL-2

Publication years (Num. hits)
1994-1997 (16) 1998-2002 (18) 2003-2006 (18) 2007-2013 (16) 2014-2017 (5)
Publication types (Num. hits)
article(11) inproceedings(61) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 53 occurrences of 36 keywords

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan Finding and Preventing Bugs in JavaScript Bindings. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David A. Ramos, Dawson R. Engler Under-Constrained Symbolic Execution: Correctness Checking for Real Code. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2016 DBLP  BibTeX  RDF
1Fraser Brown, Andres Nötzli, Dawson R. Engler How to Build Static Checking Systems Using Orders of Magnitude Less Code. Search on Bibsonomy ASPLOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David A. Ramos, Dawson R. Engler Under-Constrained Symbolic Execution: Correctness Checking for Real Code. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2015 DBLP  BibTeX  RDF
1Anthony Romano, Dawson R. Engler symMMU: symbolically executed runtime libraries for symbolic memory access. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anthony Romano, Dawson R. Engler Expression Reduction from Programs in a Symbolic Binary Executor. Search on Bibsonomy SPIN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Suhabe Bugrara, Dawson R. Engler Redundant State Detection for Dynamic Symbolic Execution. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2013 DBLP  BibTeX  RDF
1Philip J. Guo, Dawson R. Engler CDE: Using System Call Interposition to Automatically Create Portable Software Packages. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2011 DBLP  BibTeX  RDF
1David A. Ramos, Dawson R. Engler Practical, Low-Effort Equivalence Verification of Real Code. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philip J. Guo, Dawson R. Engler Using automatic persistent memoization to facilitate data analysis scripting. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Angelos D. Keromytis, Salvatore J. Stolfo, Junfeng Yang, Angelos Stavrou, Anup K. Ghosh, Dawson R. Engler, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. Search on Bibsonomy SysSec@DIMVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler A few billion lines of code later: using static analysis to find bugs in the real world. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philip J. Guo, Dawson R. Engler Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language. Search on Bibsonomy TaPP The full citation details ... 2010 DBLP  BibTeX  RDF
1Philip J. Guo, Dawson R. Engler Linux Kernel Developer Responses to Static Analysis Bug Reports. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2009 DBLP  BibTeX  RDF
1Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler EXE: Automatically Generating Inputs of Death. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
1Cristian Cadar, Daniel Dunbar, Dawson R. Engler KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Search on Bibsonomy OSDI The full citation details ... 2008 DBLP  BibTeX  RDF
1Peter Boonstoppel, Cristian Cadar, Dawson R. Engler RWset: Attacking Path Explosion in Constraint-Based Test Generation. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code. Search on Bibsonomy FAST The full citation details ... 2007 DBLP  BibTeX  RDF
1Dawson R. Engler, Daniel Dunbar Under-constrained execution: making automatic code destruction easy and scalable. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic analysis, symbolic execution, bug finding
1Ted Kremenek, Andrew Y. Ng, Dawson R. Engler A Factor Graph Model for Software Bug Finding. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi Using model checking to find serious file system errors. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model checking, file system, recovery, journaling, crash
1Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler EXE: automatically generating inputs of death. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
1Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler From Uncertainty to Belief: Inferring the Specification Within. Search on Bibsonomy OSDI The full citation details ... 2006 DBLP  BibTeX  RDF
1Junfeng Yang, Can Sar, Dawson R. Engler EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. Search on Bibsonomy OSDI The full citation details ... 2006 DBLP  BibTeX  RDF
1Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler Automatically Generating Malicious Disks using Symbolic Execution. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cristian Cadar, Dawson R. Engler Execution Generated Test Cases: How to Make Systems Code Crash Itself. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler Static Analysis Versus Model Checking for Bug Finding. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Madanlal Musuvathi, Dawson R. Engler Model Checking Large Network Protocol Implementations. Search on Bibsonomy NSDI The full citation details ... 2004 DBLP  BibTeX  RDF
1Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). Search on Bibsonomy OSDI The full citation details ... 2004 DBLP  BibTeX  RDF
1Dawson R. Engler, Madanlal Musuvathi Static Analysis versus Software Model Checking for Bug Finding. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler Correlation exploitation in error ranking. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF error ranking, static analysis, program checking
1Seth Hallem, David Y. W. Park, Dawson R. Engler Uprooting Software Defects at the Source. Search on Bibsonomy ACM Queue The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Madanlal Musuvathi, Dawson R. Engler Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yichen Xie, Dawson R. Engler Using Redundancies to Find Errors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program redundancy, software quality, error detection, Extensible compilation
1Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler MECA: an extensible, expressive system and language for statically checking security properties. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2003 DBLP  DOI  BibTeX  RDF annotation language, static analysis
1Ted Kremenek, Dawson R. Engler Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, Ken Ashcraft RacerX: effective, static detection of race conditions and deadlocks. Search on Bibsonomy SOSP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF deadlock detection, race detection, program checking
1Yichen Xie, Andy Chou, Dawson R. Engler ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
1Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney Fast and flexible application-level networking on exokernel systems. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF OS structure, fast servers, network services, Extensible systems
1Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill CMC: A Pragmatic Approach to Model Checking Real Code. Search on Bibsonomy OSDI The full citation details ... 2002 DBLP  BibTeX  RDF
1Benjamin Chelf, Dawson R. Engler, Seth Hallem How to write system-specific, static checkers in metal. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ken Ashcraft, Dawson R. Engler Using Programmer-Written Compiler Extensions to Catch Security Holes. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2002 DBLP  DOI  BibTeX  RDF metacompilation, system-specific static analysis, security holes, tools
1Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner 0001 Cool security trends. Search on Bibsonomy SACMAT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler A System and Language for Building System-Specific, Static Analyses. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF error detection, extensible compilation
1Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler Model checking system software with CMC. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yichen Xie, Dawson R. Engler Using redundancies to find errors. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF error detection, extensible compilation
1Wilson C. Hsieh, Dawson R. Engler, Godmar Back Reverse-Engineering Instruction Encodings. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2001 DBLP  BibTeX  RDF
1David Lie, Andy Chou, Dawson R. Engler, David L. Dill A simple method for extracting models for protocol code. Search on Bibsonomy ISCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, David Yu Chen, Andy Chou Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler An Empirical Study of Operating System Errors. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Linux
1Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. Search on Bibsonomy OSDI The full citation details ... 2000 DBLP  BibTeX  RDF
1Dawson R. Engler, Wilson C. Hsieh Derive: a tool that automatically reverse-engineers instruction encodings. Search on Bibsonomy Dynamo The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich Using Meta-level Compilation to Check FLASH Protocol Code. Search on Bibsonomy ASPLOS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler Interface Compilation: Steps Toward Compiling Program Interfaces as Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Interface compilation, interface checking, interface optimization, compiler optimization, high-level languages, programming methodology
1Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek 'C and tcc: A Language and Compiler for Dynamic Code Generation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ANSI C, dynamic code optimization, compilers, dynamic code generation
1Dawson R. Engler The exokernel operating system architecture. Search on Bibsonomy 1998   RDF
1Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek ASHs application-specific handlers for high-performance messaging. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF user-level networking, protocols, operating systems, computer networks, software protection, dynamic code generation, modular computer systems
1Dawson R. Engler Incorporating Application Semantics and Control into Compilation. Search on Bibsonomy DSL The full citation details ... 1997 DBLP  BibTeX  RDF
1M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm 0001, John Jannotti, Kenneth Mackenzie Application Performance and Flexibility on Exokernel Systems. Search on Bibsonomy SOSP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF UNIX
1Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF C
1Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. Search on Bibsonomy POPL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. Search on Bibsonomy SIGCOMM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek ASHs: Application-Specific Handlers for High-Performance Messaging. Search on Bibsonomy SIGCOMM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach Server operating systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek, James O'Toole The Operating System Kernel as a Secure Programmable Machine. Search on Bibsonomy Operating Systems Review The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek AVM: application-level virtual memory. Search on Bibsonomy HotOS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek Exterminate all operating system abstractions. Search on Bibsonomy HotOS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek, James O'Toole Exokernel: An Operating System Architecture for Application-Level Resource Management. Search on Bibsonomy SOSP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek, James O'Toole The Exokernel Approach to Operating System Extensibility (Panel Statement). Search on Bibsonomy OSDI The full citation details ... 1994 DBLP  BibTeX  RDF
1Dawson R. Engler, M. Frans Kaashoek, James O'Toole The Operating System Kernel as a Secure Programmable Machine. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Dawson R. Engler, Todd A. Proebsting DCG: An Efficient, Retargetable Dynamic Code Generation System. Search on Bibsonomy ASPLOS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license