Publications by Feng Zhou

@inproceedings{abc,
	author = {Zachary R. Anderson and Eric A. Brewer and Jeremy Condit and Robert Ennals and David Gay and Matthew Harren and George C. Necula and Feng Zhou},
	booktitle = {Proceedings of HotOS{\textquoteright}07: 11th Workshop on Hot Topics in Operating Systems},
	title = {Beyond Bug-Finding: Sound Program Analysis for Linux.},
	url = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf},
	venue = {San Diego, California, USA},
	year = {2007}
}

@inproceedings{abc,
	author = {Feng Zhou and Jeremy Condit and Zachary R. Anderson and Ilya Bagrak and Robert Ennals and Matthew Harren and George C. Necula and Eric A. Brewer},
	booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI {\textquoteright}06)},
	title = {SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.},
	url = {http://www.usenix.org/events/osdi06/tech/zhou.html},
	venue = {Seattle, WA, USA},
	year = {2006}
}