Yihong Zhang (张轶泓)PhD student at Paul G. Allen School of Computer Science & Engineering
yz489 at cs.washington.edu
I am a second-year PhD student studying Computer Science at UW Seattle, co-advised by Zachary Tatlock and Dan Suciu. I am broadly interested in the theories and applications of programming languages and data management.
Currently, I am working on a program optimization technique called Equality Saturation (EqSat):
- Theory: I try to answer questions like "when does EqSat terminate?".
- System: I am working on a new system called egglog that unifies Datalog and EqSat.
- Technique: I am interested in techniques that make EqSat better. In our POPL 2022 paper we made pattern matching in EqSat asymptotically faster.
- Application: I am always looking to apply EqSat to emerging domains, such as computational fabrication. I am maintaining a list of projects that use equality saturation.
Papers and Talks
Efficient Bottom-Up Synthesis for Programs with Local Variables
Xiang Li*, Xiangyu Zhou*, Rui Dong, Yihong Zhang, Xinyu Wang
Ensuring the Termination of EqSat for Terminating Term Rewriting Systems (Contributed
Yihong Zhang, Oliver Flatt
egglog In Practice: Automatically Improving Floating-point Error (Contributed Talk)
Oliver Flatt, Yihong Zhang
Better Together: Unifying Datalog and Equality Saturation
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Chasing an Egg (Contributed Talk)
Relational E-Matching Conference
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Faster and Worst-Case Optimal E-Matching via Reduction to Conjunctive Queries
PLDI 2021 Student Research Competition (Undergraduate division)
Won 1st place at PLDI SRC and 2nd place in the SRC Grand Finals
[abstract] [poster] [slides] [grand-finals]
GeCo: Quality Counterfactual Explanations in Real Time Conference
Maximilian Schleich, Zixuan Geng, Yihong Zhang, Dan Suciu
[paper] [src] [talk]
- A Staged Datalog Compiler using Lightweight Modular Staging
Course project of "CSE 544 Principles of DBMS"
- Combining Statistical Top-down Deductions and Bottom-up Enumerations for Programming by
Course project of "CSE 573 Artificial Intelligence"
- Cornelius: Killing Equivalent and Redundant Mutants with E-graphs
Course project of "CSE 503: Software Engineering"
With Ben Kushigian, Ishan Chatterjee, and Gabrielle Strandquist.
- Sager: A Demonic Graph Synthesizer for Worst-Case Performance
Course project of "CSE 507 Computer-Aided Reasoning for Software"
With Mike He.
- Hatafun: Embedding Datafun (ICFP 2016) in Haskell
- egraph-sqlite: Equality Saturation on top of SQLite
Towards a Relational E-graph