About Me
I'm a programming languages researcher and software engineer, currently at Qualcomm AI Research.
I got my Ph.D. in 2022 from UC Berkeley, advised by Jonathan Ragan-Kelley. I focused on building and formally analyzing user-schedulable languages for high-performance computing. I am also a maintainer of the Halide language, responsible for the build system, packaging, testing, and release process.
Some of my recent projects include:
- A new user-schedulable language called Exo (PLDI 2022).
- Perceus reference counting in the Koka programming language. (PLDI 2021, distinguished paper)
- Formal semantics for the Halide programming language. This was my Master's thesis.
- A new compiler for the P programming language.
In the past, I worked on the Intune team at Microsoft, the Facebook AI and Research team, and Microsoft Research. My undergraduate thesis was on software synthesis; my paper "A Type-Directed Approach to Program Repair" describes a tool called "Winston" that autocompletes and repairs Java expressions.
In addition to my academic interests, I play progressive metal music on the seven-string electric guitar, and have spent the last few years learning how to cook modernist cuisine.