About Me Blog Papers

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:

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.