Experience
- Postdoctoral Researcher
University of Washington, 2021–present
Education
- University of Washington, PhD 2021
Thesis: Fast and Flexible Equality Saturation - Carnegie Mellon University, BS 2016
Thesis: Design and Implementation of Concurrent C0
Teaching
- CSE 351, Winter 2019
University of Washington
A ~200 person course on the hardware-software interface, co-taught with Luis Ceze.
Recognition
- Distinguished Paper, OOPSLA 2021, “Rewrite Rule Inference Using Equality Saturation”
- Distinguished Paper, POPL 2021, “egg: Fast and extensible equality saturation”
- Invited Post, SIGPLAN Blog 2021, “Fast and Extensible Equality Saturation with egg”
- Invited Speaker, ICCAD 2019, “Scaling Microfluidics to Complex, Dynamic Protocols”
- Invited Speaker, Biochips Summer School 2019
- Qualcomm Innovation Fellow, 2019
- NSF Graduate Research Fellowship Honorable Mention, 2018
Program Committee Service
- POPL 2024, PC member
- EGRAPHS 2023 workshop at PLDI 2023, Organizer, PC Chair
- PLDI 2023 SRC, PC member and judge
- ICFP 2022, external reviewer
- EGRAPHS 2022 workshop at PLDI 2022, Organizer, PC Chair
Other Service
- SIGPLAN-M mentor, 2021-present
- Co-organizer, CSE Pre-Application Review Service, 2020, 2021
Helped create a program to provide support and feedback on applicants’ CV and statements, especially applicants from historically marginalized populations - Co-chair, PhD student recruiting and visit days, 2019
- Member, Department chair selection committee, 2019
- Member, PhD student application reading committee, 2018-2021
- Co-chair, PhD student orientation, 2018
Publications
-
Better Together: Unifying Datalog and Equality Saturation
PLDI 2023, June 2023 -
Free Join: Unifying Worst-Case Optimal and Traditional Joins
SIGMOD 2023, January 2023 -
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
POPL 2023, January 2023 -
Small Proofs from Congruence Closure
FMCAD 2022, September 2022 -
Virtualizing Existing Fluidic Programs
ACM JETC, August 2022 -
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 -
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 -
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