Harrison Goldstein

According to our database, Harrison Goldstein authored at least 8 papers between 2017 and 2023.

Collaborative distances:

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

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

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