Harrison Goldstein

Assistant Professor, Computer Science & Engineering · University at Buffalo · he/him Assistant Professor, CSE · University at Buffalo

About Me

My students and I build tools for software validation that address the needs of real users, bringing together programming languages, software engineering, and human–computer interaction. Our projects center on the theoretical, practical, and human sides of property-based testing and formal methods.

Selected Publications

All 32 →
2026 The Search for Constrained Random Generators Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce PLDI 2026 DOI
2026 Fail Faster: Staging and Fast Randomness for High-Performance PBT Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce OOPSLA 2026 DOI
2025 Tuning Random Generators: PBT as Probabilistic Programming Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce, Guy Van den Broeck OOPSLA 2025 DOI
2025 QED in Context: An Observation Study of Proof Assistant Users Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin Pierce, Andrew Head OOPSLA 2025 DOI
2024 Tyche: Making Sense of Property-Based Testing Effectiveness Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head UIST 2024 PDF
2024 Property-Based Testing in PracticeDistinguished Paper Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head ICSE 2024 PDF
2022 Everybody Clap Your Hands: The Cha-Cha Slide is Turing Complete Harrison Goldstein SIGBOVIK 2022 PDF

Recent Talks

All 9 →
Metaprogramming the Next Generation of Testing Tools Lean Together 2026 VOD
The Best New Programming Language is a Proof Assistant DC Systems 006 VOD
My PhD Compass: 6 Ways to Guide a PhD Towards Success PLMW @ ICFP 2024 VOD
Consider Collaboration PLMW @ POPL 2024 · with Samantha Frohlich VOD

From the Blog

All 12 →
Sep 16, 2024 My New Favorite Mocktail Here's a quick post, just sharing a mocktail that I'm workshopping.1 Recipe 2 oz. Lapsang souchong, brewed st… Apr 22, 2024 Don't Give a No-Op Talk I've noticed a common failure mode among academic conference keynotes and other large audience talks that I've… Feb 24, 2019 Brown Butter Chocolate Chip Cookies I know all two of you who read this blog are here for my computer science content, but who doesn't like chocol…