I’m a post-doctoral researcher at the University of Washington, where I also earned my PhD. I work mostly in programming languages (PLSE group), but I enjoy collaborating with friends in molecular systems (MISL), and machine learning systems (SAMPL).

I’m currently working on egg, a toolkit for program optimization and synthesis powered by e-graphs and equality saturation. We’ve applied it to some really fun domains like improving floating point accuracy, shrinking 3D models, and linear algebra optimization.

Earlier in my PhD, I also worked on programming models for microfluidic chips. The Puddle framework aims to provide a safer, easier way to program these devices, which promise to make labs-on-a-chip (LoCs) scalable and affordable.

News

Papers