Benjamin Chelf

	2010
6		Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): 66-75 (2010)
	2002
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
	2001
3		Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88
	2000
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

Coauthor Index

1	Al Bessey	[6]
2	Ken Block	[6]
3	Andy Chou	[1] [2] [3] [6]
4	Dawson R. Engler	[1] [2] [3] [4] [5] [6]
5	Bryan Fulton	[6]
6	Seth Hallem	[1] [3] [4] [5] [6]
7	Mark Heinrich	[2]
8	Charles Henri-Gros	[6]
9	Asya Kamsky	[6]
10	Scott McPeak	[6]
11	Yichen Xie	[4]
12	Junfeng Yang	[3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page