Dawson R. Engler

Software · 2000–2010

A researcher in the Science corpus: 11 papers; trusts 25 researchers and is trusted by 60 researchers here, as inferred from the citation graph.

Subfields

• Software — 38 citations into it; #76 of 1,227 by trust here, #48 by citations
• Artificial Intelligence — 33 citations into it; #7,797 of 35,345 by trust here, #9,870 by citations
• Computational Theory and Mathematics — 32 citations into it; #2,439 of 12,182 by trust here, #1,184 by citations
• Hardware and Architecture — 15 citations into it; #94 of 1,551 by trust here, #174 by citations
• Information Systems — 14 citations into it; #897 of 8,771 by trust here, #895 by citations
• Signal Processing — 10 citations into it
• Computer Networks and Communications — 8 citations into it; #1,677 of 9,886 by trust here, #1,912 by citations

Whom Dawson R. Engler trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Cormac Flanagan
2. Manuvir Das
3. Willem Visser
4. Seth Hallem
5. B. Chelf
6. Thomas Ball
7. Stephen N. Freund
8. Sorin Lerner
9. Jong-Deok Choi
10. Andy Chou

Who trusts Dawson R. Engler overall

1. Shaz Qadeer
2. Zhenmin Li
3. Manuvir Das
4. Koushik Sen
5. David Hovemeyer
6. Greg Nelson
7. Benjamin Livshits
8. Michael Pradel
9. Shan Lu
10. Thomas Ball

Papers from Dawson R. Engler's perspective

Ordered by how strongly the researchers Dawson R. Engler trusts endorse each paper. Same corpus, a different order for every researcher.

1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
6. Bugs as deviant behavior: a general approach to inferring errors in systems code
7. Houdini, an Annotation Assistant for ESC/Java (FME)
8. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers

• Checking system rules using system-specific, programmer-written compiler extensions (2000) — 613 citations
• EXE: automatically generating inputs of death (2006) — 1,258 citations
• A few billion lines of code later (2010) — 698 citations
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (2008) — 3,736 citations
• A Factor Graph Model for Software Bug Finding (2007) — 27 citations
• Using model checking to find serious file system errors (2004) — 379 citations
• RacerX: effective, static detection of race conditions and deadlocks (2003) — 854 citations
• A system and language for building system-specific, static analyses (2002) — 360 citations
• Bugs as deviant behavior (2001) — 58 citations
• An empirical study of operating systems errors (2001) — 860 citations
• Bugs as deviant behavior: a general approach to inferring errors in systems code (2001) — 839 citations