Jessica Shi, Benjamin Pierce, and Andrew Head. Towards a Science of Interactive Proof Reading. In 13th annual workshop on the intersection of HCI and PL (PLATEAU), 2023. [ bib ]

Benjamin C. Pierce. Imagining the Reader, July 2022. Talk at Programming Languages Mentoring Workshop (PLMW). [ bib | slides ]

Matthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrés Monroy-Hernández, Benjamin C. Pierce, Sean Rintel, and Donghee Yvette Wohn. Social Presence in Virtual Event Spaces. In CHI Conference on Human Factors in Computing Systems Extended Abstracts, CHI EA '22, New York, NY, USA, 2022. Association for Computing Machinery. [ bib | DOI | DOI | pdf ]

Keywords: Virtual conventions, Virtual conferences, Virtual meetings, Awareness, Social presence

Derek Dreyer and Benjamin C. Pierce. On being a PhD student of Robert Harper. Journal of Functional Programming, 32.32, 2022. [ bib ]

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, and Andrew Tolmach. Security Properties for Stack Safety. CoRR, abs/2105.00417, 2021. [ bib | arXiv | pdf ]

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, and Andrew Tolmach. Security Properties for Stack Safety. In Workshop on Foundations of Computer Security (FCS), 2021. [ bib ]

Harrison Goldstein, John Hughes, Leonidas Lampropoulos, and Benjamin C. Pierce. Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing. In Nobuko Yoshida, editor, 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, volume 12648 of Lecture Notes in Computer Science, pages 264--291. Springer, 2021. [ bib | DOI | DOI | pdf ]

Stephanie Weirich and Benjamin C. Pierce. ICFP 2020 Post-Conference Report. CoRR, abs/2104.01239, 2021. [ bib | arXiv | pdf ]

Crista Videira Lopes, Jeanna Matthews, and Benjamin Pierce. Best Practices for Planning Virtual Conferences, May 2020. Northstar Meetings Group blog, https://www.northstarmeetingsgroup.com/Planning-Tips-and-Trends/Event-Planning/Event-Technology/Navigating-New-World-Virtual-Digital-Conferences-in-COVID19-ACM. [ bib ]

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). Virtual Conferences: A Guide to Best Practices, May 2020. https://www.acm.org/virtual-conferences. [ bib ]

Benjamin C. Pierce, Michael Hicks, Crista Lopes, and Jens Palsberg. Conferences in an era of expensive carbon. Commun. ACM, 63(3):35--37, 2020. [ bib | DOI | DOI | pdf ]

Nicolas Koh, Yao Li, Yishuai Li, Li yao Xia, Lennart Beringer, Wolf Honore, William Mansky, Benjamin C. Pierce, and Steve Zdancewic. From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. In 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2019. [ bib | short version ]

Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic. Synthesizing Quotient Lenses. Proceedings of the ACM on Programming Languages (PACMPL ICFP), September 2018. [ bib | short version ]

Michael W. Hicks, Crista Lopes, Jens Palsberg, and Benjamin C. Pierce. SIGPLAN and Climate Change: A report from the SIGPLAN committee on climate change, September 2018. [ bib | video | slides in Keynote format | slides ]

Benjamin C. Pierce. In Memoriam Martin Hofmann, July 2018. The Apple Keynote version includes the music from the presentation, plus the full text in the presenter notes. [ bib | video | slides in Keynote format | slides ]

Richard Kim and Benjamin C. Pierce. Carbon Offsets: An Overview for Scientific Societies, June 2018. Version 1.2. [ bib | pdf ]

Michael W. Hicks, Crista Lopes, Jens Palsberg, and Benjamin C. Pierce. SIGPLAN and Climate Change: A report from SIGPLAN's ad hoc committee on climate change, June 2018. [ bib | video | slides in Keynote format | slides ]

Michael W. Hicks, Crista Lopes, and Benjamin C. Pierce. Engaging with Climate Change: Some Possible Steps for SIGPLAN (Preliminary Report of the SIGPLAN Climate Committee, Version 1.2), June 2018. [ bib | pdf ]

Benjamin C. Pierce. The Curse of Knowledge, January 2018. Talk at Programming Languages Mentoring Workshop (PLMW). [ bib ]

Jean Yang. People of Programming Languages: Interview with Benjamin Pierce, December 2017. [ bib | pdf ]

Benjamin C. Pierce. The Curse of Knowledge, January 2017. Talk at Programming Languages Mentoring Workshop (PLMW). [ bib | slides ]

Benjamin C. Pierce. creativity: sensitivity and surprise, October 2010. Keynote talk at SPLASH / Onward! [ bib | slides ]

Clowdr CIC. Midspace: An open-source platform for virtual academic conferences, 2020--2022. http://midspace.app. [ bib ]