Scott McPeak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2000–2005
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CAV | Data Structure Specifications via Local Equality Axioms. | Scott McPeak, George C. Necula |
| 2004 | CC | Elkhound: A Fast, Practical GLR Parser Generator. | Scott McPeak, George C. Necula |
| 2003 | PLDI | CCured in the real world. | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
| 2002 | CC | CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
| 2002 | POPL | CCured: type-safe retrofitting of legacy code. | George C. Necula, Scott McPeak, Westley Weimer |
| 2000 | GECCO | An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP. | Dan Bonachea, Eugene Ingerman, Joshua Levy, Scott McPeak |