An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP. - Dan Bonachea; Eugene Ingerman; Joshua Levy; Scott McPeak (GECCO, 2000)

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. - George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (CC, 2002)

CCured in the real world. - Jeremy Condit; Matthew Harren; Scott McPeak; George C. Necula; Westley Weimer (PLDI, 2003)

Elkhound: A Fast, Practical GLR Parser Generator. - Scott McPeak; George C. Necula (CC, 2004)

Data Structure Specifications via Local Equality Axioms. - Scott McPeak; George C. Necula (CAV, 2005)

CCured: type-safe retrofitting of legacy software. - George C. Necula; Jeremy Condit; Matthew Harren; Scott McPeak; Westley Weimer (ACM Trans. Program. Lang. Syst., 2005)

A few billion lines of code later: using static analysis to find bugs in the real world. - Al Bessey; Ken Block; Benjamin Chelf; Andy Chou; Bryan Fulton; Seth Hallem; Charles-Henri Gros; Asya Kamsky; Scott McPeak; Dawson R. Engler (Commun. ACM, 2010)

CCured: type-safe retrofitting of legacy code. - George C. Necula; Scott McPeak; Westley Weimer (ACM SIGPLAN Notices, 2012)

Scalable and incremental software bug detection. - Scott McPeak; Charles-Henri Gros; Murali Krishna Ramanathan (ESEC/SIGSOFT FSE, 2013)