Using Meta-level Compilation to Check FLASH Protocol Code. - Andy Chou; Benjamin Chelf; Dawson R. Engler; Mark A. Heinrich (ASPLOS, 2000)

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. - Dawson R. Engler; Benjamin Chelf; Andy Chou; Seth Hallem (OSDI, 2000)

An Empirical Study of Operating System Errors. - Andy Chou; Junfeng Yang; Benjamin Chelf; Seth Hallem; Dawson R. Engler (SOSP, 2001)

How to write system-specific, static checkers in metal. - Benjamin Chelf; Dawson R. Engler; Seth Hallem (PASTE, 2002)

A System and Language for Building System-Specific, Static Analyses. - Seth Hallem; Benjamin Chelf; Yichen Xie 001; Dawson R. Engler (PLDI, 2002)

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)