Safe Kernel Extensions Without Run-Time Checking.

George C. Necula, Peter Lee

Browse the full OSDI paper archive.