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
- 2021 Jan
- Our paper applying
egg
to deep learning graph rewriting will appear at MLSys 2021.
- Our paper applying
- 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.
- 2019 Dec
- I passed my generals exam, so I’m now a PhD candidate!
- 2019 Oct
- I’ll be speaking at a special session on the future of microfludics at ICCAD 2019. You can check out the paper here.
- 2019 Apr
- I’m very excited to be speaking at the Biochips Summer School at CU Boulder. I’ll be joining a bunch of other exciting speakers to talk about building, programming, and using digital microfluidic devices. Check it out!
- The Allen School put together a nice news piece on some of our recent work, including our ASPLOS and Nature Communications papers.
- 2019 Mar
- I’ll be giving two talks at ASPLOS 2019! In the technical track, I’ll talk about Puddle, our new microfluidic programming system. Later in the Wild and Crazy Ideas track, I’ll start a discussion about cloud scale microfluidics.
- 2019 Jan
- I’m super excited to be co-teaching CSE 351 this quarter with Luis! This course covers the hardware-software interface including C, assembly, virtual memory, caches, and so on.
- Some folks in the MISL group put together a paper about our vision of a hybrid molecular-electronic computing platform. It’s in the January 2019 issue of the Proceedings of the IEEE.
Papers
-
Equality Saturation for Tensor Graph Superoptimization
MLSys 2021, January 2021 -
egg
: Fast and Extensible E-graphsPOPL 2021, July 2020Distinguished 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