A couple billion lines of code later: Static checking in the real world

Andy Chou, Ben Chelf, Seth Hallem, Scott McPeak, Bryan Fulton, Charles Henri-Gros, Ken Block, Anuj Goyal, Al Bessey, Chris Zak, Dawson Engler

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusPublished - 2008
Externally publishedYes
Event17th USENIX Security Symposium - San Jose, United States
Duration: 28 Jul 20081 Aug 2008


Conference17th USENIX Security Symposium
Country/TerritoryUnited States
CitySan Jose

Cite this