Skip to main navigation Skip to search Skip to main content

Harrison Goldstein

Assistant professor 10 months

    20212025

    Research activity per year

    Fingerprint

    Dive into the research topics where Harrison Goldstein is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    • A Qualitative Analysis of Fuzzer Usability and Challenges

      Zhao, Y., Guo, W., Goldstein, H., Votipka, D., Fulton, K. R. & Mazurek, M. L., Nov 22 2025, CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 2504-2518 15 p. (CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security).

      University at Buffalo

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

      Open Access
    • FEDT: Supporting experiment design and execution in HCI fabrication research

      Savage, V., Goldstein, H., Püsök, N., Ren, J. Y., Dutt, B., Nandi, C. & Oehlberg, L., Sep 27 2025, UIST 2025 - Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology. Bianchi, A., Glassman, E. L., Mackay, W. E., Zhao, S., Oakley, I. & Kim, J. (eds.). Association for Computing Machinery, Inc, 108. (UIST 2025 - Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology).

      University at Buffalo

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

      2 Scopus citations
    • QED in Context: An Observation Study of Proof Assistant Users

      Shi, J., Torczon, C., Goldstein, H., Pierce, B. C. & Head, A., Apr 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, 92.

      University at Buffalo

      Research output: Contribution to journalArticlepeer-review

      Open Access
      2 Scopus citations
    • Tuning Random Generators: Property-Based Testing as Probabilistic Programming

      Tjoa, R., Garg, P., Goldstein, H., Millstein, T., Pierce, B. C. & Van Den Broeck, G., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 894-921 28 p.

      University at Buffalo

      Research output: Contribution to journalArticlepeer-review

      Open Access
      1 Scopus citations
    • Daedalus: Safer Document Parsing

      Diatchki, I. S., Dodds, M., Goldstein, H., Harris, B., Holland, D. A., Razet, B., Schlesinger, C. & Winwood, S., Jun 20 2024, In: Proceedings of the ACM on Programming Languages. 8, 180.

      University at Buffalo

      Research output: Contribution to journalArticlepeer-review

      Open Access
      4 Scopus citations