My love for learning underpins almost everything that I do; I take every chance I get to learn and to grow.
I am currently a PhD student at the University of Pennsylvania, studying under Professor Benjamin Pierce. I combine tools from both programming languages and human-computer interaction to improve the usability and effectiveness of property-based testing.
I love to collaborate, so feel free to reach out if you have anything you'd like to discuss.
Sep 10, 2023 Talk from ICFP: Reflecting on Random Generation
Aug 15, 2023 UIST Demo: Tyche
Jul 29, 2023 Blog Post: I was on TheForkJoin!
Tyche: In Situ Analysis of Random Testing Effectiveness
Harrison Goldstein, Benjamin C. Pierce, Andrew Head
UIST 2023 Demo Abstract
Reflecting on Random Generation (Distinguished Paper)
Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
ICFP 2023 PDF Talk
Etna: An Evaluation Platform for Property-Based Testing
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
ICFP 2023 Experience Report PDF
Parsing Randomness
Harrison Goldstein, Benjamin C. Pierce
OOPSLA 2022 PDF
Some Problems with Properties: A Study on Property-Based Testing in Industry
Harrison Goldstein, Joseph W. Cutler, Adam Stein, Andrew Head, Benjamin C. Pierce
HATRA 2022 PDF Slides
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
ESOP 2021 PDF Video
Programming Language Support for Natural Language Interaction
Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson
SysML 2018 PDF
TheForkJoin Episode 2
TheForkJoin Podcast VOD
Some Problems with Properties
NJPLS October 2022 Abstract
Reflecting on Random Generation
NJPLS May 2022 Abstract
Conferences after COVID: An Early-Career Perspective
Joseph W. Cutler, Harry Goldstein, Andrew K. Hirsch, Jaemin Hong, Chandrakana Nandi
SIGPLAN PL Perspectives - March 25, 2021 Post
Delimited Continuations and Monads
Harrison Goldstein
Unpublished PhD Milestone Draft