John Hughes, Rini Bannerjee, and Benjamin C. Pierce. Adventures in Specification-Based Testing, October 2024. Invited talk at Isaac Newton Institute Workshop on Big Specification: Specification, Proof, and Testing at Scale. [ bib | slides ]

Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, and Andrew Head. Tyche: Making Sense of PBT Effectiveness. In Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, UIST '24, New York, NY, USA, 2024. Association for Computing Machinery. [ bib | DOI | DOI | pdf ]

Keywords: Randomized testing, multiple program executions, property-based testing (PBT), visual feedback

Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, and Andrew Head. Lucid Property-Based Testing, 2024. Under submission. [ bib | pdf ]

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, and Andrew Head. Property-Based Testing in Practice. In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, volume 187 of ICSE '24, pages 1--13, Lisbon, Portugal, 2024. Association for Computing Machinery. [ bib | DOI | DOI | pdf ]

Benjamin C. Pierce, January 2024. Short talk at POPL reception. [ bib | slides ]

Benjamin C. Pierce. delta: Ordered Types for Stream Processing, January 2024. Talk at Trends in Functional Programming (TFP). [ bib | slides ]

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, and Andrew Head. Property-Based Testing in Practice. In International Conference on Software Engineering (ICSE), 2024. [ bib | pdf ]

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce. Stream Types. Proceedings of the ACM on Programming Languages, (PLDI), 2024. To appearJ. W. Cutler, C. Watson, P. Hilliard, H. Goldstein, C. Stanford, and B. C. Pierce, “Stream types,” Proceed- ings of the ACM on Programming Languages, no. PLDI, 2024. To appear. [ bib | pdf ]

Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce. Reflecting on Random Generation. Proceedings of the ACM on Programming Languages, (ICFP), 2024. To appear. [ bib ]

Harrison Goldstein. Tyche: In Situ Exploration of Random Testing Effectiveness (Demo), October 2023. [ bib | pdf ]

Benjamin C. Pierce. What Does Subtyping Mean?, August 2023. Talk at Programming Languages Mentoring Workshop (PLMW). [ bib | slides ]

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Catalin Hritcu, Vilhelm Sjöberg, Andrew Tolmach, and Brent Yorgey. Programming Language Foundations. Software Foundations series, volume 2. Electronic textbook, May 2023. Version 6.6. http://www.cis.upenn.edu/ bcpierce/sf. [ bib | book ]

Harrison Goldstein, Samantha Frohlich, Benjamin C. Pierce, and Meng Wang. Reflecting on Random Generation, February 2023. Under submission. [ bib ]

Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C Pierce, and Leonidas Lampropoulos. Etna: An Evaluation Platform for Property-Based Testing (Experience Report). Proceedings of the ACM on Programming Languages, 7(ICFP):878--894, 2023. [ bib ]

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce. Stream Types, 2023. [ bib | arXiv | pdf ]

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 ]

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, and Andrew Tolmach. Stack Safety as a Security Property. In IEEE Symposium on Computer Security Foundations (CSF). IEEE Computer Society Press, 2023. [ bib ]

Harrison Goldstein, Joseph W. Cutler, Adam Stein, Benjamin C. Pierce, and Andrew Head. Some Problems with Properties. In Workshop on Human Aspects of Types and Reasoning Assistants (HATRA), volume 1, December 2022. [ bib | pdf ]

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

Benjamin C. Pierce. Software Foundations, 15 years on, July 2022. Talk at Newton Institute workshop on Formal Education. [ bib | slides ]

Benjamin C. Pierce. Understanding Property-Based Testing by Talking to People, May 2022. Short talk at Working Group 2.8. [ bib | slides ]

Benjamin C. Pierce. (When) Will Property-Based Testing Rule The World?, May 2022. Keynote at Yow! Lambda Jam Conference. [ bib | slides ]

Joseph Cutler, Harrison Goldstein, Koen Claessen, John Hughes, and Benjamin C. Pierce. Functional Pearl: Holey Generators!, May 2022. Draft. [ bib ]

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, and Steve Zdancewic. C4: Verified Transactional Objects. Proc. ACM Program. Lang., 6(OOPSLA1), apr 2022. [ bib | DOI | DOI | pdf ]

Keywords: concurrency, serializability, linearizability, verification, objects

Mohsen Lesani, Li-Yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, and Steve Zdancewic. C4: Verified Transactional Objects. Proc. ACM Program. Lang., 6(OOPSLA1), apr 2022. [ bib | DOI | DOI | pdf ]

Keywords: objects, serializability, concurrency, verification, linearizability

Mohsen Lesani, Li-Yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, and Steve Zdancewic. Modular Mechanized Verification of Transactional Predication. Proc. ACM Program. Lang., 6(OOPSLA1), April 2022. OOPSLA 2022. [ bib ]

Li-Yao Xia. Executable Semantics with Interaction Trees. PhD thesis, University of Pennsylvania, 2022. [ bib | pdf ]

Yishuai Li. Testing By Dualization. PhD thesis, University of Pennsylvania, 2022. [ bib | pdf ]

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

Harrison Goldstein and Benjamin C. Pierce. Parsing Randomness. Proc. ACM Program. Lang., (OOPSLA), 2022. [ bib ]

Harrison Goldstein and Benjamin C. Pierce. Making Better Choices: Guiding Random Generators with Derivatives, 2022. Draft. [ bib ]

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

Harrison Goldstein and Benjamin C. Pierce. Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. CoRR, abs/2203.00652, 2022. [ bib | DOI | arXiv | DOI | pdf ]

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 Simone D. J. Barbosa, Cliff Lampe, Caroline Appert, and David A. Shamma, editors, CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022 - 5 May 2022, Extended Abstracts, pages 106:1--106:5. ACM, 2022. [ bib | DOI | DOI | pdf ]