| layout |
|---|
default |
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
- Property-Based Testing for the People
Harrison Goldstein
advised by Benjamin C. Pierce
approved by Stephanie Weirich (committee chair), Andrew Head, Mayur Naik, Hila Peleg
Defended May 24, 2024 PDF Talk
-
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
## Featured Blog Posts
- Sep 16, 2024
- Apr 22, 2024
- Apr 2, 2018
- Feb 24, 2019
| Website | harrisongoldste.in | You are here! |
| [email protected] | Ideal way to get in touch. | |
| X/Twitter | @hgoldstein95 | Not on very often. |
| Mastodon | @[email protected] | 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. |