BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
2 × USA
Collaborated with:
E.A.Brewer T.W.Reps M.Sagiv S.Gulwani A.Tiwari F.Zhou D.Gay
Talks about:
infer (2) interpret (1) synchron (1) refactor (1) quantifi (1) autolock (1) approach (1) abstract (1) section (1) complex (1)

Person: Bill McCloskey

DBLP DBLP: McCloskey:Bill

Contributed to:

SAS 20102010
POPL 20082008
POPL 20062006
ESEC/FSE 20052005

Wrote 4 papers:

SAS-2010-McCloskeyRS #array #invariant
Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
POPL-2008-GulwaniMT #logic #quantifier
Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.
POPL-2006-McCloskeyZGB #named
Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.
ESEC-FSE-2005-McCloskeyB #approach #c #named #refactoring
ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.
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.