| 2005 |
|---|
| 7 | EE | Scott McPeak,
George C. Necula:
Data Structure Specifications via Local Equality Axioms.
CAV 2005: 476-490 |
| 6 | EE | 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): 477-526 (2005) |
| 2004 |
|---|
| 5 | EE | Scott McPeak,
George C. Necula:
Elkhound: A Fast, Practical GLR Parser Generator.
CC 2004: 73-88 |
| 2003 |
|---|
| 4 | EE | Jeremy Condit,
Matthew Harren,
Scott McPeak,
George C. Necula,
Westley Weimer:
CCured in the real world.
PLDI 2003: 232-244 |
| 2002 |
|---|
| 3 | EE | George C. Necula,
Scott McPeak,
Shree Prakash Rahul,
Westley Weimer:
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.
CC 2002: 213-228 |
| 2 | EE | George C. Necula,
Scott McPeak,
Westley Weimer:
CCured: type-safe retrofitting of legacy code.
POPL 2002: 128-139 |
| 2000 |
|---|
| 1 | | 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: 143-150 |
