USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Beyond Bug-Finding: Sound Program Analysis for Linux
Submitted by Anonymous (not verified) on February 10, 2021 - 12:30 am
Title | Beyond Bug-Finding: Sound Program Analysis for Linux |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Anderson Z, Brewer E |
Conference Name | 11th Workshop on Hot Topics in Operating Systems (HotOS XI) |
Date Published | 05/2007 |
Publisher | USENIX Association |
Conference Location | San Diego, CA |
URL | https://www.usenix.org/conference/hotos-xi/beyond-bug-finding-sound-program-analysis-linux |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX