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}
}