Harrison Goldstein
PhD
Research Topics
Software development; programming languages; software engineering; human-computer interaction
Publications
- QED in Context: An Observation Study of Proof Assistant Users Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head Obj.-Oriented Programming, Systs., Langs., and Apps. (OOPSLA) 2025.
- Tyche: Making Sense of Property-Based Testing Effectiveness Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head User Interface Software and Technology (UIST) 2024