bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@misc{Pierce:Onward2010,
  author = {Benjamin C. Pierce},
  title = {creativity: sensitivity and surprise},
  month = oct,
  year = 2010,
  slides = {http://www.cis.upenn.edu/~bcpierce/cgi-bin/photos/Onward.pdf},
  note = {Keynote talk at {\em SPLASH / Onward!}},
  plclub = {Yes},
  bcp = {Yes},
  keys = {misc}
}
@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{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}
}
@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}
}
@article{DBLP:journals/cacm/PierceHLP20,
  author = {Benjamin C. Pierce and
               Michael Hicks and
               Crista Lopes and
               Jens Palsberg},
  title = {Conferences in an era of expensive carbon},
  journal = {Commun. {ACM}},
  volume = {63},
  number = {3},
  pages = {35--37},
  year = {2020},
  url = {https://doi.org/10.1145/3380445},
  doi = {10.1145/3380445},
  timestamp = {Tue, 10 Mar 2020 09:08:18 +0100},
  biburl = {https://dblp.org/rec/journals/cacm/PierceHLP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,climate}
}
@misc{VirtualConferencesPTP,
  author = {{ACM Presidential Task Force on What Conferences
                  Can Do to Replace Face to Face Meetings
                  (co-chairs, Crista Lopes and Jeanna Matthews;
                  executive editor, Benjamin C. Pierce)}},
  title = {Virtual Conferences: {A} Guide to Best Practices},
  year = 2020,
  month = may,
  note = {\URL{https://www.acm.org/virtual-conferences}},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,climate}
}
@misc{VirtualConferencesNorthstar2020,
  author = {Crista Videira Lopes and Jeanna Matthews and Benjamin Pierce},
  title = {Best Practices for Planning Virtual Conferences},
  year = 2020,
  month = may,
  note = {Northstar Meetings Group blog, \URL{https://www.northstarmeetingsgroup.com/Planning-Tips-and-Trends/Event-Planning/Event-Technology/Navigating-New-World-Virtual-Digital-Conferences-in-COVID19-ACM}},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,climate}
}
@article{DBLP:journals/corr/abs-2104-01239,
  author = {Stephanie Weirich and
               Benjamin C. Pierce},
  title = {{ICFP} 2020 Post-Conference Report},
  journal = {CoRR},
  volume = {abs/2104.01239},
  year = {2021},
  url = {https://arxiv.org/abs/2104.01239},
  archiveprefix = {arXiv},
  eprint = {2104.01239},
  timestamp = {Mon, 12 Apr 2021 16:14:56 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2104-01239.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc}
}
@inproceedings{DBLP:conf/esop/GoldsteinHLP21,
  author = {Harrison Goldstein and
                  John Hughes and
                  Leonidas Lampropoulos and
                  Benjamin C. Pierce},
  editor = {Nobuko Yoshida},
  title = {Do Judge a Test by its Cover: Combining Combinatorial
                  and Property-Based Testing},
  booktitle = {Programming Languages and Systems, 30th European Symposium on Programming,
                  {ESOP} 2021, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
                  March 27 - April 1, 2021, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {12648},
  pages = {264--291},
  publisher = {Springer},
  year = {2021},
  url = {https://doi.org/10.1007/978-3-030-72019-3\_10},
  doi = {10.1007/978-3-030-72019-3\_10},
  timestamp = {Wed, 07 Apr 2021 16:01:48 +0200},
  biburl = {https://dblp.org/rec/conf/esop/GoldsteinHLP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,verification}
}
@inproceedings{Anderson2021stack,
  author = {Sean Noble Anderson and
                  Leonidas Lampropoulos and
                  Roberto Blanco and
                  Benjamin C. Pierce and
                  Andrew Tolmach},
  title = {Security Properties for Stack Safety},
  year = {2021},
  booktitle = {Workshop on Foundations of Computer Security (FCS)},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,verification}
}
@article{Anderson2021stack:old2,
  author = {Sean Noble Anderson and
                  Leonidas Lampropoulos and
                  Roberto Blanco and
                  Benjamin C. Pierce and
                  Andrew Tolmach},
  title = {Security Properties for Stack Safety},
  journal = {CoRR},
  volume = {abs/2105.00417},
  year = {2021},
  url = {https://arxiv.org/abs/2105.00417},
  eprinttype = {arXiv},
  eprint = {2105.00417},
  timestamp = {Wed, 12 May 2021 15:54:31 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2105-00417.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,verification}
}
@article{DreyerPierce2022,
  author = {Derek Dreyer and
                  Benjamin C. Pierce},
  title = {On being a {PhD} student of {R}obert {H}arper},
  journal = {Journal of Functional Programming},
  volume = {32.32},
  year = {2022},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc}
}
@inproceedings{10.1145/3491101.3503713,
  author = {J. Bietz, Matthew and Goyal, Nitesh and Immorlica, Nicole and MacIntyre, Blair and Monroy-Hern\'{a}ndez, Andr\'{e}s and C. Pierce, Benjamin and Rintel, Sean and Wohn, Donghee Yvette},
  title = {Social Presence in Virtual Event Spaces},
  year = {2022},
  isbn = {9781450391566},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3491101.3503713},
  doi = {10.1145/3491101.3503713},
  abstract = {It is generally acknowledged that the virtual event platforms of today do not perform satisfactorily at what is arguably their most important function: providing attendees with a sense of social presence. Social presence is the “sense of being with another” and can include ways of knowing who is in the virtual space, how others are reacting to what is happening in the space, an awareness of others’ activities and availability, and an idea of how to connect with them. Issues around presence and awareness have been perennial topics in the CHI and CSCW communities for decades. Nevertheless, the time feels ripe for a new effort with a special focus on larger-scale virtual events, given the accelerated pace of change in the socio-technological landscape and the tremendous potential impact that new insights could now have. The goal of this workshop is to bring together researchers and developers from academia and industry with a shared interest in improving the experience of virtual events to exchange insights and hopefully energize an ongoing community effort in this area.},
  booktitle = {CHI Conference on Human Factors in Computing Systems Extended Abstracts},
  articleno = {106},
  numpages = {5},
  keywords = {Virtual conventions, Virtual conferences, Virtual meetings, Awareness, Social presence},
  location = {New Orleans, LA, USA},
  series = {CHI EA '22},
  plclub = {Yes},
  bcp = {Yes},
  keys = {climate,misc}
}
@misc{Midspace,
  author = {Clowdr CIC},
  title = {{\sc Midspace}: An open-source platform for virtual
                 academic conferences},
  year = {2020--2022},
  note = {\URL{http://midspace.app}},
  keys = {climate,misc}
}
@misc{Pierce:ImaginingTheReader2023,
  author = {Benjamin C. Pierce},
  title = {Imagining the Reader},
  day = 20,
  month = jul,
  year = 2022,
  note = {Talk at Programming Languages Mentoring Workshop (PLMW)},
  plclub = {Yes},
  bcp = {Yes},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/PLMW2023-ImaginingTheReader.pdf},
  keys = {misc}
}
@inproceedings{Shi2023,
  author = {Jessica Shi and Benjamin Pierce and Andrew Head},
  title = {Towards a Science of Interactive Proof Reading},
  year = {2023},
  booktitle = {13th annual workshop on the intersection of HCI and PL (PLATEAU)},
  bcp = {Yes},
  plclub = {Yes},
  keys = {misc,verification}
}