BibTeX records: Paul Gazzillo

download as .bib file

@inproceedings{DBLP:conf/icse/PappasG24,
  author       = {Brent Pappas and
                  Paul Gazzillo},
  title        = {Semantic Analysis of Macro Usage for Portability},
  booktitle    = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
                  Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
  pages        = {21:1--21:12},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3597503.3623323},
  doi          = {10.1145/3597503.3623323},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/PappasG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2401-10422,
  author       = {Brent Pappas and
                  Paul Gazzillo},
  title        = {Semantic Analysis of Macro Usage for Portability},
  journal      = {CoRR},
  volume       = {abs/2401.10422},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.10422},
  doi          = {10.48550/ARXIV.2401.10422},
  eprinttype    = {arXiv},
  eprint       = {2401.10422},
  timestamp    = {Fri, 02 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-10422.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/SchubertGPBSHWB22,
  author       = {Philipp Dominik Schubert and
                  Paul Gazzillo and
                  Zach Patterson and
                  Julian Braha and
                  Fabian Schiebel and
                  Ben Hermann and
                  Shiyi Wei and
                  Eric Bodden},
  title        = {Static data-flow analysis for software product lines in {C}},
  journal      = {Autom. Softw. Eng.},
  volume       = {29},
  number       = {1},
  pages        = {35},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10515-022-00333-1},
  doi          = {10.1007/S10515-022-00333-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/SchubertGPBSHWB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/PattersonZPWG22,
  author       = {Zach Patterson and
                  Zenong Zhang and
                  Brent Pappas and
                  Shiyi Wei and
                  Paul Gazzillo},
  title        = {SugarC: Scalable Desugaring of Real-World Preprocessor Usage into
                  Pure {C}},
  booktitle    = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
                  {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
  pages        = {2056--2067},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3510003.3512763},
  doi          = {10.1145/3510003.3512763},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/PattersonZPWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/onward/GazzilloC22,
  author       = {Paul Gazzillo and
                  Myra B. Cohen},
  editor       = {Christophe Scholliers and
                  Jeremy Singer},
  title        = {Bringing Together Configuration Research: Towards a Common Ground},
  booktitle    = {Proceedings of the 2022 {ACM} {SIGPLAN} International Symposium on
                  New Ideas, New Paradigms, and Reflections on Programming and Software,
                  Onward! 2022, Auckland, New Zealand, December 8-10, 2022},
  pages        = {259--269},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563835.3568737},
  doi          = {10.1145/3563835.3568737},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/onward/GazzilloC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/MondelliGS21,
  author       = {Andrea Mondelli and
                  Paul Gazzillo and
                  Yan Solihin},
  title        = {SeMPE: Secure Multi Path Execution Architecture for Removing Conditional
                  Branch Side Channels},
  booktitle    = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco,
                  CA, USA, December 5-9, 2021},
  pages        = {973--978},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DAC18074.2021.9586183},
  doi          = {10.1109/DAC18074.2021.9586183},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/MondelliGS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/OhYBG21,
  author       = {Jeho Oh and
                  Necip Fazil Yildiran and
                  Julian Braha and
                  Paul Gazzillo},
  editor       = {Diomidis Spinellis and
                  Georgios Gousios and
                  Marsha Chechik and
                  Massimiliano Di Penta},
  title        = {Finding broken Linux configuration specifications by statically analyzing
                  the Kconfig language},
  booktitle    = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Athens,
                  Greece, August 23-28, 2021},
  pages        = {893--905},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3468264.3468578},
  doi          = {10.1145/3468264.3468578},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/OhYBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dc/DickersonGHK20,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  title        = {Adding concurrency to smart contracts},
  journal      = {Distributed Comput.},
  volume       = {33},
  number       = {3-4},
  pages        = {209--225},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00446-019-00357-z},
  doi          = {10.1007/S00446-019-00357-Z},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dc/DickersonGHK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Gazzillo20,
  author       = {Paul Gazzillo},
  editor       = {Prem Devanbu and
                  Myra B. Cohen and
                  Thomas Zimmermann},
  title        = {Inferring and securing software configurations using automated reasoning},
  booktitle    = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  pages        = {1517--1520},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368089.3417041},
  doi          = {10.1145/3368089.3417041},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Gazzillo20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/splc/2020b,
  editor       = {Rafael Capilla and
                  Philippe Collet and
                  Paul Gazzillo and
                  Jacob Kr{\"{u}}ger and
                  Roberto Erick Lopez{-}Herrejon and
                  Sarah Nadi and
                  Gilles Perrouin and
                  Iris Reinhartz{-}Berger and
                  Julia Rubin and
                  Ina Schaefer},
  title        = {{SPLC} '20: 24th {ACM} International Systems and Software Product
                  Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
                  {B}},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3382026},
  doi          = {10.1145/3382026},
  isbn         = {978-1-4503-7570-2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/2020b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-16345,
  author       = {Andrea Mondelli and
                  Paul Gazzillo and
                  Yan Solihin},
  title        = {SeMPE: Secure Multi Path Execution Architecture for Removing Conditional
                  Branch Side Channels},
  journal      = {CoRR},
  volume       = {abs/2006.16345},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.16345},
  eprinttype    = {arXiv},
  eprint       = {2006.16345},
  timestamp    = {Thu, 02 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-16345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DickersonKGH19,
  author       = {Thomas D. Dickerson and
                  Eric Koskinen and
                  Paul Gazzillo and
                  Maurice Herlihy},
  editor       = {Anthony Widjaja Lin},
  title        = {Conflict Abstractions and Shadow Speculation for Optimistic Transactional
                  Objects},
  booktitle    = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
                  2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11893},
  pages        = {313--331},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34175-6\_16},
  doi          = {10.1007/978-3-030-34175-6\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DickersonKGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GazzilloW19,
  author       = {Paul Gazzillo and
                  Shiyi Wei},
  editor       = {Anita Sarma and
                  Leonardo Murta},
  title        = {Conditional compilation is dead, long live conditional compilation!},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:
                  New Ideas and Emerging Results, {ICSE} {(NIER)} 2019, Montreal, QC,
                  Canada, May 29-31, 2019},
  pages        = {105--108},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE-NIER.2019.00035},
  doi          = {10.1109/ICSE-NIER.2019.00035},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/GazzilloW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/MordahlOKWG19,
  author       = {Austin Mordahl and
                  Jeho Oh and
                  Ugur Koc and
                  Shiyi Wei and
                  Paul Gazzillo},
  editor       = {Marlon Dumas and
                  Dietmar Pfahl and
                  Sven Apel and
                  Alessandra Russo},
  title        = {An empirical study of real-world variability bugs detected by variability-oblivious
                  tools},
  booktitle    = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
  pages        = {50--61},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3338906.3338967},
  doi          = {10.1145/3338906.3338967},
  timestamp    = {Sat, 30 Sep 2023 09:56:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MordahlOKWG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/OhGB19,
  author       = {Jeho Oh and
                  Paul Gazzillo and
                  Don S. Batory},
  editor       = {Thorsten Berger and
                  Philippe Collet and
                  Laurence Duchien and
                  Thomas Fogdal and
                  Patrick Heymans and
                  Timo Kehrer and
                  Jabier Martinez and
                  Ra{\'{u}}l Mazo and
                  Leticia Montalvillo and
                  Camille Salinesi and
                  Xhevahire T{\"{e}}rnava and
                  Thomas Th{\"{u}}m and
                  Tewfik Ziadi},
  title        = {\emph{t}-wise coverage by uniform sampling},
  booktitle    = {Proceedings of the 23rd International Systems and Software Product
                  Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
                  2019},
  pages        = {15:1--15:4},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3336294.3342359},
  doi          = {10.1145/3336294.3342359},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/OhGB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DickersonGHK18,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  title        = {Adding Concurrency to Smart Contracts},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/527},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/DickersonGHK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fc/DickersonGHSK18,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Vikram Saraph and
                  Eric Koskinen},
  editor       = {Aviv Zohar and
                  Ittay Eyal and
                  Vanessa Teague and
                  Jeremy Clark and
                  Andrea Bracciali and
                  Federico Pintore and
                  Massimiliano Sala},
  title        = {Proof-Carrying Smart Contracts},
  booktitle    = {Financial Cryptography and Data Security - {FC} 2018 International
                  Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Cura{\c{c}}ao, March
                  2, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10958},
  pages        = {325--338},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-662-58820-8\_22},
  doi          = {10.1007/978-3-662-58820-8\_22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/DickersonGHSK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/GazzilloKNW18,
  author       = {Paul Gazzillo and
                  Ugur Koc and
                  ThanhVu Nguyen and
                  Shiyi Wei},
  editor       = {Thorsten Berger and
                  Paulo Borba and
                  Goetz Botterweck and
                  Tomi M{\"{a}}nnist{\"{o}} and
                  David Benavides and
                  Sarah Nadi and
                  Timo Kehrer and
                  Rick Rabiser and
                  Christoph Elsner and
                  Mukelabai Mukelabai},
  title        = {Localizing configurations in highly-configurable systems},
  booktitle    = {Proceeedings of the 22nd International Systems and Software Product
                  Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
                  10-14, 2018},
  pages        = {269--273},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3233027.3236404},
  doi          = {10.1145/3233027.3236404},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/GazzilloKNW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/AntonopoulosGHK17,
  author       = {Timos Antonopoulos and
                  Paul Gazzillo and
                  Michael Hicks and
                  Eric Koskinen and
                  Tachio Terauchi and
                  Shiyi Wei},
  editor       = {Albert Cohen and
                  Martin T. Vechev},
  title        = {Decomposition instead of self-composition for proving the absence
                  of timing channels},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
                  June 18-23, 2017},
  pages        = {362--375},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062341.3062378},
  doi          = {10.1145/3062341.3062378},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AntonopoulosGHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/DickersonGHK17,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  editor       = {Elad Michael Schiller and
                  Alexander A. Schwarzmann},
  title        = {Brief Announcement: Proust: {A} Design Space for Highly-Concurrent
                  Transactional Data Structures},
  booktitle    = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
                  {PODC} 2017, Washington, DC, USA, July 25-27, 2017},
  pages        = {251--253},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3087801.3087866},
  doi          = {10.1145/3087801.3087866},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/DickersonGHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/DickersonGHK17a,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  editor       = {Elad Michael Schiller and
                  Alexander A. Schwarzmann},
  title        = {Adding Concurrency to Smart Contracts},
  booktitle    = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
                  {PODC} 2017, Washington, DC, USA, July 25-27, 2017},
  pages        = {303--312},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3087801.3087835},
  doi          = {10.1145/3087801.3087835},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/DickersonGHK17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Gazzillo17,
  author       = {Paul Gazzillo},
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {Kmax: finding all configurations of Kbuild makefiles statically},
  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages        = {279--290},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237.3106283},
  doi          = {10.1145/3106237.3106283},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Gazzillo17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DickersonGHK17,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  title        = {Adding Concurrency to Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/1702.04467},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.04467},
  eprinttype    = {arXiv},
  eprint       = {1702.04467},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DickersonGHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DickersonGKH17,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Eric Koskinen and
                  Maurice Herlihy},
  title        = {Proust: {A} Design Space for Highly-Concurrent Transactional Data
                  Structures},
  journal      = {CoRR},
  volume       = {abs/1702.04866},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.04866},
  eprinttype    = {arXiv},
  eprint       = {1702.04866},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DickersonGKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Gazzillo16,
  author       = {Paul Gazzillo},
  title        = {Analyzing Source Code Across Static Conditionals},
  school       = {New York University, {USA}},
  year         = {2016},
  url          = {https://cs.nyu.edu/media/publications/gazzillo\_paul.pdf},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Gazzillo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/GazzilloG12,
  author       = {Paul Gazzillo and
                  Robert Grimm},
  editor       = {Jan Vitek and
                  Haibo Lin and
                  Frank Tip},
  title        = {SuperC: parsing all of {C} by taming the preprocessor},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages        = {323--334},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2254064.2254103},
  doi          = {10.1145/2254064.2254103},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GazzilloG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.