Travelled to:1 × France
1 × Germany
1 × Hungary
1 × Sweden
1 × United Kingdom
17 × USA
2 × Canada
2 × Finland
Collaborated with:A.Chou B.Chelf M.F.Kaashoek Y.Xie J.Yang S.Hallem ∅ T.Kremenek M.Musuvathi D.Dunbar K.Ashcraft C.Cadar A.Romano D.A.Ramos P.J.Guo T.A.Proebsting P.Twohey P.Boonstoppel C.Sar D.Y.Chen M.Poletto W.C.Hsieh J.O'Toole Fraser Brown A.Nötzli M.Heinrich G.Back A.Y.Ng D.Y.W.Park D.L.Dill G.R.Ganger H.M.Briceño R.Hunt D.Mazières T.Pinckney R.Grimm J.Jannotti K.Mackenzie
Talks about:system (18) code (10) use (8) error (7) check (7) generat (6) static (6) analysi (5) specif (4) level (4)
Person: Dawson R. Engler
DBLP: Engler:Dawson_R=
Contributed to:
2014
2011
2011
2008
2008
200820072006
20042004
2004
2003
2003
200320022002
2002
20022001
20002000199719971996
1996199519942016Wrote 30 papers:
- ASE-2014-RomanoE #library #memory management #named #runtime
- symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
- CAV-2011-RamosE #equivalence #verification
- Practical, Low-Effort Equivalence Verification of Real Code (DAR, DRE), pp. 669–685.
- ISSTA-2011-GuoE #automation #data analysis #persistent #using
- Using automatic persistent memoization to facilitate data analysis scripting (PJG, DRE), pp. 287–297.
- FM-2008-Engler #case study #experience #lessons learnt #scalability
- Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems (DRE), p. 33.
- OSDI-2008-CadarDE #automation #generative #named #source code #testing
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.
- TACAS-2008-BoonstoppelCE #constraints #explosion #generative #named #testing
- RWset: Attacking Path Explosion in Constraint-Based Test Generation (PB, CC, DRE), pp. 351–366.
- ISSTA-2007-EnglerD #automation #execution #scalability
- Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.
- OSDI-2006-KremenekTBNE #nondeterminism #specification
- From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
- OSDI-2006-YangSE #fault #lightweight #named
- EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
- FSE-2004-KremenekAYE #correlation #fault #ranking
- Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
- OSDI-2004-YangTEM #fault #file system #model checking #using
- Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.
- VMCAI-2004-EnglerM #debugging #model checking #static analysis
- Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.
- ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using
- ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
- SAS-2003-KremenekE #approximate #named #static analysis #statistics #using
- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.
- SOSP-2003-EnglerA #detection #effectiveness #named #static analysis
- RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
- FSE-2002-XieE #fault #using
- Using redundancies to find errors (YX, DRE), pp. 51–60.
- OSDI-2002-MusuvathiPCED #approach #model checking #named
- CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.
- PASTE-2002-ChelfEH #how #static analysis
- How to write system-specific, static checkers in metal (BC, DRE, SH), pp. 51–60.
- PLDI-2002-HallemCXE #analysis
- A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.
- SOSP-2001-ChouYCHE #empirical #fault #operating system
- An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
- SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault
- Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
- ASPLOS-2000-ChouCEH #compilation #protocol #using
- Using Meta-level Compilation to Check FLASH Protocol Code (AC, BC, DRE, MH), pp. 59–70.
- OSDI-2000-EnglerCCH #compilation #using
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
- PLDI-1997-PolettoEK #code generation #flexibility #named #performance
- tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation (MP, DRE, MFK), pp. 109–121.
- SOSP-1997-KaashoekEGBHMPGM #flexibility #kernel #performance
- Application Performance and Flexibility on Exokernel Systems (MFK, DRE, GRG, HMB, RH, DM, TP, RG, JJ, KM), pp. 52–65.
- PLDI-1996-Engler #code generation #named #performance
- VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System (DRE), pp. 160–170.
- POPL-1996-EnglerHK #code generation #independence #performance
- ‘C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation (DRE, WCH, MFK), pp. 131–144.
- SOSP-1995-EnglerKO #architecture #kernel #named #operating system #resource management
- Exokernel: An Operating System Architecture for Application-Level Resource Management (DRE, MFK, JO), pp. 251–266.
- ASPLOS-1994-EnglerP #code generation #definite clause grammar #named #performance
- DCG: An Efficient, Retargetable Dynamic Code Generation System (DRE, TAP), pp. 263–272.
- ASPLOS-2016-BrownNE #how #order #static analysis #using
- How to Build Static Checking Systems Using Orders of Magnitude Less Code (FB, AN, DRE), pp. 143–157.