| 2003 |
|---|
| 5 | EE | Seth Hallem,
David Y. W. Park,
Dawson R. Engler:
Uprooting Software Defects at the Source.
ACM Queue 1(8): 64-71 (2003) |
| 2002 |
|---|
| 4 | EE | Benjamin Chelf,
Dawson R. Engler,
Seth Hallem:
How to write system-specific, static checkers in metal.
PASTE 2002: 51-60 |
| 3 | EE | Seth Hallem,
Benjamin Chelf,
Yichen Xie,
Dawson R. Engler:
A System and Language for Building System-Specific, Static Analyses.
PLDI 2002: 69-82 |
| 2001 |
|---|
| 2 | EE | Andy Chou,
Junfeng Yang,
Benjamin Chelf,
Seth Hallem,
Dawson R. Engler:
An Empirical Study of Operating System Errors.
SOSP 2001: 73-88 |
| 2000 |
|---|
| 1 | | Dawson R. Engler,
Benjamin Chelf,
Andy Chou,
Seth Hallem:
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
OSDI 2000: 1-16 |
