About Me
I'm a programming languages researcher and software engineer, currently at Adobe. I am also a maintainer of the Halide language, responsible for the build system, packaging, testing, and release process.
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 spent a year after my Ph.D. working at Qualcomm AI Research optimizing LLMs for edge devices.
My recent papers include:
- ASPLOS 2025: The "cursors" system of forwardable references in the latest version of Exo's scheduling language.
- arXiv 2022: Formal semantics for the Halide programming language. An earlier revision was my Master's thesis.
- PLDI 2022: A new user-schedulable language called Exo and its unique "cursors" system
- PLDI 2021 (distinguished paper!): The Perceus reference counting system for the Koka programming language.
In 2017-2018, I rewrote the compiler for the P programming language.
In the past, I interned with the Intune team at Microsoft, the Facebook AI and Research team, and Microsoft Research. My undergraduate thesis was on software synthesis; my CAV 2015 paper "A Type-Directed Approach to Program Repair" describes a tool called "Winston" that autocompletes and repairs Java expressions (pre-LLMs).
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.