I am on the academic job market! My interests span programming languages (PL), software engineering (SE), and human-computer interaction (HCI). Feel free to download my application materials if you want to know more about my work.
I am a postdoc at the University of Maryland, working with Leo Lampropoulos as a Victor Basili Postdoctoral Fellow. I also have a part-time position at the University of Pennsylvania, where I recently finished my PhD with Professor Benjamin C. Pierce. 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.
Aug 2, 2024 UIST Paper: Tyche: Making Sense of PBT Effectiveness
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
Tyche: Making Sense of Property-Based Testing Effectiveness
Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head
UIST 2024 Preprint
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
OCaml Workshop 2024 Preprint
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 C. 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 PDF
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
My PhD Compass: 6 Ways to Guide a PhD Towards Success
PLMW @ ICFP 2024 VOD
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
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
Website | harrisongoldste.in | You are here! |
me@harrisongoldste.in | Ideal way to get in touch. | |
X/Twitter | @hgoldstein95 | Not on very often. |
Mastodon | @harrisongoldstein@hci.social | Also not on a lot. |
YouTube | @harrisongoldstein2137 | Talk VODs and occasional shorts. |
Office | Brendan Irebe Center 5252 | Usually in Tuesdays and Thursdays. |
Beli | @hgoldstein95 | Judge my taste in restaurants. |