Benjamin Chelf

According to our database, Benjamin Chelf authored at least 6 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A few billion lines of code later: using static analysis to find bugs in the real world.

Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler

Commun. ACM, 2010

2002

A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

How to write system-specific, static checkers in metal.

Benjamin Chelf, Dawson R. Engler, Seth Hallem

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

2001

An Empirical Study of Operating System Errors.

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

2000

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Using Meta-level Compilation to Check FLASH Protocol Code.

Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000