Safe kernel extensions without run-time checking (1996)

by George Necula, Peter Lee
Venue:In Proceedings of Operating System Design and Implementation