bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@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}
}
@book{Pierce:SF4,
  author = {Leonidas Lampropoulos and Benjamin C. Pierce},
  title = {{QuickChick}: Property-Based Testing in Coq},
  series = {Software Foundations series, volume 4},
  month = aug,
  year = {2018},
  publisher = {Electronic textbook},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification,books},
  note = {Version 1.0.  \URL{http://www.cis.upenn.edu/~bcpierce/sf}},
  ebook = {http://www.cis.upenn.edu/~bcpierce/sf}
}
@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}
}
@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}
}
@incollection{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 = {Foundations of Programming and Software systems: Probabilistic Programming},
  editor = {Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva},
  year = {2019},
  url = {https://arxiv.org/abs/1607.05443},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification},
  note = {To appear.  An earlier version appeared in ACM SIGPLAN Symposium on Principles of Programming
                  Languages (POPL), Jan 2017}
}
@inproceedings{beginners-luck:popl,
  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{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: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{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{Pierce:ClimateCommitteReportAtICFP18,
  author = {Michael W. Hicks and Crista Lopes and Jens Palsberg 
                  and Benjamin C. Pierce},
  title = {{SIGPLAN} and Climate Change: {A} report from the {SIGPLAN}
                  committee on climate change},
  month = sep,
  year = 2018,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/ICFP2018-slides.pdf},
  keynote = {http://www.cis.upenn.edu/~bcpierce/papers/ICFP2018-slides.key},
  video = {XXXXX},
  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}
}
@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}
}
@inproceedings{abate2018good,
  title = {When good components go bad: Formally secure compilation despite dynamic compromise},
  author = {Abate, Carmine and Azevedo de Amorim, Arthur and Blanco, Roberto and Evans, Ana Nora and Fachini, Guglielmo and Hritcu, Catalin and Laurent, Th{\'e}o and Pierce, Benjamin C and Stronati, Marco and Tolmach, Andrew},
  booktitle = {Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security},
  pages = {1351--1368},
  year = {2018},
  organization = {ACM},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}
@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}
}
@inproceedings{CPP-2019,
  author = {Nicolas Koh and
                  Yao Li and
                  Yishuai Li and
                  Li-yao Xia and
                  Lennart Beringer and
                  Wolf Honore and
                  William Mansky and
                  Benjamin C. Pierce and
                  Steve Zdancewic},
  title = {From {C} to Interaction Trees: {S}pecifying, Verifying, 
                  and Testing a Networked Server},
  booktitle = {8th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  month = jan,
  year = 2019,
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/deepweb-cpp-2019.pdf}
}
@misc{lampropoulos19fuzzchick,
  author = {Leonidas Lampropoulos and Michael Hicks and
                  Benjamin C. Pierce},
  title = {Coverage Guided, Property Based Testing},
  year = 2019,
  month = apr,
  short = {https://www.cs.umd.edu/~mwh/papers/lampropoulos19fuzzchick.html},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/fuzzchick-hcss2019.pdf},
  note = {Submitted for publication in PACMPL / OOPSLA 2019},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc}
}
@misc{miltner19:symmetric,
  author = {Anders Miltner and Solomon Maina and Kathleen Fisher
                  and Benjamin C. Pierce and David Walker and Steve Zdancewic},
  title = {Synthesizing Symmetric Lenses},
  year = 2019,
  month = sep,
  note = {Accepted for publication in PACMPL / ICFP 2019},
  bcp = {Yes},
  plclub = {Yes},
  keys = {harmony}
}
@misc{zhang19:fuzzi,
  author = {Hengchu Zhang and Edo Roth and Andreas Haeberlen and Benjamin C. Pierce and Aaron Roth},
  title = {Fuzzi: A Three-Level Logic for Differential Privacy},
  year = 2019,
  month = sep,
  note = {Accepted for publication in PACMPL / ICFP 2019},
  bcp = {Yes},
  plclub = {Yes},
  keys = {privacy}
}