Benjamin Chelf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2000–2002
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | PLDI | A System and Language for Building System-Specific, Static Analyses. | Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler |
| 2001 | SOSP | An Empirical Study of Operating System Errors. | Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler |
| 2000 | ASPLOS | Using Meta-level Compilation to Check FLASH Protocol Code. | Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich |
| 2000 | OSDI | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. | Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem |