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

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

Browse the full OSDI paper archive.