@inproceedings {260668,
	author = {George C. Necula and Peter Lee},
	title = {Safe Kernel Extensions Without {Run-Time} Checking},
	booktitle = {USENIX 2nd Symposium on OS Design and Implementation (OSDI 96)},
	year = {1996},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-96/safe-kernel-extensions-without-run-time-checking},
	publisher = {USENIX Association},
	month = oct
}
