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, USENIX Security 2008 - San Jose, United States Duration: 28 Jul 2008 → 1 Aug 2008

Conference

Conference	17th USENIX Security Symposium, USENIX Security 2008
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, USENIX Security 2008 ; Conference date: 28-07-2008 Through 01-08-2008",

}

TY - CONF

T1 - A couple billion lines of code later

T2 - 17th USENIX Security Symposium, USENIX Security 2008

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 - https://www.scopus.com/pages/publications/85084163277

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