@inproceedings {268632,
	author = {Zachary Anderson and Eric Brewer},
	title = {Beyond {Bug-Finding}: Sound Program Analysis for Linux},
	booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
	year = {2007},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotos-xi/beyond-bug-finding-sound-program-analysis-linux},
	publisher = {USENIX Association},
	month = may
}
