About Me
In Fall 2024 I will be on the academic job market! I am looking for tenure-track positions in groups that are hiring faculty with strengths in programming languages, human-computer interaction, and/or software engineering. Please get in touch if you think I may be a good fit for your group!
I recently finished my PhD at the University of Pennsylvania, studying under Professor Benjamin Pierce. In the Fall, I will start as a postdoc at the University of Maryland, working with Leo Lampropoulos as a Victor Basili Postdoctoral Fellow; I will also retain a part-time position at the University of Pennsylvania. My current research focus is on theoretical and human aspects of property-based testing.
I love to collaborate, so feel free to reach out if you have anything you'd like to discuss.
News
Jul 8, 2024 Appeared on the Disseminate Podcast
May 24, 2024 I defended my PhD!
Feb 16, 2024 Victor Basili Fellowship Announcement
Jan 15, 2024 ICSE Distinguished Paper: PBT in Practice
Selected Publications
-
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
OCaml Workshop 2024 -
Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research
Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren and Lora Oehlberg
SCF 2024 Demo -
Stream Types
Joseph W Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin Pierce
PLDI 2024 PDF -
Daedalus: Safer Document Parsing
Iavor Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David Holland, Benoit Razet, Cole Schlesinger, Simon Winwood
PLDI 2024 DOI -
Property-Based Testing in Practice (Distinguished Paper)
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
ICSE 2024 Preprint -
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 -
Everybody Clap Your Hands: The Cha-Cha Slide is Turing Complete
Harrison Goldstein
SIGBOVIK 2022 PDF -
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
Talks & Speaking
-
Property-Based Testing in Practice
Disseminate Podcast Podcast -
Consider Collaboration with Samantha Frohlich
PLMW @ POPL 2024 VOD -
TheForkJoin Episode 2
TheForkJoin Podcast Podcast -
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
Featured Blog Posts
-
Appearance on Disseminate
-
Don't Give a No-Op Talk
-
I was on TheForkJoin!
-
The (Regular) Language of Dance
-
Brown Butter Chocolate Chip Cookies