Home

About Me - CV

Since July 1st 2020, I'm an assistant professor at the University of Maryland, College Park and a proud member of the PLUM lab. My research uses programming language abstractions to make it easier to write, debug, and reason about software and their specifications, with a particular focus on random testing, formal verification, and their interplay. If you share the same interests, send me an e-mail! You can find more information about my current projects:

• Randomized Property-Based Testing and Fuzzing
  Improving property based-testing, mainly for Coq and Python. Lots of details in the project page.
• Efficient and Trustworthy Proof Engineering
  Improving the quality of life for users of Proof Assistants like Coq.

News

• February 18, 2024:

  Harrison Goldstein is joining UMD as a Victor Basili postdoctoral fellow!

• January 13, 2024:

  Presented an invited talk A QuickChick Carol at the Benjamin Pierce 60th birthday at the Royal Society of London.

• December 28, 2023:

  Presented an invited talk on Generating Well-Typed Terms that are not “Useless” at the Athens Programming Languages Seminar (APLS).

• October 3, 2023:

  The paper Generating Well-Typed Terms that are not “Useless”, with Justin Frank and Benjamin Quiring was accepted to POPL 2024!

• August 23, 2023:

  The paper Object Graph Programming, with Aditya Thimmaia, Christopher Rossbach, and Milos Gligoric was accepted to ICSE 2024!

• July 4, 2023:

  The paper Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing, with Segev Elazar Mittelman, Alvin Resnick, Ivan Perez, and Alwyn Goodloe was accepted to Haskell Symposium 2022!

• May 18, 2023:

  The paper ETNA: An Evaluation Platform for Property-Based Testing (Experience Report), with Jessica Shi, Alperen Keles, Harrison Goldstein, and Benjamin Pierce was accepted to ICFP 2023!

• April 8, 2023:

  The paper Formalizing Stack Safety as a Security Property, with Sean Anderson, Roberto Blanco, Benjamin C. Pierce, and Andrew Tolmach was accepted to CSF 2023!

• February 24, 2023:

  The paper Merging Inductive Relations, led by Jacob Prinz was accepted to PLDI 2023!

• July 1, 2022:

  The paper Liquid Proof Macros, with Henry Blanchette and Niki Vazou was accepted to Haskell Symposium 2022!

• May 21, 2022:

  The paper Random Testing of a Higher-Order Blockchain Language (Experience Report), with Tram Hoang, Anton Trunov, and Ilya Sergey was accepted to ICFP 2022!

• April 6, 2022:

  I got the NSF CAREER award for Fuzzing Formal Specifications!

• March 30, 2022:

  The paper Deeper Shallow Embeddings, with Jacob Prinz and Alex Kavvos, was accepted to ITP 2022!

• February 25, 2022:

  The paper Computing Correctly with Inductive Relations, with Zoe Paraskevopoulou and Aaron Eline, was accepted to PLDI 2022!

• December 7, 2021:

  The paper A Formal Model For Checked C, with Liyi Li, Yiyun Liu, Deena Postol, David Van Horn, and Michel Hicks, was accepted to CSF 2022!

…or you can find more in the archives.