Travelled to:1 × France
1 × Russia
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:G.C.Necula W.Weimer C.Gros M.K.Ramanathan S.P.Rahul J.Condit M.Harren
Talks about:cure (2) transform (1) intermedi (1) increment (1) structur (1) retrofit (1) elkhound (1) softwar (1) scalabl (1) program (1)
Person: Scott McPeak
DBLP: McPeak:Scott
Contributed to:
2013
2005
2004
20032002
2002Wrote 6 papers:
- ESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability
- Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
- CAV-2005-McPeakN #axiom #data type #similarity #specification
- Data Structure Specifications via Local Equality Axioms (SM, GCN), pp. 476–490.
- CC-2004-McPeakN #generative #glr #named #parsing #performance
- Elkhound: A Fast, Practical GLR Parser Generator (SM, GCN), pp. 73–88.
- PLDI-2003-ConditHMNW
- CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.
- CC-2002-NeculaMRW #analysis #c #named #source code #tool support
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
- POPL-2002-NeculaMW #legacy #named #type safety
- CCured: type-safe retrofitting of legacy code (GCN, SM, WW), pp. 128–139.