I’m a post-doctoral researcher in computer science at the University of Washington.
My current focus is 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.
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.
News
- 2022 Feb
- I am organizing an EGRAPHS workshop to be held at PLDI 2022 in San Diego!
- 2021 Oct
- Our paper on inferring rewrites using equality saturation was a Distinguished Paper at OOPSLA 2021.
- 2021 Sep
- Our paper connecting e-matching to relational databases was (conditionally) accepted to POPL 2022.
- 2021 May
- 2021 Apr
- I wrote a post
on the SIGPLAN blog about
egg
.
- I wrote a post
on the SIGPLAN blog about
- 2021 Jan
- Our paper applying
egg
to deep learning graph rewriting will appear at MLSys 2021.
- Our paper applying
- 2020 Oct
- 2020 Jun
Papers
-
Co-Optimization of Design and Fabrication Plans for Carpentry
ACM TOG, March 2022 -
Relational E-Matching
POPL 2022, January 2022 -
Rewrite Rule Inference Using Equality Saturation
OOPSLA 2021, August 2021Distinguished Paper -
Equality Saturation for Tensor Graph Superoptimization
MLSys 2021, January 2021 -
egg
: Fast and Extensible E-graphsPOPL 2021, January 2021Distinguished Paper -
PurpleDrop: A Digital Microfluidics-based Platform for Hybrid Molecular-Electronics Applications
IEEE Micro 2020, July 2020 -
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
PLDI 2020, March 2020 -
Scaling Microfluidics to Complex, Dynamic Protocols
ICCAD 2019, November 2019Invited Paper -
High Density DNA Data Storage Library via Dehydration with Digital Microfluidic Retrieval
Nature Communications, April 2019 -
Mega-Microfluidics
WACI at ASPLOS 2019, April 2019 -
Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform
ASPLOS 2019, April 2019 -
DNA Data Storage and Hybrid Molecular–Electronic Computing
Proceedings of the IEEE, January 2019Invited paper -
Iterative Search for Reconfigurable Accelerator Blocks with a Compiler in the Loop
IEEE TCAD, October 2018 -
Extensible Semantics for Fluidics
OBT at POPL, January 2018 -
Design and Implementation of Concurrent C0
Fourth International Workshop on Linearity, June 2016 -
Design and Implementation of Concurrent C0
Senior Honors Thesis, May 2016Designated as Exemplary Thesis by the senior thesis award committee