Papers
Filter by venue
2026
The Search for Constrained Random Generators
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
2026
Etna: An Evaluation Platform for Property-Based Testing
Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2026
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce
2026
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos
2026
Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
Hita Kambhamettu, Will Crichton, Sean Welleck, Harrison Goldstein, Andrew Head
2025
Tuning Random Generators: PBT as Probabilistic Programming
Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce, Guy Van den Broeck
2025
QED in Context: An Observation Study of Proof Assistant Users
Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin Pierce, Andrew Head
2025
FEDT: Supporting Experiment Design and Execution in HCI Fabrication Research
Valkyrie Savage, Harrison Goldstein, Nóra Püsök, Jia Yi Ren, Bhaskar Dutt, Chandrakana Nandi, Lora Oehlberg
2025
A Qualitative Analysis of Fuzzer Usability and Challenges
Yunze Zhao, Wentao Guo, Harrison Goldstein, Daniel Votipka, Kelsey R. Fulton, Michelle Mazurek
2024
Tyche: Making Sense of Property-Based Testing Effectiveness
Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head
2024
Property-Based Testing in PracticeDistinguished Paper
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
2024
Stream Types
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2024
Daedalus: Safer Document Parsing
Iavor Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David Holland, Benoit Razet, Cole Schlesinger, Simon Winwood
2023
Reflecting on Random GenerationDistinguished Paper
Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
2022
Parsing Randomness
Harrison Goldstein, Benjamin C. Pierce
2021
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
No papers match that venue.
Workshops, Demos, Etc.
2026
Aporia: Asking Questions to Elicit User Decisions
Saketh Kasibatla, Sorin Lerner, Hila Peleg, Benjamin C. Pierce, Harrison Goldstein
2026
What's in a Specification? Exploring Student Conceptions of Formal Specifications
Harrison Goldstein, Cameron Moy, Daniel Patterson
2026
DIRT: Database-Integrated Random Testing
Alperen Keles, Ethan Chou, Harrison Goldstein, Leonidas Lampropoulos
2025
Designing Proof Deautomation for Rocq
Jessica Shi, Cassia Torczon, Harrison Goldstein, Andrew Head, Benjamin Pierce
2025
Think Globally, Discuss PL Locally
Harrison Goldstein, Michael Greenberg, Noam Zilberstein
2024
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
2024
Supporting Characterization Experiments in Fabrication Research
Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren, Lora Oehlberg
2023
Etna: An Evaluation Platform for Property-Based Testing
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2023
Tyche: In Situ Analysis of Random Testing Effectiveness
Harrison Goldstein, Benjamin C. Pierce, Andrew Head
2022
Some Problems with Properties: A Study on Property-Based Testing in Industry
Harrison Goldstein, Joseph W. Cutler, Adam Stein, Benjamin C. Pierce, Andrew Head
2022
Everybody Clap Your Hands: The Cha-Cha Slide is Turing Complete
Harrison Goldstein
2021
Ungenerators
Harrison Goldstein
2021
Delimited Continuations and Monads
Harrison Goldstein
2021
Conferences after COVID: An Early-Career Perspective
Joseph W. Cutler, Harry Goldstein, Andrew K. Hirsch, Jaemin Hong, Chandrakana Nandi
2020
Algebraic Combinatorial Testing
Harrison Goldstein
2018
Programming Language Support for Natural Language Interaction
Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson
Dissertation
2024
Property-Based Testing for the People
Harrison Goldstein · advised by Benjamin C. Pierce
Committee: Stephanie Weirich (chair), Andrew Head, Mayur Naik, Hila Peleg
Committee: Stephanie Weirich (chair), Andrew Head, Mayur Naik, Hila Peleg
Talks & Appearances
Metaprogramming the Next Generation of Testing Tools
Lean Together 2026
VOD
The Best New Programming Language is a Proof Assistant
DC Systems 006
VOD
Haskell Interlude #59
Haskell Interlude · with Samantha Frohlich, Wouter Swierstra
Podcast
My PhD Compass: 6 Ways to Guide a PhD Towards Success
PLMW @ ICFP 2024
VOD
Disseminate #55
Disseminate Podcast · with Jack Waudby
Podcast
Consider Collaboration
PLMW @ POPL 2024 · with Samantha Frohlich
VOD
TheForkJoin #2
TheForkJoin Podcast · with Oliver Flatt, Rachit Nigam
Podcast
Some Problems with Properties
NJPLS, October 2022
Abstract
Reflecting on Random Generation
NJPLS, May 2022
Abstract