I’m a fifth-year Ph.D. candidate at the University of Washington Paul G. Allen School of Computer Science & Engineering. 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.

I’ve 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