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

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

Coverity

Research output: Contribution to conference › Paper › peer-review

1 Citation (Scopus)

Original language	English
Publication status	Published - 2008
Externally published	Yes
Event	17th USENIX Security Symposium - San Jose, United States Duration: 28 Jul 2008 → 1 Aug 2008

Conference

Conference	17th USENIX Security Symposium
Country/Territory	United States
City	San Jose
Period	28/07/08 → 1/08/08

Cite this

@conference{3cca7d4592114ef2954143acceccd4ad,

title = "A couple billion lines of code later: Static checking in the real world",

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

year = "2008",

language = "English",

note = "17th USENIX Security Symposium ; Conference date: 28-07-2008 Through 01-08-2008",

}

TY - CONF

T1 - A couple billion lines of code later

T2 - 17th USENIX Security Symposium

AU - Chou, Andy

AU - Chelf, Ben

AU - Hallem, Seth

AU - McPeak, Scott

AU - Fulton, Bryan

AU - Henri-Gros, Charles

AU - Block, Ken

AU - Goyal, Anuj

AU - Bessey, Al

AU - Zak, Chris

AU - Engler, Dawson

PY - 2008

Y1 - 2008

UR - http://www.scopus.com/inward/record.url?scp=85084163277&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:85084163277

Y2 - 28 July 2008 through 1 August 2008

ER -

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

Conference

Other files and links

Cite this