Harrison Goldstein

23 papers A* 4A 1Journal 16Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Etna: An Evaluation Platform for Property-Based Testing. CoRR Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2026	J	`jnl`	Programmable Property-Based Testing. CoRR Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos
2025	A*	`conf`	A Qualitative Analysis of Fuzzer Usability and Challenges. CCS Yunze Zhao, Wentao Guo, Harrison Goldstein, Daniel Votipka, Kelsey R. Fulton, Michelle L. Mazurek
2025	A*	`conf`	FEDT: Supporting experiment design and execution in HCI fabrication research. UIST Valkyrie Savage, Harrison Goldstein, Nóra Püsök, Jia Yi Ren, Bhaskar Dutt, Chandrakana Nandi, Lora Oehlberg
2025	J	`jnl`	Fail Faster: Staging and Fast Randomness for High-Performance PBT. CoRR Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce
2025	J	`jnl`	QED in Context: An Observation Study of Proof Assistant Users. Proc. ACM Program. Lang. Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head
2025	J	`jnl`	The Search for Constrained Random Generators. CoRR Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. CoRR Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. Proc. ACM Program. Lang. Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2024	J	`jnl`	Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
2024	—	`conf`	Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research. SCF Adjunct Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren, Lora Oehlberg
2024	J	`jnl`	Mica: Automated Differential Testing for OCaml Modules. CoRR Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
2024	A*	`conf`	Property-Based Testing in Practice. ICSE Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
2024	J	`jnl`	Stream Types. Proc. ACM Program. Lang. Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2024	A*	`conf`	Tyche: Making Sense of PBT Effectiveness. UIST Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head
2023	J	`jnl`	Etna: An Evaluation Platform for Property-Based Testing (Experience Report). Proc. ACM Program. Lang. Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2023	J	`jnl`	Reflecting on Random Generation. Proc. ACM Program. Lang. Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
2023	J	`jnl`	Stream Types. CoRR Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2023	—	`conf`	Tyche: In Situ Analysis of Random Testing Effectiveness. UIST (Adjunct Volume) Harrison Goldstein, Benjamin C. Pierce, Andrew Head
2022	J	`jnl`	Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. CoRR Harrison Goldstein, Benjamin C. Pierce
2022	J	`jnl`	Parsing randomness. Proc. ACM Program. Lang. Harrison Goldstein, Benjamin C. Pierce
2021	A	`conf`	Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
2017	J	`jnl`	Abstractions for AI-Based User Interfaces and Systems. CoRR Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson