Search the dblp DataBase

Publications of Author

1. Scott McPeak, George C. Necula
   Data Structure Specifications via Local Equality Axioms. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:476-490 [Conf]
   
2. Scott McPeak, George C. Necula
   Elkhound: A Fast, Practical GLR Parser Generator. [Citation Graph (0, 0)][DBLP]
   CC, 2004, pp:73-88 [Conf]
   
3. George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
   CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. [Citation Graph (0, 0)][DBLP]
   CC, 2002, pp:213-228 [Conf]
   
4. Dan Bonachea, Eugene Ingerman, Joshua Levy, Scott McPeak
   An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP. [Citation Graph (0, 0)][DBLP]
   GECCO, 2000, pp:143-150 [Conf]
   
5. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
   CCured in the real world. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:232-244 [Conf]
   
6. George C. Necula, Scott McPeak, Westley Weimer
   CCured: type-safe retrofitting of legacy code. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:128-139 [Conf]
   
7. George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
   CCured: type-safe retrofitting of legacy software. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:477-526 [Journal]
   
8. 
   A few billion lines of code later: using static analysis to find bugs in the real world. [Citation Graph (, )][DBLP]