Yihong Zhang (张轶泓)

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

---

About me

I am a PhD student studying Computer Science at UW Seattle. I am broadly interested in the theories and applications of programming languages.

Blog  |  Curriculum Vitae  |  Coursework  |  GitHub

Papers and Talks

• Better Together: Unifying Datalog and Equality Saturation
  Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
  PLDI 2023 (conditionally accepted)
  
• Chasing an Egg (Contributed Talk)
  Yihong Zhang
  EGRAPHS @ PLDI 2022
  [abstract]
• Relational E-Matching
  Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
  POPL 2022
  [paper]
• 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
  Maximilian Schleich, Zixuan Geng, Yihong Zhang, Dan Suciu
  VLDB 2021
  [paper] [src]

Theses

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

Graduate course projects

• A Staged Datalog Compiler using Lightweight Modular Staging
  CSE 544 Principles of DBMS
  [report] [src]
• Combining Statistical Top-down Deductions and Bottom-up Enumerations for Programming by Example
  CSE 573 Artificial Intelligence
  [report] [src]
• Cornelius: Killing Equivalent and Redundant Mutants with E-graphs
  CSE 503: Software Engineering, with Ben Kushigian, Ishan Chatterjee, and Gabrielle Strandquist.
  [report] [src]
• Sager: A Demonic Graph Synthesizer for Worst-Case Performance
  CSE 507 Computer-Aided Reasoning for Software, with Mike He.
  [src]

Programming for fun

• Hatafun: Embedding the type system of Datafun (ICFP 2016) in Haskell.

Teaching

During my undergrad, I TAed 3 classes: CSE 341, an introductory PL class for in-major undergrads; CSE 374, an intermediate programming class for non-major undergrads; and CSE 505, a PL class for Professional Masters and PhDs. TAship is fun.