Harrison Goldstein

According to our database, Harrison Goldstein authored at least 19 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tuning Random Generators: Property-Based Testing as Probabilistic Programming.

Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck

CoRR, August, 2025

Fail Faster: Staging and Fast Randomness for High-Performance PBT.

Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce

CoRR, March, 2025

QED in Context: An Observation Study of Proof Assistant Users.

Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head

Proc. ACM Program. Lang., 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

Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology, 2025

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

Stream Types.

Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

Proc. ACM Program. Lang., 2024

Mica: Automated Differential Testing for OCaml Modules.

Ernest Ng, Harrison Goldstein, Benjamin C. Pierce

CoRR, 2024

Tyche: Making Sense of PBT Effectiveness.

Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 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

Proceedings of the ACM Symposium on Computational Fabrication, 2024

Property-Based Testing in Practice.

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Etna: An Evaluation Platform for Property-Based Testing (Experience Report).

Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation.

Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation: Reflective Generators Development and Experiments.

Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce

Dataset, May, 2023

Stream Types.

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

CoRR, 2023

Tyche: In Situ Analysis of Random Testing Effectiveness.

Harrison Goldstein, Benjamin C. Pierce, Andrew Head

Proceedings of the Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

2022

Parsing randomness.

Harrison Goldstein, Benjamin C. Pierce

Proc. ACM Program. Lang., 2022

Parsing Randomness: Unifying and Differentiating Parsers and Random Generators.

Harrison Goldstein, Benjamin C. Pierce

CoRR, 2022

2021

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.

Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2021

2017

Abstractions for AI-Based User Interfaces and Systems.

Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson

CoRR, 2017