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: Gazzillo:Paul
Contributed to:
2012
201720192017Wrote 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.