bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@inproceedings{MysteriesOfDropbox2016,
  author = {John Hughes and Benjamin C. Pierce and Thomas Arts 
                  and Ulf Norell},
  title = {Mysteries of {D}ropbox: {P}roperty-Based Testing 
                  of a Distributed 
                  Synchronization Service},
  year = 2016,
  booktitle = {International Conference on Software Testing, 
                  Verification and Validation (ICST)},
  month = apr,
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/ICST-2015-mysteries.pdf},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/mysteriesofdropbox.pdf}
}
@book{Pierce:SFold,
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim 
                  and Chris Casinghino and Marco Gaboardi and
                  Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu 
                  and Vilhelm Sj\"{o}berg and Brent Yorgey},
  title = {Software Foundations},
  year = {2017},
  publisher = {Electronic textbook},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification,books},
  note = {Version 5.0.  \URL{http://www.cis.upenn.edu/~bcpierce/sf}},
  ebook = {http://www.cis.upenn.edu/~bcpierce/sf},
  japanese = {http://proofcafe.org/sf}
}
@book{Pierce:SF1,
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim 
                  and Chris Casinghino and Marco Gaboardi and
                  Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu 
                  and Vilhelm Sj\"{o}berg and Brent Yorgey},
  title = {Logical Foundations},
  series = {Software Foundations series, volume 1},
  month = may,
  year = {2018},
  publisher = {Electronic textbook},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification,books},
  note = {Version 5.5.  \URL{http://www.cis.upenn.edu/~bcpierce/sf}},
  ebook = {http://www.cis.upenn.edu/~bcpierce/sf},
  japanese = {http://proofcafe.org/sf}
}
@book{Pierce:SF2,
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim 
                  and Chris Casinghino and Marco Gaboardi and
                  Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu 
                  and Vilhelm Sj\"{o}berg and Andrew Tolmach
                  and Brent Yorgey},
  title = {Programming Language Foundations},
  series = {Software Foundations series, volume 2},
  month = may,
  year = {2018},
  publisher = {Electronic textbook},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification,books},
  note = {Version 5.5.  \URL{http://www.cis.upenn.edu/~bcpierce/sf}},
  ebook = {http://www.cis.upenn.edu/~bcpierce/sf},
  japanese = {http://proofcafe.org/sf}
}
@misc{Pierce:SPLASHTalk2016,
  author = {Benjamin C. Pierce},
  title = {The Science of Deep Specification},
  month = nov,
  year = 2016,
  note = {Invited keynote at {\em SPLASH / OOPSLA}},
  plclub = {Yes},
  bcp = {Yes},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/deepspec-splash2016.pdf},
  video = {https://www.youtube.com/watch?v=IPNdsnRWBkk&t=5s},
  keys = {verification}
}
@misc{Pierce:ETAPSTalk2018,
  author = {Benjamin C. Pierce},
  title = {The Science of Deep Specification},
  month = apr,
  year = 2018,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/pierce-etaps2018.pdf},
  note = {Invited keynote at {\em ETAPS / POST}},
  plclub = {Yes},
  bcp = {Yes},
  video = {https://www.etaps.org/index.php/2018/invited-speakers},
  keys = {verification}
}
@inproceedings{beyond-good-and-evil,
  author = {Yannis Juglaret and
           C\u{a}t\u{a}lin Hri\c{t}cu and
           Arthur {Azevedo de Amorim} and
           Boris Eng and
           Benjamin C. Pierce},
  title = {Beyond Good and Evil: Formalizing the Security Guarantees
                 of Compartmentalizing Compilation},
  booktitle = {29th IEEE Symposium on Computer Security Foundations (CSF)},
  shortbooktitle = {CSF},
  year = {2016},
  month = jul,
  publisher = {IEEE Computer Society Press},
  url = {http://arxiv.org/abs/1602.04503},
  acceptance = {31/87=0.36},
  note = {arXiv:1602.04503},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}
@article{Murawski:2016:2893582,
  title = {Programming language techniques for differential privacy},
  author = {Barthe, Gilles and
                Gaboardi, Marco and
                Hsu, Justin and
                Pierce, Benjamin C},
  pages = {34--53},
  editor = {Murawski, Andrzej},
  journal = {ACM SIGLOG News},
  month = jan,
  year = {2016},
  volume = {3},
  number = {1},
  publisher = {ACM},
  address = {New York, NY, USA},
  url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf},
  bcp = {Yes},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}
@misc{Pierce:DeepSpecHCSS2016,
  author = {Benjamin C. Pierce},
  title = {The Science of Deep Specification},
  month = may,
  year = 2016,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/deepspec-hcss2016-slides.pdf},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification},
  note = {High-Confidence Software Systems (HCSS)}
}
@article{WinogradCort2017,
  author = {Daniel Winograd{-}Cort and
               Andreas Haeberlen and
               Aaron Roth and
               Benjamin C. Pierce},
  title = {A framework for adaptive differential privacy},
  journal = {{PACMPL}},
  volume = {1},
  number = {{ICFP}},
  pages = {10:1--10:29},
  year = {2017},
  url = {http://doi.acm.org/10.1145/3110254},
  doi = {10.1145/3110254},
  timestamp = {Tue, 12 Sep 2017 16:16:51 +0200},
  biburl = {https://dblp.org/rec/bib/journals/pacmpl/Winograd-CortHR17},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  plclub = {Yes},
  bcp = {Yes}
}
@inproceedings{WinogradCort2017-old,
  author = {Daniel Winograd-Cord and Andreas Haeberlen and
                  Aaron Roth and Benjamin C. Pierce},
  title = {A Framework for Adaptive Differential Privacy},
  booktitle = {{ACM} {SIGPLAN} {I}nternational {C}onference on
                  {F}unctional {P}rogramming ({ICFP})},
  month = sep,
  year = 2017,
  keys = {privacy},
  plclub = {Yes},
  bcp = {Yes}
}
@inproceedings{beginners-luck,
  author = {Leonidas Lampropoulos and
                  Diane Gallois-Wong and
                  C\u{a}t\u{a}lin Hri\c{t}cu and
                  John Hughes and
                  Benjamin C. Pierce and
                  {Li-yao} Xia},
  title = {Beginner's {Luck}: A Language for Random Generators},
  booktitle = {44th ACM SIGPLAN Symposium on Principles of Programming
                  Languages (POPL)},
  year = {2017},
  month = jan,
  url = {https://arxiv.org/abs/1607.05443},
  acceptance = {64/279=0.23},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification}
}
@misc{beginners-luck-old,
  author = {Leonidas Lampropoulos and
                  Diane Gallois-Wong and
                  C\u{a}t\u{a}lin Hri\c{t}cu and
                  John Hughes and
                  Benjamin C. Pierce and
                  {Li-yao} Xia},
  title = {Beginner's Luck: A Language for Random Generators},
  url = {https://arxiv.org/abs/1607.05443},
  year = {2016},
  month = jul,
  howpublished = {Draft, arXiv:1607.05443},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification}
}
@misc{Pierce:PLMWTalk2017,
  author = {Benjamin C. Pierce},
  title = {The Curse of Knowledge},
  month = jan,
  year = 2017,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/plmw2017-curse-of-knowledge.pdf},
  note = {Talk at Programming Languages Mentoring Workshop (PLMW)},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc}
}
@misc{Pierce:PLMWTalk2018,
  author = {Benjamin C. Pierce},
  title = {The Curse of Knowledge},
  month = jan,
  year = 2018,
  note = {Talk at Programming Languages Mentoring Workshop (PLMW)},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc}
}
@misc{AzevedoDeAmorim17,
  author = {Arthur {Azevedo de Amorim} and
                  C\u{a}t\u{a}lin Hri\c{t}cu and
                  Benjamin C. Pierce},
  title = {The Meaning of Memory Safety},
  howpublished = {arXiv:1705.07354},
  url = {https://arxiv.org/abs/1705.07354},
  year = {2017},
  month = may,
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification}
}
@inproceedings{AzevedoDeAmorim17old,
  author = {Arthur Azevedo de Amorim and
                  C\u{a}t\u{a}lin Hri\c{t}cu and
                  Benjamin C. Pierce},
  title = {The Meaning of Memory Safety},
  booktitle = {ACM Conference on Computer and Communications Security (CCS)},
  year = 2017,
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification},
  note = {Under submission}
}
@misc{Pierce:ReleaseInterview,
  author = {Benjamin C. Pierce},
  title = {{Interview with Tijs van der Storm on The Science of Deep Specification for release.nl magazine}},
  month = nov,
  year = 2016,
  transcript = {http://release.nl/293/video.html?video=775966},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security,verification}
}
@misc{Pierce:OmegaTauInterview,
  author = {Benjamin C. Pierce},
  title = {{Interview with Markus V\"olter on The Science of Deep Specification for Omega Tau podcast}},
  month = nov,
  year = 2016,
  transcript = {http://omegataupodcast.net/243-formal-specification-and-proof/},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security,verification}
}
@misc{Pierce:NSFtalk2017,
  author = {Benjamin C. Pierce},
  title = {The Science of Deep Specification},
  month = sep,
  year = 2017,
  note = {WATCH lecture at NSF},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification}
}
@misc{Pierce:DeepWeb-dsw2018,
  author = {Benjamin C. Pierce},
  title = {Specifying the {DeepSpec Web Server}},
  month = jun,
  year = 2018,
  note = {Talk at {\it DeepSpec} workshop},
  plclub = {Yes},
  bcp = {Yes},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/DeepWeb-dsw2018.pdf},
  keys = {verification}
}
@article{Appel20160331,
  author = {Appel, Andrew W. and Beringer, Lennart and Chlipala, Adam and Pierce, Benjamin C. and Shao, Zhong and Weirich, Stephanie and Zdancewic, Steve},
  title = {Position paper: the science of deep specification},
  volume = {375},
  number = {2104},
  year = {2017},
  doi = {10.1098/rsta.2016.0331},
  publisher = {The Royal Society},
  abstract = {We introduce our efforts within the project
                  {\textquoteleft}The science of deep
                  specification{\textquoteright} to work out the key
                  formal underpinnings of industrial-scale formal
                  specifications of software and hardware components,
                  anticipating a world where large verified systems
                  are routinely built out of smaller verified
                  components that are also used by many other
                  projects. We identify an important class of
                  specification that has already been used in a few
                  experiments that connect strong
                  component-correctness theorems across the work of
                  different teams. To help popularize the unique
                  advantages of that style, we dub it deep
                  specification, and we say that it encompasses
                  specifications that are rich, two-sided, formal and
                  live (terms that we define in the article). Our core
                  team is developing a proof-of-concept system (based
                  on the Coq proof assistant) whose specification and
                  verification work is divided across largely
                  decoupled subteams at our four institutions,
                  encompassing hardware microarchitecture, compilers,
                  operating systems and applications, along with
                  cross-cutting principles and tools for effective
                  specification. We also aim to catalyse interest in
                  the approach, not just by basic researchers but also
                  by users in industry. This article is part of the
                  themed issue {\textquoteleft}Verified trustworthy
                  software systems{\textquoteright}.},
  issn = {1364-503X},
  url = {http://rsta.royalsocietypublishing.org/content/375/2104/20160331},
  eprint = {http://rsta.royalsocietypublishing.org/content/375/2104/20160331.full.pdf},
  journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security,verification}
}
@article{DBLP:journals/corr/ChongGDMPSSZ16,
  author = {Stephen Chong and
                  Joshua Guttman and
                  Anupam Datta and
                  Andrew C. Myers and
                  Benjamin Pierce and
                  Patrick Schaumont and
                  Tim Sherwood and
                  Nickolai Zeldovich},
  title = {Report on the {NSF} Workshop on Formal Methods for Security},
  journal = {CoRR},
  volume = {abs/1608.00678},
  year = {2016},
  url = {http://arxiv.org/abs/1608.00678},
  timestamp = {Mon, 24 Oct 2016 15:22:59 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/ChongGDMPSSZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  plclub = {Yes},
  bcp = {Yes}
}
@article{DBLP:journals/corr/ChongGDMPSSZ16:again,
  author = {Stephen Chong and
               Joshua Guttman and
               Anupam Datta and
               Andrew C. Myers and
               Benjamin Pierce and
               Patrick Schaumont and
               Tim Sherwood and
               Nickolai Zeldovich},
  title = {Report on the {NSF} Workshop on Formal Methods for Security},
  journal = {CoRR},
  volume = {abs/1608.00678},
  year = {2016},
  url = {http://arxiv.org/abs/1608.00678},
  timestamp = {Mon, 24 Oct 2016 15:22:59 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/ChongGDMPSSZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  plclub = {Yes},
  bcp = {Yes}
}
@article{Miltner&18,
  author = {Anders Miltner and
               Kathleen Fisher and
               Benjamin C. Pierce and
               David Walker and
               Steve Zdancewic},
  title = {Synthesizing bijective lenses},
  journal = {{PACMPL}},
  volume = {2},
  number = {{POPL}},
  pages = {1:1--1:30},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3158089},
  doi = {10.1145/3158089},
  timestamp = {Fri, 05 Jan 2018 12:57:30 +0100},
  biburl = {https://dblp.org/rec/bib/journals/pacmpl/MiltnerFPWZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  plclub = {Yes},
  bcp = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/synth-bij-lenses.pdf},
  keys = {harmony}
}
@article{Miltner&18-old,
  author = {Anders Miltner and
                  Kathleen Fisher and
                  Benjamin C. Pierce and
                  David Walker and
                  Steve Zdancewic},
  title = {Synthesizing Bijective Lenses},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  month = jan,
  year = 2018,
  plclub = {Yes},
  bcp = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/synth-bij-lenses.pdf},
  keys = {harmony}
}
@article{Lampropoulos&18,
  author = {Leonidas Lampropoulos and
               Zoe Paraskevopoulou and
               Benjamin C. Pierce},
  title = {Generating good generators for inductive relations},
  journal = {{PACMPL}},
  volume = {2},
  number = {{POPL}},
  pages = {45:1--45:30},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3158133},
  doi = {10.1145/3158133},
  timestamp = {Fri, 05 Jan 2018 12:57:30 +0100},
  biburl = {https://dblp.org/rec/bib/journals/pacmpl/LampropoulosPP18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  plclub = {Yes},
  bcp = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/generating-good.pdf},
  keys = {verification}
}
@article{Lampropoulos&18-old,
  author = {Leonidas Lampropoulos and
                  Zoe Paraskevopoulou and
                  Benjamin C. Pierce },
  title = {Generating Good Generators for Inductive Relations},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL POPL)},
  month = jan,
  year = 2018,
  plclub = {Yes},
  bcp = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/generating-good.pdf}
}
@misc{Pierce:ClimateCommitteReport,
  author = {Michael W. Hicks and Crista Lopes and Benjamin C. Pierce},
  title = {Engaging with Climate Change: 
                  Some Possible Steps for SIGPLAN 
                  (Preliminary Report of the SIGPLAN Climate Committee, Version 1.2)},
  month = jun,
  year = 2018,
  url = {http://www.cis.upenn.edu/~bcpierce/papers/sigplan-climate-report.pdf},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc,climate}
}
@misc{Pierce:ClimateCommitteReportAtPLDI18,
  author = {Michael W. Hicks and Crista Lopes and Jens Palsberg 
                  and Benjamin C. Pierce},
  title = {{SIGPLAN} and Climate Change: {A} report from {SIGPLAN}'s 
                  ad hoc committee on climate change},
  month = jun,
  year = 2018,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/PLDI2018-townhall-slides.pdf},
  keynote = {http://www.cis.upenn.edu/~bcpierce/papers/PLDI2018-townhall-slides.key},
  video = {http://www.cis.upenn.edu/~bcpierce/papers/PLDI2018-townhall.mov},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc,climate}
}
@misc{CarbonOFfsetReport,
  author = {Richard Kim and Benjamin C. Pierce},
  title = {Carbon Offsets: An Overview for Scientific Societies},
  month = jun,
  year = 2018,
  url = {http://www.cis.upenn.edu/~bcpierce/papers/carbon-offsets.pdf},
  note = {Version 1.2},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc,climate}
}
@inproceedings{DBLP:conf/eurosp/SchoepeBPS16,
  author = {Daniel Schoepe and
               Musard Balliu and
               Benjamin C. Pierce and
               Andrei Sabelfeld},
  title = {Explicit Secrecy: {A} Policy for Taint Tracking},
  booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
               2016, Saarbr{\"{u}}cken, Germany, March 21-24, 2016},
  pages = {15--30},
  year = {2016},
  crossref = {DBLP:conf/eurosp/2016},
  url = {https://doi.org/10.1109/EuroSP.2016.14},
  doi = {10.1109/EuroSP.2016.14},
  timestamp = {Wed, 24 May 2017 08:27:42 +0200},
  biburl = {http://dblp.org/rec/bib/conf/eurosp/SchoepeBPS16},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}
@proceedings{DBLP:conf/eurosp/2016,
  title = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
               2016, Saarbr{\"{u}}cken, Germany, March 21-24, 2016},
  publisher = {{IEEE}},
  year = {2016},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7467055},
  isbn = {978-1-5090-1751-5},
  timestamp = {Sun, 05 Jun 2016 10:00:11 +0200},
  biburl = {http://dblp.org/rec/bib/conf/eurosp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@misc{Yang17,
  author = {Jean Yang},
  title = {People of {P}rogramming {L}anguages: {I}nterview with
                  {B}enjamin {P}ierce},
  month = dec,
  year = 2017,
  url = {http://www.cs.cmu.edu/~popl-interviews/pierce.html},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc}
}
@article{DBLP:journals/corr/abs-1802-00588,
  author = {Guglielmo Fachini and
                  Catalin Hritcu and
                  Marco Stronati and
                  Arthur Azevedo de Amorim and
                  Ana Nora Evans and
                  Carmine Abate and
                  Roberto Blanco and
                  Th{\'{e}}o Laurent and
                  Benjamin C. Pierce and
                  Andrew Tolmach},
  title = {When Good Components Go Bad: Formally Secure
                  Compilation Despite Dynamic Compromise},
  journal = {CoRR},
  volume = {abs/1802.00588},
  year = {2018},
  note = {Under submission},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security},
  url = {http://arxiv.org/abs/1802.00588},
  archiveprefix = {arXiv},
  eprint = {1802.00588},
  timestamp = {Thu, 01 Mar 2018 15:00:45 +0100},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1802-00588},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AmorimHP18,
  author = {Arthur Azevedo de Amorim and
               Catalin Hritcu and
               Benjamin C. Pierce},
  title = {The Meaning of Memory Safety},
  booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
               2018, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
               2018, Proceedings},
  pages = {79--105},
  year = {2018},
  crossref = {DBLP:conf/post/2018},
  url = {https://doi.org/10.1007/978-3-319-89722-6_4},
  doi = {10.1007/978-3-319-89722-6_4},
  timestamp = {Mon, 16 Apr 2018 13:28:26 +0200},
  biburl = {https://dblp.org/rec/bib/conf/post/AmorimHP18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}
@proceedings{DBLP:conf/post/2018,
  editor = {Lujo Bauer and
               Ralf K{\"{u}}sters},
  title = {Principles of Security and Trust - 7th International Conference, {POST}
               2018, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
               2018, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10804},
  publisher = {Springer},
  year = {2018},
  url = {https://doi.org/10.1007/978-3-319-89722-6},
  doi = {10.1007/978-3-319-89722-6},
  isbn = {978-3-319-89721-9},
  timestamp = {Mon, 16 Apr 2018 13:26:44 +0200},
  biburl = {https://dblp.org/rec/bib/conf/post/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{Pierce:MartinHofmannMemorial,
  author = {Benjamin C. Pierce},
  title = {In Memoriam {M}artin {H}ofmann},
  month = jul,
  year = 2018,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.pdf},
  keynote = {http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.key},
  video = {https://www.youtube.com/watch?v=WpWt40l_uDk},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc},
  note = {The Apple Keynote version includes the music from the
                  presentation, plus the full text in the presenter notes}
}
@article{MainaAtAl18,
  author = {Solomon Maina and Anders Miltner and Kathleen Fisher
                  and Benjamin C. Pierce and David Walker and 
                  Steve Zdancewic},
  title = {Synthesizing Quotient Lenses},
  journal = {Proceedings of the ACM on Programming Languages
                  (PACMPL ICFP)},
  month = sep,
  year = 2018,
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/icfp18-synthesizing-quotient-lenses.pdf},
  keys = {harmony}
}