Benjamin Chelf (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Benjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60

4 Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82

3 Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88

2 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

Selection of 5 from 5 records - Benjamin Chelf has 6 coauthors

5		Benjamin Chelf, Dawson R. Engler, Seth Hallem: How to write system-specific, static checkers in metal. PASTE 2002: 51-60
4		Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler: A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82
3		Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
2		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