About Me
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.
News
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!
Publications
-
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
Talks & Speaking
-
TheForkJoin Episode 2
TheForkJoin Podcast VOD -
Some Problems with Properties
NJPLS October 2022 Abstract -
Reflecting on Random Generation
NJPLS May 2022 Abstract
Other Content
-
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