Yihong Zhang (张轶泓)

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

---

About me

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.

Blog  |  Curriculum Vitae  |  Coursework  |  GitHub

Papers and Talks

• 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
  [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 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
  VLDB 2021
  [paper] [src] [talk]

Other projects

• A Staged Datalog Compiler using Lightweight Modular Staging
  Course project of "CSE 544 Principles of DBMS"
  [report] [src]
• Combining Statistical Top-down Deductions and Bottom-up Enumerations for Programming by Example
  Course project of "CSE 573 Artificial Intelligence"
  [report] [src]
• Cornelius: Killing Equivalent and Redundant Mutants with E-graphs
  Course project of "CSE 503: Software Engineering"
  With Ben Kushigian, Ishan Chatterjee, and Gabrielle Strandquist.
  [report] [src]
• Sager: A Demonic Graph Synthesizer for Worst-Case Performance
  Course project of "CSE 507 Computer-Aided Reasoning for Software"
  With Mike He.
  [src]
• Hatafun: Embedding Datafun (ICFP 2016) in Haskell
  [src]
• egraph-sqlite: Equality Saturation on top of SQLite
  [src]