I do programming languages and computer architecture. I like research that breaks down abstraction barriers and rethinks the hardware–software interface. I worked on approximate computing, the idea that computers can be more efficient if we let them make mistakes. See what’s going on in my research group, which is called Capra.

I am an assistant professor in the Department of Computer Science at Cornell University, where I am also part of the Computer Systems Laboratory. I graduated from the University of Washington in 2015. Here’s my CV.

latest blogging: May 9, 2018 — more bloggingssubscribe

Program Synthesis is Possible

Inspired by Aws Albarghouthi’s primer, I’ll give a little lecture on program synthesis for the last day of this year’s CS 6110. Here’s a code-driven introduction whose goal is to convince you that you too can synthesize programs.

me