- Assistant Professor
- EECS at UC Berkeley
- Soda Hall, 725
- [email protected]
I’m an Assistant Professor in EECS at UC Berkeley. My research aims to make program optimization more robust, powerful, and accessible. Along the way, I use techniques from programming languages, databases, and systems.
Check out these pages for info on my current projects:
- The egg project uses e-graphs to build new kinds of program optimizers.
- The EGRAPHS Community, a community for e-graphs researchers consisting of a forum, a workshop, and a monthly seminary series.
I am recruiting PhD students this year
I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don’t have to have mastery of all those things, but there’s a lot of fun work to do in the intersection.
People
I’m fortunate to work with great collaborators and students, including:
- Russel Abore (PhD student)
- Sarah Morin (PhD student)
- Tyler Hou (Undergrad)
- Michael Arntzenius (Postdoc)
News
-
I am co-organizing a Dagstuhl Seminar on the use of e-graphs in compilation.
-
Our POPL 2021 paper on the egg project was selected as a SIGPLAN Research Highlight!
-
EGRAPHS 2025, will take place at PLDI 2025 in Seoul!
-
Our SIGMOD paper unifying traditional hash joins with worst-case optimal joins was selected as a SIGMOD Record Research Highlight.
-
I’ve started as an Assistant Professor position at EECS at UC Berkeley!
Teaching
- CS 263: Reasoning About Programs
- CS 164: Programming Languages and Compilers
- CS 265: Compiler Optimization
- CS 294-260: Declarative Program Analysis and Optimization
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