BibTeX records: Paul Gazzillo

download as .bib file

@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},
  pages     = {209--225},
  year      = {2020},
  url       = {https://doi.org/10.1007/s00446-019-00357-z},
  doi       = {10.1007/s00446-019-00357-z},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dc/DickersonGHK20.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 = {Mon, 18 Nov 2019 16:35:47 +0100},
  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 = {Wed, 16 Oct 2019 14:14:49 +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 = {Fri, 09 Aug 2019 14:12:27 +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 = {Thu, 29 Aug 2019 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   = {Bulletin of the {EATCS}},
  volume    = {124},
  year      = {2018},
  url       = {http://eatcs.org/beatcs/index.php/beatcs/article/view/527},
  timestamp = {Thu, 12 Apr 2018 01:00:00 +0200},
  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 = {Tue, 14 May 2019 10:00:38 +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 = {Wed, 21 Nov 2018 12:44:15 +0100},
  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 = {Tue, 06 Nov 2018 16:59:30 +0100},
  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 = {Tue, 06 Nov 2018 11:07:18 +0100},
  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 = {Tue, 06 Nov 2018 11:07:18 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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},
  archivePrefix = {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},
  archivePrefix = {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}
}
@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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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