BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: McPeak:Scott

Contributed to:

ESEC/FSE 20132013
CAV 20052005
CC 20042004
PLDI 20032003
CC 20022002
POPL 20022002

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.