Papers
-
Database Theory in Action: Search-based Program Optimization
ICDT 2025, DBT in Action Track, May 2024 -
Free Join: Unifying Worst-Case Optimal and Traditional Joins
SIGMOD Record 2024, April 2024 -
Equality Saturation Theory Exploration à la Carte
OOPSLA 2023, October 2023 -
Better Together: Unifying Datalog and Equality Saturation
PLDI 2023, June 2023Selected for MIT PL Review 2024 -
Free Join: Unifying Worst-Case Optimal and Traditional Joins
SIGMOD 2023, January 2023Selected as a SIGMOD Record Research Highlight -
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, SIGPLAN Research Highlight -
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