BibTeX records: Dan Grossman

download as .bib file

@article{DBLP:journals/pacmpl/TomanG19,
  author    = {John Toman and
               Dan Grossman},
  title     = {Concerto: a framework for combined concrete and abstract interpretation},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {43:1--43:29},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3290356},
  timestamp = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/TomanG19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TomanG18,
  author    = {John Toman and
               Dan Grossman},
  title     = {Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration
               Updates (Artifact)},
  journal   = {{DARTS}},
  volume    = {4},
  number    = {3},
  pages     = {02:1--02:2},
  year      = {2018},
  url       = {https://doi.org/10.4230/DARTS.4.3.2},
  doi       = {10.4230/DARTS.4.3.2},
  timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/darts/TomanG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NandiWPBGT18,
  author    = {Chandrakana Nandi and
               James R. Wilcox and
               Pavel Panchekha and
               Taylor Blau and
               Dan Grossman and
               Zachary Tatlock},
  title     = {Functional programming for compiling and decompiling computer-aided
               design},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {99:1--99:31},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236794},
  doi       = {10.1145/3236794},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/NandiWPBGT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/RingerYLG18,
  author    = {Talia Ringer and
               Nathaniel Yazdani and
               John Leo and
               Dan Grossman},
  title     = {Adapting proof automation to adapt proofs},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  pages     = {115--129},
  year      = {2018},
  crossref  = {DBLP:conf/cpp/2018},
  url       = {https://doi.org/10.1145/3167094},
  doi       = {10.1145/3167094},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/RingerYLG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MullenPWTG18,
  author    = {Eric Mullen and
               Stuart Pernsteiner and
               James R. Wilcox and
               Zachary Tatlock and
               Dan Grossman},
  title     = {{\OE}uf: minimizing the Coq extraction {TCB}},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  pages     = {172--185},
  year      = {2018},
  crossref  = {DBLP:conf/cpp/2018},
  url       = {https://doi.org/10.1145/3167089},
  doi       = {10.1145/3167089},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/MullenPWTG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TomanG18,
  author    = {John Toman and
               Dan Grossman},
  title     = {Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration
               Updates},
  booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
               July 16-21, 2018, Amsterdam, The Netherlands},
  pages     = {24:1--24:32},
  year      = {2018},
  crossref  = {DBLP:conf/ecoop/2018},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.24},
  doi       = {10.4230/LIPIcs.ECOOP.2018.24},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/TomanG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2018,
  editor    = {Jeffrey S. Foster and
               Dan Grossman},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192366},
  doi       = {10.1145/3192366},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WoodCBG17,
  author    = {Benjamin P. Wood and
               Man Cao and
               Michael D. Bond and
               Dan Grossman},
  title     = {Instrumentation bias for dynamic data race detection},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {69:1--69:31},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133893},
  doi       = {10.1145/3133893},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/WoodCBG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RingerGST17,
  author    = {Talia Ringer and
               Dan Grossman and
               Daniel Schwartz{-}Narbonne and
               Serdar Tasiran},
  title     = {A solver-aided language for test input generation},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {91:1--91:24},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133915},
  doi       = {10.1145/3133915},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/RingerGST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GordonEGP17,
  author    = {Colin S. Gordon and
               Michael D. Ernst and
               Dan Grossman and
               Matthew J. Parkinson},
  title     = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee
               and Refinement Types},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {39},
  number    = {3},
  pages     = {11:1--11:54},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064850},
  doi       = {10.1145/3064850},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/GordonEGP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NandiGSMM17,
  author    = {Chandrakana Nandi and
               Dan Grossman and
               Adrian Sampson and
               Todd Mytkowicz and
               Kathryn S. McKinley},
  title     = {Debugging probabilistic programs},
  booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
               Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
               June 18, 2017},
  pages     = {18--26},
  year      = {2017},
  crossref  = {DBLP:conf/pldi/2017mapl},
  url       = {https://doi.org/10.1145/3088525.3088564},
  doi       = {10.1145/3088525.3088564},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/NandiGSMM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/NandiCGT17,
  author    = {Chandrakana Nandi and
               Anat Caspi and
               Dan Grossman and
               Zachary Tatlock},
  title     = {Programming Language Tools and Techniques for 3D Printing},
  booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  pages     = {10:1--10:12},
  year      = {2017},
  crossref  = {DBLP:conf/snapl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.10},
  doi       = {10.4230/LIPIcs.SNAPL.2017.10},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/NandiCGT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/TomanG17,
  author    = {John Toman and
               Dan Grossman},
  title     = {Taming the Static Analysis Beast},
  booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  pages     = {18:1--18:14},
  year      = {2017},
  crossref  = {DBLP:conf/snapl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.18},
  doi       = {10.4230/LIPIcs.SNAPL.2017.18},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/TomanG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TomanG16,
  author    = {John Toman and
               Dan Grossman},
  title     = {Staccato: {A} Bug Finder for Dynamic Configuration Updates (Artifact)},
  journal   = {{DARTS}},
  volume    = {2},
  number    = {1},
  pages     = {14:1--14:2},
  year      = {2016},
  url       = {https://doi.org/10.4230/DARTS.2.1.14},
  doi       = {10.4230/DARTS.2.1.14},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/darts/TomanG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RingerGR16,
  author    = {Talia Ringer and
               Dan Grossman and
               Franziska Roesner},
  title     = {{AUDACIOUS:} User-Driven Access Control with Unmodified Operating
               Systems},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {204--216},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {https://doi.org/10.1145/2976749.2978344},
  doi       = {10.1145/2976749.2978344},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/RingerGR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TomanG16,
  author    = {John Toman and
               Dan Grossman},
  title     = {Staccato: {A} Bug Finder for Dynamic Configuration Updates},
  booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
               July 18-22, 2016, Rome, Italy},
  pages     = {24:1--24:25},
  year      = {2016},
  crossref  = {DBLP:conf/ecoop/2016},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.24},
  doi       = {10.4230/LIPIcs.ECOOP.2016.24},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/TomanG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MullenZTG16,
  author    = {Eric Mullen and
               Daryl Zuniga and
               Zachary Tatlock and
               Dan Grossman},
  title     = {Verified peephole optimizations for CompCert},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {448--461},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {https://doi.org/10.1145/2908080.2908109},
  doi       = {10.1145/2908080.2908109},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/MullenZTG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BornholtTGC16,
  author    = {James Bornholt and
               Emina Torlak and
               Dan Grossman and
               Luis Ceze},
  title     = {Optimizing synthesis with metasketches},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  pages     = {775--788},
  year      = {2016},
  crossref  = {DBLP:conf/popl/2016},
  url       = {https://doi.org/10.1145/2837614.2837666},
  doi       = {10.1145/2837614.2837666},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BornholtTGC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MortonHBG16,
  author    = {Kristi Morton and
               Hannaneh Hajishirzi and
               Magdalena Balazinska and
               Dan Grossman},
  title     = {View-Driven Deduplication with Active Learning},
  journal   = {CoRR},
  volume    = {abs/1606.05708},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.05708},
  archivePrefix = {arXiv},
  eprint    = {1606.05708},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MortonHBG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RingenburgSACG15,
  author    = {Michael F. Ringenburg and
               Adrian Sampson and
               Isaac Ackerman and
               Luis Ceze and
               Dan Grossman},
  title     = {Monitoring and Debugging the Quality of Results in Approximate Programs},
  booktitle = {Proceedings of the Twentieth International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               '15, Istanbul, Turkey, March 14-18, 2015},
  pages     = {399--411},
  year      = {2015},
  crossref  = {DBLP:conf/asplos/2015},
  url       = {https://doi.org/10.1145/2694344.2694365},
  doi       = {10.1145/2694344.2694365},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/RingenburgSACG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BostonSGC15,
  author    = {Brett Boston and
               Adrian Sampson and
               Dan Grossman and
               Luis Ceze},
  title     = {Probability type inference for flexible approximate programming},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  pages     = {470--487},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015},
  url       = {https://doi.org/10.1145/2814270.2814301},
  doi       = {10.1145/2814270.2814301},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BostonSGC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BurgeFGRW15,
  author    = {Janet Burge and
               Armando Fox and
               Dan Grossman and
               Gerald Roth and
               Joe Warren},
  title     = {SPOCs: What, Why, and How},
  booktitle = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
               Education, Kansas City, MO, USA, March 4-7, 2015},
  pages     = {595--596},
  year      = {2015},
  crossref  = {DBLP:conf/sigcse/2015},
  url       = {https://doi.org/10.1145/2676723.2677331},
  doi       = {10.1145/2676723.2677331},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/BurgeFGRW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/ErnstGJLPTTW15,
  author    = {Michael D. Ernst and
               Dan Grossman and
               Jon Jacky and
               Calvin Loncaric and
               Stuart Pernsteiner and
               Zachary Tatlock and
               Emina Torlak and
               Xi Wang},
  title     = {Toward a Dependability Case Language and Workflow for a Radiation
               Therapy System},
  booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
               3-6, 2015, Asilomar, California, {USA}},
  pages     = {103--112},
  year      = {2015},
  crossref  = {DBLP:conf/snapl/2015},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.103},
  doi       = {10.4230/LIPIcs.SNAPL.2015.103},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/ErnstGJLPTTW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MortonBGM14,
  author    = {Kristi Morton and
               Magdalena Balazinska and
               Dan Grossman and
               Jock D. Mackinlay},
  title     = {Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis
               Systems},
  journal   = {{PVLDB}},
  volume    = {7},
  number    = {6},
  pages     = {453--456},
  year      = {2014},
  url       = {http://www.vldb.org/pvldb/vol7/p453-morton.pdf},
  doi       = {10.14778/2732279.2732282},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/MortonBGM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/MortonBGKM14,
  author    = {Kristi Morton and
               Magdalena Balazinska and
               Dan Grossman and
               Robert Kosara and
               Jock D. Mackinlay},
  title     = {Public Data and Visualizations: How are Many Eyes and Tableau Public
               Used for Collaborative Analytics?},
  journal   = {{SIGMOD} Record},
  volume    = {43},
  number    = {2},
  pages     = {17--22},
  year      = {2014},
  url       = {https://doi.org/10.1145/2694413.2694417},
  doi       = {10.1145/2694413.2694417},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/MortonBGKM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/WoodCG14,
  author    = {Benjamin P. Wood and
               Luis Ceze and
               Dan Grossman},
  title     = {Low-level detection of language-level data races with {LARD}},
  booktitle = {Architectural Support for Programming Languages and Operating Systems,
               {ASPLOS} '14, Salt Lake City, UT, USA, March 1-5, 2014},
  pages     = {671--686},
  year      = {2014},
  crossref  = {DBLP:conf/asplos/2014},
  url       = {https://doi.org/10.1145/2541940.2541955},
  doi       = {10.1145/2541940.2541955},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/WoodCG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Murphy-HillG14,
  author    = {Emerson R. Murphy{-}Hill and
               Dan Grossman},
  title     = {How programming languages will co-evolve with software engineering:
               a bright decade ahead},
  booktitle = {Proceedings of the on Future of Software Engineering, {FOSE} 2014,
               Hyderabad, India, May 31 - June 7, 2014},
  pages     = {145--154},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014fose},
  url       = {https://doi.org/10.1145/2593882.2593898},
  doi       = {10.1145/2593882.2593898},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/Murphy-HillG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BerganGC14,
  author    = {Tom Bergan and
               Dan Grossman and
               Luis Ceze},
  title     = {Symbolic execution of multithreaded programs from arbitrary program
               contexts},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {491--506},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014},
  url       = {https://doi.org/10.1145/2660193.2660200},
  doi       = {10.1145/2660193.2660200},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BerganGC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SampsonPMMGC14,
  author    = {Adrian Sampson and
               Pavel Panchekha and
               Todd Mytkowicz and
               Kathryn S. McKinley and
               Dan Grossman and
               Luis Ceze},
  title     = {Expressing and verifying probabilistic assertions},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages     = {112--122},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014},
  url       = {https://doi.org/10.1145/2594291.2594294},
  doi       = {10.1145/2594291.2594294},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/SampsonPMMGC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGGP14,
  author    = {Daniel Perelman and
               Sumit Gulwani and
               Dan Grossman and
               Peter Provost},
  title     = {Test-driven synthesis},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages     = {408--418},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014},
  url       = {https://doi.org/10.1145/2594291.2594297},
  doi       = {10.1145/2594291.2594297},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/PerelmanGGP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KimNGW13,
  author    = {Miryung Kim and
               David Notkin and
               Dan Grossman and
               Gary Wilson Jr.},
  title     = {Identifying and Summarizing Systematic Code Changes via Rule Inference},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {39},
  number    = {1},
  pages     = {45--62},
  year      = {2013},
  url       = {https://doi.org/10.1109/TSE.2012.16},
  doi       = {10.1109/TSE.2012.16},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/KimNGW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GordonDEG13,
  author    = {Colin S. Gordon and
               Werner Dietl and
               Michael D. Ernst and
               Dan Grossman},
  title     = {Java {UI} : Effects for Controlling {UI} Object Access},
  booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  pages     = {179--204},
  year      = {2013},
  crossref  = {DBLP:conf/ecoop/2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8\_8},
  doi       = {10.1007/978-3-642-39038-8\_8},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/GordonDEG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BerganCG13,
  author    = {Tom Bergan and
               Luis Ceze and
               Dan Grossman},
  title     = {Input-covering schedules for multithreaded programs},
  booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
               Object Oriented Programming Systems Languages {\&} Applications,
               {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
               26-31, 2013},
  pages     = {677--692},
  year      = {2013},
  crossref  = {DBLP:conf/oopsla/2013},
  url       = {https://doi.org/10.1145/2509136.2509508},
  doi       = {10.1145/2509136.2509508},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BerganCG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GordonEG13,
  author    = {Colin S. Gordon and
               Michael D. Ernst and
               Dan Grossman},
  title     = {Rely-guarantee references for refinement types over aliased mutable
               data},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {73--84},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {https://doi.org/10.1145/2491956.2462160},
  doi       = {10.1145/2491956.2462160},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/GordonEG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/LernerG12,
  author    = {Benjamin S. Lerner and
               Dan Grossman},
  title     = {Detecting conflicts among declarative {UI} extensions},
  booktitle = {Proceedings of the 8th Symposium on Dynamic Languages, {DLS} '12,
               Tucson, AZ, USA, October 22, 2012},
  pages     = {95--106},
  year      = {2012},
  crossref  = {DBLP:conf/dls/2012},
  url       = {https://doi.org/10.1145/2384577.2384590},
  doi       = {10.1145/2384577.2384590},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/LernerG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/DeviettiWSCGQ12,
  author    = {Joseph Devietti and
               Benjamin P. Wood and
               Karin Strauss and
               Luis Ceze and
               Dan Grossman and
               Shaz Qadeer},
  title     = {{RADISH:} Always-on sound and complete race detection in software
               and hardware},
  booktitle = {39th International Symposium on Computer Architecture {(ISCA} 2012),
               June 9-13, 2012, Portland, OR, {USA}},
  pages     = {201--212},
  year      = {2012},
  crossref  = {DBLP:conf/isca/2012},
  url       = {https://doi.org/10.1109/ISCA.2012.6237018},
  doi       = {10.1109/ISCA.2012.6237018},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isca/DeviettiWSCGQ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Effinger-DeanLCGB12,
  author    = {Laura Effinger{-}Dean and
               Brandon Lucia and
               Luis Ceze and
               Dan Grossman and
               Hans{-}Juergen Boehm},
  title     = {IFRit: interference-free regions for dynamic data-race detection},
  booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages     = {467--484},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {https://doi.org/10.1145/2384616.2384650},
  doi       = {10.1145/2384616.2384650},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Effinger-DeanLCGB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGBG12,
  author    = {Daniel Perelman and
               Sumit Gulwani and
               Thomas Ball and
               Dan Grossman},
  title     = {Type-directed completion of partial expressions},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages     = {275--286},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/2012},
  url       = {https://doi.org/10.1145/2254064.2254098},
  doi       = {10.1145/2254064.2254098},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/PerelmanGBG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GrossmanA12,
  author    = {Dan Grossman and
               Ruth E. Anderson},
  title     = {Introducing parallelism and concurrency in the data structures course},
  booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  pages     = {505--510},
  year      = {2012},
  crossref  = {DBLP:conf/sigcse/2012},
  url       = {https://doi.org/10.1145/2157136.2157285},
  doi       = {10.1145/2157136.2157285},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/GrossmanA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GordonEG12,
  author    = {Colin S. Gordon and
               Michael D. Ernst and
               Dan Grossman},
  title     = {Static lock capabilities for deadlock freedom},
  booktitle = {Proceedings of {TLDI} 2012: The Seventh {ACM} {SIGPLAN} Workshop on
               Types in Languages Design and Implementation, Philadelphia, PA, USA,
               Saturday, January 28, 2012},
  pages     = {67--78},
  year      = {2012},
  crossref  = {DBLP:conf/tldi/2012},
  url       = {https://doi.org/10.1145/2103786.2103796},
  doi       = {10.1145/2103786.2103796},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/GordonEG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/DeviettiNBCG11,
  author    = {Joseph Devietti and
               Jacob Nelson and
               Tom Bergan and
               Luis Ceze and
               Dan Grossman},
  title     = {{RCDC:} a relaxed consistency deterministic computer},
  booktitle = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  pages     = {67--78},
  year      = {2011},
  crossref  = {DBLP:conf/asplos/2011},
  url       = {https://doi.org/10.1145/1950365.1950376},
  doi       = {10.1145/1950365.1950376},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/DeviettiNBCG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/NelsonMHBCEGKO11,
  author    = {Jacob Nelson and
               Brandon Myers and
               A. H. Hunter and
               Preston Briggs and
               Luis Ceze and
               Carl Ebeling and
               Dan Grossman and
               Simon Kahan and
               Mark Oskin},
  title     = {Crunching Large Graphs with Commodity Processors},
  booktitle = {3rd {USENIX} Workshop on Hot Topics in Parallelism, HotPar'11, Berkeley,
               CA, USA, May 26-27, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/hotpar/2011},
  url       = {https://www.usenix.org/conference/hotpar11/crunching-large-graphs-commodity-processors},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotpar/NelsonMHBCEGKO11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WoodCG11,
  author    = {Benjamin P. Wood and
               Luis Ceze and
               Dan Grossman},
  title     = {Data-race exceptions have benefits beyond the memory model},
  booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} workshop on Memory Systems
               Performance and Correctness: held in conjunction with {PLDI} '11,
               San Jose, CA, USA, June 5, 2011},
  pages     = {30--36},
  year      = {2011},
  crossref  = {DBLP:conf/pldi/2011mspc},
  url       = {https://doi.org/10.1145/1988915.1988923},
  doi       = {10.1145/1988915.1988923},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/WoodCG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SampsonDFGCG11,
  author    = {Adrian Sampson and
               Werner Dietl and
               Emily Fortuna and
               Danushen Gnanapragasam and
               Luis Ceze and
               Dan Grossman},
  title     = {EnerJ: approximate data types for safe and general low-power computation},
  booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
               June 4-8, 2011},
  pages     = {164--174},
  year      = {2011},
  crossref  = {DBLP:conf/pldi/2011},
  url       = {https://doi.org/10.1145/1993498.1993518},
  doi       = {10.1145/1993498.1993518},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/SampsonDFGCG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BerganADCG10,
  author    = {Tom Bergan and
               Owen Anderson and
               Joseph Devietti and
               Luis Ceze and
               Dan Grossman},
  title     = {CoreDet: a compiler and runtime system for deterministic multithreaded
               execution},
  booktitle = {Proceedings of the 15th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010},
  pages     = {53--64},
  year      = {2010},
  crossref  = {DBLP:conf/asplos/2010},
  url       = {https://doi.org/10.1145/1736020.1736029},
  doi       = {10.1145/1736020.1736029},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/BerganADCG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/MortonFBG10,
  author    = {Kristi Morton and
               Abram L. Friesen and
               Magdalena Balazinska and
               Dan Grossman},
  title     = {Estimating the progress of MapReduce pipelines},
  booktitle = {Proceedings of the 26th International Conference on Data Engineering,
               {ICDE} 2010, March 1-6, 2010, Long Beach, California, {USA}},
  pages     = {681--684},
  year      = {2010},
  crossref  = {DBLP:conf/icde/2010},
  url       = {https://doi.org/10.1109/ICDE.2010.5447919},
  doi       = {10.1109/ICDE.2010.5447919},
  timestamp = {Tue, 07 Nov 2017 06:51:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icde/MortonFBG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ChungYDPHCG10,
  author    = {Jae{-}Woong Chung and
               Luke Yen and
               Stephan Diestelhorst and
               Martin Pohlack and
               Michael Hohmuth and
               David Christie and
               Dan Grossman},
  title     = {{ASF:} {AMD64} Extension for Lock-Free Data Structures and Transactional
               Memory},
  booktitle = {43rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
               {MICRO} 2010, 4-8 December 2010, Atlanta, Georgia, {USA}},
  pages     = {39--50},
  year      = {2010},
  crossref  = {DBLP:conf/micro/2010},
  url       = {https://doi.org/10.1109/MICRO.2010.40},
  doi       = {10.1109/MICRO.2010.40},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micro/ChungYDPHCG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WoodSCG10,
  author    = {Benjamin P. Wood and
               Adrian Sampson and
               Luis Ceze and
               Dan Grossman},
  title     = {Composable specifications for structured shared-memory communication},
  booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages     = {140--159},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010},
  url       = {https://doi.org/10.1145/1869459.1869473},
  doi       = {10.1145/1869459.1869473},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/WoodSCG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LernerVG10,
  author    = {Benjamin S. Lerner and
               Herman Venter and
               Dan Grossman},
  title     = {Supporting dynamic, third-party code customizations in JavaScript
               using aspects},
  booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages     = {361--376},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010},
  url       = {https://doi.org/10.1145/1869459.1869490},
  doi       = {10.1145/1869459.1869490},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/LernerVG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MortonBG10,
  author    = {Kristi Morton and
               Magdalena Balazinska and
               Dan Grossman},
  title     = {ParaTimer: a progress indicator for MapReduce DAGs},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  pages     = {507--518},
  year      = {2010},
  crossref  = {DBLP:conf/sigmod/2010},
  url       = {https://doi.org/10.1145/1807167.1807223},
  doi       = {10.1145/1807167.1807223},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/MortonBG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenACFFGHHSWZ09,
  author    = {Jim Allen and
               Zena M. Ariola and
               Pierre{-}Louis Curien and
               Matthew Fluet and
               Jeffrey S. Foster and
               Dan Grossman and
               Robert Harper and
               Hugo Herbelin and
               Yannis Smaragdakis and
               David Walker and
               Steve Zdancewic},
  title     = {An overview of the Oregon programming languages summer school},
  journal   = {{SIGPLAN} Notices},
  volume    = {44},
  number    = {11},
  pages     = {1--3},
  year      = {2009},
  url       = {https://doi.org/10.1145/1816027.1816029},
  doi       = {10.1145/1816027.1816029},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/AllenACFFGHHSWZ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-0936,
  author    = {Matthew Kehrt and
               Laura Effinger{-}Dean and
               Michael Schmitz and
               Dan Grossman},
  title     = {Programming Idioms for Transactional Events},
  booktitle = {Proceedings Second International Workshop on Programming Language
               Approaches to Concurrency and Communication-cEntric Software, {PLACES}
               2009, York, UK, 22nd March 2009.},
  pages     = {43--48},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1002-1408},
  url       = {https://doi.org/10.4204/EPTCS.17.4},
  doi       = {10.4204/EPTCS.17.4},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-0936},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/NitaG08,
  author    = {Marius Nita and
               Dan Grossman},
  title     = {Automatic Transformation of Bit-Level {C} Code to Support Multiple
               Equivalent Data Layouts},
  booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
               Proceedings},
  pages     = {85--99},
  year      = {2008},
  crossref  = {DBLP:conf/cc/2008},
  url       = {https://doi.org/10.1007/978-3-540-78791-4\_6},
  doi       = {10.1007/978-3-540-78791-4\_6},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/NitaG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Effinger-DeanKG08,
  author    = {Laura Effinger{-}Dean and
               Matthew Kehrt and
               Dan Grossman},
  title     = {Transactional events for {ML}},
  booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
               20-28, 2008},
  pages     = {103--114},
  year      = {2008},
  crossref  = {DBLP:conf/icfp/2008},
  url       = {https://doi.org/10.1145/1411204.1411222},
  doi       = {10.1145/1411204.1411222},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/Effinger-DeanKG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MooreG08,
  author    = {Katherine F. Moore and
               Dan Grossman},
  title     = {High-level small-step operational semantics for transactions},
  booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  pages     = {51--62},
  year      = {2008},
  crossref  = {DBLP:conf/popl/2008},
  url       = {https://doi.org/10.1145/1328438.1328448},
  doi       = {10.1145/1328438.1328448},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/MooreG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NitaGC08,
  author    = {Marius Nita and
               Dan Grossman and
               Craig Chambers},
  title     = {A theory of platform-dependent low-level software},
  booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  pages     = {209--220},
  year      = {2008},
  crossref  = {DBLP:conf/popl/2008},
  url       = {https://doi.org/10.1145/1328438.1328465},
  doi       = {10.1145/1328438.1328465},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/NitaGC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KimNG07,
  author    = {Miryung Kim and
               David Notkin and
               Dan Grossman},
  title     = {Automatic Inference of Structural Changes for Matching across Program
               Versions},
  booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  pages     = {333--343},
  year      = {2007},
  crossref  = {DBLP:conf/icse/2007},
  url       = {https://doi.org/10.1109/ICSE.2007.20},
  doi       = {10.1109/ICSE.2007.20},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/KimNG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Grossman07,
  author    = {Dan Grossman},
  title     = {The transactional memory / garbage collection analogy},
  booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
               October 21-25, 2007, Montreal, Quebec, Canada},
  pages     = {695--706},
  year      = {2007},
  crossref  = {DBLP:conf/oopsla/2007},
  url       = {https://doi.org/10.1145/1297027.1297080},
  doi       = {10.1145/1297027.1297080},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Grossman07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShpeismanMABGHMS07,
  author    = {Tatiana Shpeisman and
               Vijay Menon and
               Ali{-}Reza Adl{-}Tabatabai and
               Steven Balensiefer and
               Dan Grossman and
               Richard L. Hudson and
               Katherine F. Moore and
               Bratin Saha},
  title     = {Enforcing isolation and ordering in {STM}},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  pages     = {78--88},
  year      = {2007},
  crossref  = {DBLP:conf/pldi/2007},
  url       = {https://doi.org/10.1145/1250734.1250744},
  doi       = {10.1145/1250734.1250744},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ShpeismanMABGHMS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LernerFGC07,
  author    = {Benjamin S. Lerner and
               Matthew Flower and
               Dan Grossman and
               Craig Chambers},
  title     = {Searching for type-error messages},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  pages     = {425--434},
  year      = {2007},
  crossref  = {DBLP:conf/pldi/2007},
  url       = {https://doi.org/10.1145/1250734.1250783},
  doi       = {10.1145/1250734.1250783},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/LernerFGC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2007,
  editor    = {Manuvir Das and
               Dan Grossman},
  title     = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
               Analysis for Software Tools and Engineering, PASTE'07, San Diego,
               California, USA, June 13-14, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1251535},
  isbn      = {978-1-59593-595-3},
  timestamp = {Tue, 22 May 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/paste/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SwamyHMGJ06,
  author    = {Nikhil Swamy and
               Michael W. Hicks and
               Greg Morrisett and
               Dan Grossman and
               Trevor Jim},
  title     = {Safe manual memory management in Cyclone},
  journal   = {Sci. Comput. Program.},
  volume    = {62},
  number    = {2},
  pages     = {122--144},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.scico.2006.02.003},
  doi       = {10.1016/j.scico.2006.02.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/SwamyHMGJ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Grossman06,
  author    = {Dan Grossman},
  title     = {Quantified types in an imperative language},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {28},
  number    = {3},
  pages     = {429--475},
  year      = {2006},
  url       = {https://doi.org/10.1145/1133651.1133653},
  doi       = {10.1145/1133651.1133653},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/Grossman06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMmsp/GrossmanMP06,
  author    = {Dan Grossman and
               Jeremy Manson and
               William Pugh},
  title     = {What do high-level memory models mean for transactions?},
  booktitle = {Proceedings of the 2006 workshop on Memory System Performance and
               Correctness, San Jose, California, USA, October 11, 2006},
  pages     = {62--69},
  year      = {2006},
  crossref  = {DBLP:conf/ACMmsp/2006},
  url       = {https://doi.org/10.1145/1178597.1178609},
  doi       = {10.1145/1178597.1178609},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ACMmsp/GrossmanMP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMmsp/HindmanG06,
  author    = {Benjamin Hindman and
               Dan Grossman},
  title     = {Atomicity via source-to-source translation},
  booktitle = {Proceedings of the 2006 workshop on Memory System Performance and
               Correctness, San Jose, California, USA, October 11, 2006},
  pages     = {82--91},
  year      = {2006},
  crossref  = {DBLP:conf/ACMmsp/2006},
  url       = {https://doi.org/10.1145/1178597.1178611},
  doi       = {10.1145/1178597.1178611},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ACMmsp/HindmanG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/LernerGC06,
  author    = {Benjamin S. Lerner and
               Dan Grossman and
               Craig Chambers},
  title     = {Seminal: searching for {ML} type-error messages},
  booktitle = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
               September 16, 2006},
  pages     = {63--73},
  year      = {2006},
  crossref  = {DBLP:conf/ml/2006},
  url       = {https://doi.org/10.1145/1159876.1159887},
  doi       = {10.1145/1159876.1159887},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ml/LernerGC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RingenburgG05,
  author    = {Michael F. Ringenburg and
               Dan Grossman},
  title     = {Preventing format-string attacks via automatic and efficient dynamic
               checking},
  booktitle = {Proceedings of the 12th {ACM} Conference on Computer and Communications
               Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005},
  pages     = {354--363},
  year      = {2005},
  crossref  = {DBLP:conf/ccs/2005},
  url       = {https://doi.org/10.1145/1102120.1102166},
  doi       = {10.1145/1102120.1102166},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/RingenburgG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RingenburgG05,
  author    = {Michael F. Ringenburg and
               Dan Grossman},
  title     = {AtomCaml: first-class atomicity via rollback},
  booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  pages     = {92--104},
  year      = {2005},
  crossref  = {DBLP:conf/icfp/2005},
  url       = {https://doi.org/10.1145/1086365.1086378},
  doi       = {10.1145/1086365.1086378},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/RingenburgG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/RingenburgG05,
  author    = {Michael F. Ringenburg and
               Dan Grossman},
  title     = {Types for describing coordinated data structures},
  booktitle = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, Long Beach, CA, USA,
               January 10, 2005},
  pages     = {25--36},
  year      = {2005},
  crossref  = {DBLP:conf/tldi/2005},
  url       = {https://doi.org/10.1145/1040294.1040297},
  doi       = {10.1145/1040294.1040297},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/RingenburgG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/HicksMGJ04,
  author    = {Michael W. Hicks and
               J. Gregory Morrisett and
               Dan Grossman and
               Trevor Jim},
  title     = {Experience with safe manual memory-management in cyclone},
  booktitle = {Proceedings of the 4th International Symposium on Memory Management,
               {ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
  pages     = {73--84},
  year      = {2004},
  crossref  = {DBLP:conf/iwmm/2004},
  url       = {https://doi.org/10.1145/1029873.1029883},
  doi       = {10.1145/1029873.1029883},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/HicksMGJ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc3819,
  author    = {Phil Karn and
               Carsten Bormann and
               Gorry Fairhurst and
               Dan Grossman and
               Reiner Ludwig and
               Jamshid Mahdavi and
               Gabriel Montenegro and
               Joe Touch and
               Lloyd Wood},
  title     = {Advice for Internet Subnetwork Designers},
  journal   = {{RFC}},
  volume    = {3819},
  pages     = {1--60},
  year      = {2004},
  url       = {https://doi.org/10.17487/RFC3819},
  doi       = {10.17487/RFC3819},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/rfc/rfc3819},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SmithGMHJ03,
  author    = {Frederick Smith and
               Dan Grossman and
               J. Gregory Morrisett and
               Luke Hornof and
               Trevor Jim},
  title     = {Compiling for template-based run-time code generation},
  journal   = {J. Funct. Program.},
  volume    = {13},
  number    = {3},
  pages     = {677--708},
  year      = {2003},
  url       = {https://doi.org/10.1017/S095679680200463X},
  doi       = {10.1017/S095679680200463X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/SmithGMHJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/Grossman03,
  author    = {Dan Grossman},
  title     = {Type-safe multithreading in cyclone},
  booktitle = {Proceedings of TLDI'03: 2003 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, New Orleans, Louisiana,
               USA, January 18, 2003},
  pages     = {13--25},
  year      = {2003},
  crossref  = {DBLP:conf/tldi/2003},
  url       = {https://doi.org/10.1145/604174.604177},
  doi       = {10.1145/604174.604177},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/Grossman03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Grossman02,
  author    = {Dan Grossman},
  title     = {Existential Types for Imperative Languages},
  booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
               {ESOP} 2002, held as Part of the Joint European Conference on Theory
               and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
               2002, Proceedings},
  pages     = {21--35},
  year      = {2002},
  crossref  = {DBLP:conf/esop/2002},
  url       = {https://doi.org/10.1007/3-540-45927-8\_3},
  doi       = {10.1007/3-540-45927-8\_3},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Grossman02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GrossmanMJHWC02,
  author    = {Dan Grossman and
               J. Gregory Morrisett and
               Trevor Jim and
               Michael W. Hicks and
               Yanling Wang and
               James Cheney},
  title     = {Region-Based Memory Management in Cyclone},
  booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  pages     = {282--293},
  year      = {2002},
  crossref  = {DBLP:conf/pldi/2002},
  url       = {https://doi.org/10.1145/512529.512563},
  doi       = {10.1145/512529.512563},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/GrossmanMJHWC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/JimMGHCW02,
  author    = {Trevor Jim and
               J. Gregory Morrisett and
               Dan Grossman and
               Michael W. Hicks and
               James Cheney and
               Yanling Wang},
  title     = {Cyclone: {A} Safe Dialect of {C}},
  booktitle = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  pages     = {275--288},
  year      = {2002},
  crossref  = {DBLP:conf/usenix/2002g},
  url       = {http://www.usenix.org/publications/library/proceedings/usenix02/jim.html},
  timestamp = {Fri, 14 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/JimMGHCW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc3260,
  author    = {Dan Grossman},
  title     = {New Terminology and Clarifications for Diffserv},
  journal   = {{RFC}},
  volume    = {3260},
  pages     = {1--10},
  year      = {2002},
  url       = {https://doi.org/10.17487/RFC3260},
  doi       = {10.17487/RFC3260},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/rfc/rfc3260},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GrossmanMZ00,
  author    = {Dan Grossman and
               J. Gregory Morrisett and
               Steve Zdancewic},
  title     = {Syntactic type abstraction},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {22},
  number    = {6},
  pages     = {1037--1080},
  year      = {2000},
  url       = {https://doi.org/10.1145/371880.371887},
  doi       = {10.1145/371880.371887},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/GrossmanMZ00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/GrossmanM00,
  author    = {Dan Grossman and
               J. Gregory Morrisett},
  title     = {Scalable Certification for Typed Assembly Language},
  booktitle = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
               Canada, September 21, 2000, Revised Selected Papers},
  pages     = {117--146},
  year      = {2000},
  crossref  = {DBLP:conf/tic/2000},
  url       = {https://doi.org/10.1007/3-540-45332-6\_5},
  doi       = {10.1007/3-540-45332-6\_5},
  timestamp = {Tue, 14 Aug 2018 17:07:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/GrossmanM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZdancewicGM99,
  author    = {Steve Zdancewic and
               Dan Grossman and
               J. Gregory Morrisett},
  title     = {Principals in Programming Languages: {A} Syntactic Proof Technique},
  booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
               1999.},
  pages     = {197--207},
  year      = {1999},
  crossref  = {DBLP:conf/icfp/1999},
  url       = {https://doi.org/10.1145/317636.317799},
  doi       = {10.1145/317636.317799},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ZdancewicGM99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GodfreyG99,
  author    = {Michael W. Godfrey and
               Dan Grossman},
  title     = {JDuck: building a software engineering tool in Java as a {CS2} project},
  booktitle = {Proceedings of the 30th {SIGCSE} Technical Symposium on Computer Science
               Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999},
  pages     = {48--52},
  year      = {1999},
  crossref  = {DBLP:conf/sigcse/1999},
  url       = {https://doi.org/10.1145/299649.299676},
  doi       = {10.1145/299649.299676},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/GodfreyG99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc2684,
  author    = {Dan Grossman and
               Juha Hein{\"{a}}nen},
  title     = {Multiprotocol Encapsulation over {ATM} Adaptation Layer 5},
  journal   = {{RFC}},
  volume    = {2684},
  pages     = {1--23},
  year      = {1999},
  url       = {https://doi.org/10.17487/RFC2684},
  doi       = {10.17487/RFC2684},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/rfc/rfc2684},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc1755,
  author    = {Maryann P. Maher and
               FongChing Liaw and
               Allison Mankin and
               Eric Hoffman and
               Dan Grossman and
               Andrew G. Malis},
  title     = {{ATM} Signaling Support for {IP} over {ATM}},
  journal   = {{RFC}},
  volume    = {1755},
  pages     = {1--32},
  year      = {1995},
  url       = {https://doi.org/10.17487/RFC1755},
  doi       = {10.17487/RFC1755},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/rfc/rfc1755},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2018,
  editor    = {June Andronick and
               Amy P. Felty},
  title     = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3176245},
  isbn      = {978-1-4503-5586-5},
  timestamp = {Sat, 30 Dec 2017 17:33:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2018,
  editor    = {Todd D. Millstein},
  title     = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
               July 16-21, 2018, Amsterdam, The Netherlands},
  series    = {LIPIcs},
  volume    = {109},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-079-8},
  isbn      = {978-3-95977-079-8},
  timestamp = {Tue, 10 Jul 2018 12:57:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017mapl,
  editor    = {Tatiana Shpeisman and
               Justin Gottschlich},
  title     = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
               Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
               June 18, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3088525},
  doi       = {10.1145/3088525},
  isbn      = {978-1-4503-5071-6},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2017mapl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
  editor    = {Benjamin S. Lerner and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi},
  title     = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  series    = {LIPIcs},
  volume    = {71},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
  isbn      = {978-3-95977-032-3},
  timestamp = {Mon, 29 May 2017 16:05:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016,
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  title     = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2976749},
  isbn      = {978-1-4503-4139-4},
  timestamp = {Mon, 24 Oct 2016 15:38:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2016,
  editor    = {Shriram Krishnamurthi and
               Benjamin S. Lerner},
  title     = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
               July 18-22, 2016, Rome, Italy},
  series    = {LIPIcs},
  volume    = {56},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-014-9},
  isbn      = {978-3-95977-014-9},
  timestamp = {Wed, 20 Jul 2016 15:19:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2837614},
  isbn      = {978-1-4503-3549-2},
  timestamp = {Wed, 09 Mar 2016 08:11:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2015,
  editor    = {{\"{O}}zcan {\"{O}}zturk and
               Kemal Ebcioglu and
               Sandhya Dwarkadas},
  title     = {Proceedings of the Twentieth International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               '15, Istanbul, Turkey, March 14-18, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2694344},
  isbn      = {978-1-4503-2835-7},
  timestamp = {Thu, 31 Aug 2017 19:54:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015,
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814270},
  isbn      = {978-1-4503-3689-5},
  timestamp = {Thu, 07 Apr 2016 13:01:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2015,
  editor    = {Adrienne Decker and
               Kurt Eiselt and
               Carl Alphonce and
               Jodi Tims},
  title     = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
               Education, Kansas City, MO, USA, March 4-7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676723},
  isbn      = {978-1-4503-2966-8},
  timestamp = {Thu, 26 Feb 2015 19:17:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
  editor    = {Thomas Ball and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi and
               Benjamin S. Lerner and
               Greg Morrisett},
  title     = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
               3-6, 2015, Asilomar, California, {USA}},
  series    = {LIPIcs},
  volume    = {32},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
  isbn      = {978-3-939897-80-4},
  timestamp = {Mon, 04 May 2015 13:22:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2014,
  editor    = {Rajeev Balasubramonian and
               Al Davis and
               Sarita V. Adve},
  title     = {Architectural Support for Programming Languages and Operating Systems,
               {ASPLOS} '14, Salt Lake City, UT, USA, March 1-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2541940},
  isbn      = {978-1-4503-2305-5},
  timestamp = {Wed, 05 Mar 2014 20:33:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014fose,
  editor    = {James D. Herbsleb and
               Matthew B. Dwyer},
  title     = {Proceedings of the on Future of Software Engineering, {FOSE} 2014,
               Hyderabad, India, May 31 - June 7, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593882},
  isbn      = {978-1-4503-2865-4},
  timestamp = {Sun, 25 May 2014 19:36:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014fose},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014,
  editor    = {Andrew P. Black and
               Todd D. Millstein},
  title     = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660193},
  isbn      = {978-1-4503-2585-1},
  timestamp = {Thu, 16 Oct 2014 09:05:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014,
  editor    = {Michael F. P. O'Boyle and
               Keshav Pingali},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594291},
  isbn      = {978-1-4503-2784-8},
  timestamp = {Sat, 10 May 2014 14:18:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013,
  editor    = {Giuseppe Castagna},
  title     = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7920},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8},
  doi       = {10.1007/978-3-642-39038-8},
  isbn      = {978-3-642-39037-1},
  timestamp = {Sun, 21 May 2017 00:20:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2013,
  editor    = {Antony L. Hosking and
               Patrick Th. Eugster and
               Cristina V. Lopes},
  title     = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
               Object Oriented Programming Systems Languages {\&} Applications,
               {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
               26-31, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2509136},
  isbn      = {978-1-4503-2374-1},
  timestamp = {Fri, 25 Oct 2013 08:46:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013,
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2491956},
  doi       = {10.1145/2491956},
  isbn      = {978-1-4503-2014-6},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dls/2012,
  editor    = {Alessandro Warth},
  title     = {Proceedings of the 8th Symposium on Dynamic Languages, {DLS} '12,
               Tucson, AZ, USA, October 22, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384577},
  isbn      = {978-1-4503-1564-7},
  timestamp = {Sun, 28 Oct 2012 20:02:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isca/2012,
  title     = {39th International Symposium on Computer Architecture {(ISCA} 2012),
               June 9-13, 2012, Portland, OR, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6230820},
  isbn      = {978-1-4673-0475-7},
  timestamp = {Thu, 16 Oct 2014 17:35:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isca/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  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}
}
@proceedings{DBLP:conf/sigcse/2012,
  editor    = {Laurie A. Smith King and
               David R. Musicant and
               Tracy Camp and
               Paul T. Tymann},
  title     = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1098-7},
  timestamp = {Mon, 05 Mar 2012 08:17:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2012,
  editor    = {Benjamin C. Pierce},
  title     = {Proceedings of {TLDI} 2012: The Seventh {ACM} {SIGPLAN} Workshop on
               Types in Languages Design and Implementation, Philadelphia, PA, USA,
               Saturday, January 28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103786},
  isbn      = {978-1-4503-1120-5},
  timestamp = {Fri, 18 May 2012 21:46:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2011,
  editor    = {Rajiv Gupta and
               Todd C. Mowry},
  title     = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0266-1},
  timestamp = {Mon, 26 Feb 2018 15:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotpar/2011,
  editor    = {Michael McCool and
               Mendel Rosenblum},
  title     = {3rd {USENIX} Workshop on Hot Topics in Parallelism, HotPar'11, Berkeley,
               CA, USA, May 26-27, 2011},
  publisher = {{USENIX} Association},
  year      = {2011},
  url       = {https://www.usenix.org/conference/hotpar11},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotpar/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2011mspc,
  editor    = {Jeffrey S. Vetter and
               Madanlal Musuvathi and
               Xipeng Shen},
  title     = {Proceedings of the 2011 {ACM} {SIGPLAN} workshop on Memory Systems
               Performance and Correctness: held in conjunction with {PLDI} '11,
               San Jose, CA, USA, June 5, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0794-9},
  timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2011mspc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2011,
  editor    = {Mary W. Hall and
               David A. Padua},
  title     = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
               June 4-8, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0663-8},
  timestamp = {Tue, 07 Jun 2011 16:07:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2010,
  editor    = {James C. Hoe and
               Vikram S. Adve},
  title     = {Proceedings of the 15th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-839-1},
  timestamp = {Thu, 18 Mar 2010 15:27:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icde/2010,
  editor    = {Feifei Li and
               Mirella M. Moro and
               Shahram Ghandeharizadeh and
               Jayant R. Haritsa and
               Gerhard Weikum and
               Michael J. Carey and
               Fabio Casati and
               Edward Y. Chang and
               Ioana Manolescu and
               Sharad Mehrotra and
               Umeshwar Dayal and
               Vassilis J. Tsotras},
  title     = {Proceedings of the 26th International Conference on Data Engineering,
               {ICDE} 2010, March 1-6, 2010, Long Beach, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5443872},
  isbn      = {978-1-4244-5444-0},
  timestamp = {Tue, 07 Nov 2017 06:51:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icde/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micro/2010,
  title     = {43rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
               {MICRO} 2010, 4-8 December 2010, Atlanta, Georgia, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5692847},
  isbn      = {978-0-7695-4299-7},
  timestamp = {Thu, 18 Sep 2014 16:58:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micro/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010,
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  title     = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0203-6},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2010,
  editor    = {Ahmed K. Elmagarmid and
               Divyakant Agrawal},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0032-2},
  timestamp = {Mon, 07 Jun 2010 07:19:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1002-1408,
  editor    = {Alastair R. Beresford and
               Simon J. Gay},
  title     = {Proceedings Second International Workshop on Programming Language
               Approaches to Concurrency and Communication-cEntric Software, {PLACES}
               2009, York, UK, 22nd March 2009},
  series    = {{EPTCS}},
  volume    = {17},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.17},
  doi       = {10.4204/EPTCS.17},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-1408},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2008,
  editor    = {Laurie J. Hendren},
  title     = {Compiler Construction, 17th International Conference, {CC} 2008, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4959},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78791-4},
  doi       = {10.1007/978-3-540-78791-4},
  isbn      = {978-3-540-78790-7},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008,
  editor    = {James Hook and
               Peter Thiemann},
  title     = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
               20-28, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-919-7},
  timestamp = {Fri, 23 Jan 2009 12:52:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2008,
  editor    = {George C. Necula and
               Philip Wadler},
  title     = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1328438},
  isbn      = {978-1-59593-689-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2007,
  title     = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4222553},
  isbn      = {0-7695-2828-7},
  timestamp = {Tue, 08 Sep 2015 16:21:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2007,
  editor    = {Richard P. Gabriel and
               David F. Bacon and
               Cristina Videira Lopes and
               Guy L. Steele Jr.},
  title     = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
               October 21-25, 2007, Montreal, Quebec, Canada},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-786-5},
  timestamp = {Tue, 23 Oct 2007 08:00:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2007,
  editor    = {Jeanne Ferrante and
               Kathryn S. McKinley},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-633-2},
  timestamp = {Wed, 13 Jun 2007 10:00:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACMmsp/2006,
  editor    = {Antony L. Hosking and
               Ali{-}Reza Adl{-}Tabatabai},
  title     = {Proceedings of the 2006 workshop on Memory System Performance and
               Correctness, San Jose, California, USA, October 11, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-578-9},
  timestamp = {Thu, 17 Apr 2008 15:03:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ACMmsp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2006,
  editor    = {Andrew Kennedy and
               Fran{\c{c}}ois Pottier},
  title     = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
               September 16, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-483-9},
  timestamp = {Tue, 06 Nov 2007 12:58:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ml/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2005,
  editor    = {Vijay Atluri and
               Catherine A. Meadows and
               Ari Juels},
  title     = {Proceedings of the 12th {ACM} Conference on Computer and Communications
               Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-226-7},
  timestamp = {Mon, 14 Mar 2016 15:38:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005,
  editor    = {Olivier Danvy and
               Benjamin C. Pierce},
  title     = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-064-7},
  timestamp = {Thu, 06 Oct 2005 13:23:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2005,
  editor    = {J. Gregory Morrisett and
               Manuel F{\"{a}}hndrich},
  title     = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, Long Beach, CA, USA,
               January 10, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1040294},
  isbn      = {1-58113-999-3},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2004,
  editor    = {David F. Bacon and
               Amer Diwan},
  title     = {Proceedings of the 4th International Symposium on Memory Management,
               {ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=1029873},
  isbn      = {1-58113-945-4},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2003,
  editor    = {Zhong Shao and
               Peter Lee},
  title     = {Proceedings of TLDI'03: 2003 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, New Orleans, Louisiana,
               USA, January 18, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=604174},
  isbn      = {1-58113-649-8},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2002,
  editor    = {Daniel Le M{\'{e}}tayer},
  title     = {Programming Languages and Systems, 11th European Symposium on Programming,
               {ESOP} 2002, held as Part of the Joint European Conference on Theory
               and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
               2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2305},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45927-8},
  doi       = {10.1007/3-540-45927-8},
  isbn      = {3-540-43363-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2002,
  editor    = {Jens Knoop and
               Laurie J. Hendren},
  title     = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=512529},
  isbn      = {1-58113-463-0},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2002g,
  editor    = {Carla Schlatter Ellis},
  title     = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  publisher = {{USENIX}},
  year      = {2002},
  isbn      = {1-880446-00-6},
  timestamp = {Tue, 27 Aug 2002 09:04:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2002g},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tic/2000,
  editor    = {Robert Harper},
  title     = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
               Canada, September 21, 2000, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2071},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45332-6},
  doi       = {10.1007/3-540-45332-6},
  isbn      = {3-540-42196-3},
  timestamp = {Tue, 14 Aug 2018 17:07:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1999,
  editor    = {Didier R{\'{e}}my and
               Peter Lee},
  title     = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
               1999},
  publisher = {{ACM}},
  year      = {1999},
  isbn      = {1-58113-111-9},
  timestamp = {Mon, 23 Oct 2017 11:53:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/1999,
  editor    = {Jane Prey and
               Robert E. Noonan},
  title     = {Proceedings of the 30th {SIGCSE} Technical Symposium on Computer Science
               Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999},
  publisher = {{ACM}},
  year      = {1999},
  isbn      = {1-58113-085-6},
  timestamp = {Tue, 30 Nov 2004 13:29:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier