| 2002 |
|---|
| 5 | EE | Benjamin Chelf,
Dawson R. Engler,
Seth Hallem:
How to write system-specific, static checkers in metal.
PASTE 2002: 51-60 |
| 4 | 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 |
|---|
| 3 | EE | Andy Chou,
Junfeng Yang,
Benjamin Chelf,
Seth Hallem,
Dawson R. Engler:
An Empirical Study of Operating System Errors.
SOSP 2001: 73-88 |
| 2000 |
|---|
| 2 | EE | Andy Chou,
Benjamin Chelf,
Dawson R. Engler,
Mark Heinrich:
Using Meta-level Compilation to Check FLASH Protocol Code.
ASPLOS 2000: 59-70 |
| 1 | | Dawson R. Engler,
Benjamin Chelf,
Andy Chou,
Seth Hallem:
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.
OSDI 2000: 1-16 |
