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.