BibTeX records: Paul Gazzillo

download as .bib file

@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/bib/journals/eatcs/DickersonGHK18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/splc/2018-1},
  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/bib/conf/splc/GazzilloKNW18},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/pldi/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/bib/conf/pldi/AntonopoulosGHK17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/podc/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/bib/conf/podc/DickersonGHK17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/podc/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/bib/conf/podc/DickersonGHK17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Gazzillo17,
  author    = {Paul Gazzillo},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/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/bib/conf/sigsoft/Gazzillo17},
  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/bib/journals/corr/DickersonGHK17},
  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/bib/journals/corr/DickersonGKH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GazzilloG12,
  author    = {Paul Gazzillo and
               Robert Grimm},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/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/bib/conf/pldi/GazzilloG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2018-1,
  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     = {Proceeedings of the 22nd International Systems and Software Product
               Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
               10-14, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3233027},
  doi       = {10.1145/3233027},
  timestamp = {Wed, 21 Nov 2018 12:44:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/splc/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017,
  editor    = {Albert Cohen and
               Martin T. Vechev},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3062341},
  doi       = {10.1145/3062341},
  isbn      = {978-1-4503-4988-8},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/2017,
  editor    = {Elad Michael Schiller and
               Alexander A. Schwarzmann},
  title     = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
               {PODC} 2017, Washington, DC, USA, July 25-27, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3087801},
  doi       = {10.1145/3087801},
  isbn      = {978-1-4503-4992-5},
  timestamp = {Tue, 06 Nov 2018 11:07:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/podc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2254064},
  isbn      = {978-1-4503-1205-9},
  timestamp = {Tue, 12 Jun 2012 19:17:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier