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 × China
Collaborated with:
R.Grimm S.Wei A.Mordahl J.Oh U.Koc T.Antonopoulos M.H.0001 E.Koskinen T.Terauchi
Talks about:
variabl (2) all (2) preprocessor (1) decomposit (1) configur (1) composit (1) makefil (1) instead (1) channel (1) static (1)

Person: Paul Gazzillo

DBLP DBLP: Gazzillo:Paul

Contributed to:

PLDI 20122012
ESEC/FSE 20172017
ESEC/FSE 20192019
PLDI 20172017

Wrote 4 papers:

PLDI-2012-GazzilloG #c #named #parsing #preprocessor
SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
ESEC-FSE-2017-Gazzillo #named
Kmax: finding all configurations of Kbuild makefiles statically (PG), pp. 279–290.
ESEC-FSE-2019-MordahlOKWG #debugging #detection #empirical #tool support #variability
An empirical study of real-world variability bugs detected by variability-oblivious tools (AM, JO, UK, SW, PG), pp. 50–61.
PLDI-2017-AntonopoulosGHK #composition #proving #self
Decomposition instead of self-composition for proving the absence of timing channels (TA, PG, MH0, EK, TT, SW), pp. 362–375.

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.