Archives

Complete News List:

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!