About Me
In Fall 2024 I will be on the academic job market! I am interested in tenure-track faculty positions in groups 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 in your group.
I am currently finishing up 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. My current research focus is on property-based testing.
I love to collaborate, so feel free to reach out if you have anything you'd like to discuss.
News
Feb 16, 2024 Victor Basili Fellowship Announcement
Jan 15, 2024 ICSE Distinguished Paper: PBT in Practice
Sep 10, 2023 Talk from ICFP: Reflecting on Random Generation
Selected Publications
-
Stream Types
Joseph W Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin Pierce
PLDI 2024 -
Daedalus: Safer Document Parsing
Iavor Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David Holland, Benoit Razet, Cole Schlesinger, Simon Winwood
PLDI 2024 -
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 -
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
-
Consider Collaboration with Samantha Frohlich
PLMW @ POPL 2024 VOD -
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