Work with Zhe Zhou, Ben Delaware, and Suresh Jagannathan on inferring library specifications by black-box sampling of client behavior appeared at OOPSLA 2021. The accompanying artifact, Elrond, won a distinguished artifact award.
I presented some ongoing work on relational verification with specified functions at Purdue’s weekly PurPL seminar. The talk is available on the PurPL website.
A writeup I did for Square’s engineering blog describing techniques for improving the visual style and rendering performance of signatures in Square’s Android client.
The Scheme interpreter from Structure and Interpretation of Computer Programs by Abelson and Sussman, but written in Haskell.