Checking system rules using system-specific, programmer-written compiler extensions (2000)

by Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Venue:In Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation