Benjamin Chelf

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

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) (2010)
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
A System and Language for Building System-Specific, Static Analyses. PLDI (2002)
Benjamin Chelf, Dawson R. Engler, Seth Hallem
How to write system-specific, static checkers in metal. PASTE (2002)
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
An Empirical Study of Operating System Errors. SOSP (2001)
Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich
Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS (2000)
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI (2000)