Abstractions for AI-Based User Interfaces and Systems. - Alex Renda; Harrison Goldstein; Sarah Bird; Chris Quirk; Adrian Sampson (CoRR, 2017)

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. - Harrison Goldstein; John Hughes 001; Leonidas Lampropoulos; Benjamin C. Pierce (ESOP, 2021)

Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. - Harrison Goldstein; Benjamin C. Pierce (CoRR, 2022)

Parsing randomness. - Harrison Goldstein; Benjamin C. Pierce (Proc. ACM Program. Lang., 2022)

Tyche: In Situ Analysis of Random Testing Effectiveness. - Harrison Goldstein; Benjamin C. Pierce; Andrew Head (UIST (Adjunct Volume), 2023)

Stream Types. - Joseph W. Cutler; Christopher Watson; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (CoRR, 2023)

Reflecting on Random Generation: Reflective Generators Development and Experiments. - Harrison Goldstein; Samantha Frohlich; Meng Wang 002; Benjamin C. Pierce (Zenodo, 2023)

Reflecting on Random Generation. - Harrison Goldstein; Samantha Frohlich; Meng Wang 002; Benjamin C. Pierce (Proc. ACM Program. Lang., 2023)

Etna: An Evaluation Platform for Property-Based Testing (Experience Report). - Jessica Shi 002; Alperen Keles; Harrison Goldstein; Benjamin C. Pierce; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2023)

Property-Based Testing in Practice. - Harrison Goldstein; Joseph W. Cutler; Daniel Dickstein; Benjamin C. Pierce; Andrew Head (ICSE, 2024)

Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research. - Valkyrie Savage; Nóra Püsök; Harrison Goldstein; Chandrakana Nandi; Jia Yi Ren; Lora Oehlberg (SCF Adjunct, 2024)

Tyche: Making Sense of PBT Effectiveness. - Harrison Goldstein; Jeffrey Tao; Zac Hatfield-Dodds; Benjamin C. Pierce; Andrew Head (UIST, 2024)

Mica: Automated Differential Testing for OCaml Modules. - Ernest Ng; Harrison Goldstein; Benjamin C. Pierce (CoRR, 2024)

Stream Types. - Joseph W. Cutler; Christopher Watson; Emeka Nkurumeh; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (Proc. ACM Program. Lang., 2024)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)

QED in Context: An Observation Study of Proof Assistant Users. - Jessica Shi 002; Cassia Torczon; Harrison Goldstein; Benjamin C. Pierce; Andrew Head (Proc. ACM Program. Lang., 2025)

Fail Faster: Staging and Fast Randomness for High-Performance PBT. - Cynthia Richey; Joseph W. Cutler; Harrison Goldstein; Benjamin C. Pierce (CoRR, 2025)