Yihong Zhang (张轶泓)

PhD student at Paul G. Allen School of Computer Science & Engineering
yz489 at cs.washington.edu

---

About me

I am a third-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.

Blog  |  Curriculum Vitae  |  Coursework  |  GitHub

Conferences and Workshops

• Semantic foundations of equality saturation Conference
  Dan Suciu, Yisu Remy Wang, Yihong Zhang
  ICDT 2025
  
• Database Theory + X: Search-based Program Optimization
  Yihong Zhang, Dan Suciu, Yisu Remy Wang, Max Willsey
  ICDT 2025 Database Theory + X track
  
• Efficient Bottom-Up Synthesis for Programs with Local Variables Conference
  Xiang Li^*, Xiangyu Zhou^*, Rui Dong, Yihong Zhang, Xinyu Wang
  POPL 2024
  Selected for MIT PL Review 2024
  [arXiv]
• Ensuring the Termination of EqSat for Terminating Term Rewriting Systems (Contributed Talk)
  Yihong Zhang, Oliver Flatt
  EGRAPHS@PLDI 2023
  [paper] [slides]
• egglog In Practice: Automatically Improving Floating-point Error (Contributed Talk)
  Oliver Flatt, Yihong Zhang
  EGRAPHS@PLDI 2023
  [paper] [talk]
• Better Together: Unifying Datalog and Equality Saturation Conference
  Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
  PLDI 2023
  Selected for MIT PL Review 2024
  [paper] [slides]
• Chasing an Egg (Contributed Talk)
  Yihong Zhang
  EGRAPHS@PLDI 2022
  [abstract] [slides]
• Relational E-Matching Conference
  Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
  POPL 2022
  [paper] [talk]
• Faster and Worst-Case Optimal E-Matching via Reduction to Conjunctive Queries
  Yihong Zhang
  PLDI 2021 Student Research Competition (Undergraduate division)
  Won first place at PLDI SRC and second 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
  VLDB 2021
  [paper] [src] [talk]

Theses

• Towards a Relational E-graph
  Master's Thesis
  Yihong Zhang
  [thesis]

• Faster and Worst-Case Optimal E-Matching
  Undergraduate Honor Thesis
  Yihong Zhang
  [thesis] [slides]