About Me

I'm a Ph.D. candidate at UC Berkeley advised by Jonathan Ragan-Kelley. I do performance-oriented PL work, with a focus on building and formally analyzing user-schedulable languages. I am also a maintainer of the Halide language, responsible for the build system, versioning, and release process.

Some of my recent projects include the following:

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.