I’m a post-doctoral researcher in computer science at the University of Washington.
My current focus is
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,
linear algebra optimization.
During my PhD (also at UW), I worked mostly in programming languages (PLSE group), but I enjoyed collaborating with friends in molecular systems (MISL), and machine learning systems (SAMPL). 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.
- 2021 Aug
- 2021 May
- 2021 Apr
- I wrote a post
on the SIGPLAN blog about
- I wrote a post on the SIGPLAN blog about
- 2021 Jan
- 2020 Oct
- 2020 Jun
- 2020 Mar
- Some friends and I wrote a fun paper about synthesizing 3D CAD models. It will appear (virtually!) at PLDI 2020.
OOPSLA 2021, August 2021
MLSys 2021, January 2021
POPL 2021, January 2021Distinguished Paper
IEEE Micro 2020, July 2020
PLDI 2020, March 2020
ICCAD 2019, November 2019Invited Paper
Nature Communications, April 2019
WACI at ASPLOS 2019, April 2019
ASPLOS 2019, April 2019
Proceedings of the IEEE, January 2019Invited paper
IEEE TCAD, October 2018
OBT at POPL, January 2018
Fourth International Workshop on Linearity, June 2016
Senior Honors Thesis, May 2016Designated as Exemplary Thesis by the senior thesis award committee