Publication
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, San Diego, California, USA, May 2007
@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} }