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

by D Engler, B Chelf, A Chou, S Hallem
Venue:In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation,