default search action
BibTeX records: Paul Gazzillo
@article{DBLP:journals/pacmse/YildiranOLG24, author = {Necip Fazil Yildiran and Jeho Oh and Julia Lawall and Paul Gazzillo}, title = {Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times}, journal = {Proc. {ACM} Softw. Eng.}, volume = {1}, number = {{FSE}}, pages = {427--449}, year = {2024}, url = {https://doi.org/10.1145/3643746}, doi = {10.1145/3643746}, timestamp = {Fri, 02 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmse/YildiranOLG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Mon, 24 Jun 2024 15:20:25 +0200}, 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/corr/abs-2404-17966, author = {Necip Fazil Yildiran and Jeho Oh and Julia Lawall and Paul Gazzillo}, title = {Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times}, journal = {CoRR}, volume = {abs/2404.17966}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.17966}, doi = {10.48550/ARXIV.2404.17966}, eprinttype = {arXiv}, eprint = {2404.17966}, timestamp = {Mon, 27 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-17966.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} }
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.