Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
OSDI, 2000.
@inproceedings{OSDI-2000-EnglerCCH,
acmid = "1251230",
author = "Dawson R. Engler and Benjamin Chelf and Andy Chou and Seth Hallem",
booktitle = "{Proceedings of the Fourth Symposium on Operating Systems Design and Implementation}",
isbn = "1-880446-16-2",
pages = "1--16",
publisher = "{USENIX Association}",
title = "{Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions}",
year = 2000,
}