USENIX Conference Policies
Beyond Bug-Finding: Sound Program Analysis for Linux
BibTeX
@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
}
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
}