Scott McPeak

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Bug Localization

Legacy Software

Detection Scheme

Top Venues

ESEC/SIGSOFT FSE

ACM SIGPLAN Notices

Publications

Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan
Scalable and incremental software bug detection. ESEC/SIGSOFT FSE (2013)
George C. Necula, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy code. ACM SIGPLAN Notices 47 (4a) (2012)
Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler
A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53 (2) (2010)
Scott McPeak, George C. Necula
Data Structure Specifications via Local Equality Axioms. CAV (2005)
George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. 27 (3) (2005)
Scott McPeak, George C. Necula
Elkhound: A Fast, Practical GLR Parser Generator. CC (2004)
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
CCured in the real world. PLDI (2003)
George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC (2002)
George C. Necula, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy code. POPL (2002)
Dan Bonachea, Eugene Ingerman, Joshua Levy, Scott McPeak
An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP. GECCO (2000)