Yihong Zhang (张轶泓)PhD student at Paul G. Allen School of Computer Science & Engineering
yz489 at cs.washington.edu
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)
EGRAPHS @ PLDI 2022
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
Maximilian Schleich, Zixuan Geng, Yihong Zhang, Dan Suciu
Graduate course projects
- A Staged Datalog Compiler using Lightweight Modular Staging
CSE 544 Principles of DBMS
- Combining Statistical Top-down Deductions and Bottom-up Enumerations for Programming by
CSE 573 Artificial Intelligence
- Cornelius: Killing Equivalent and Redundant Mutants with E-graphs
CSE 503: Software Engineering, with Ben Kushigian, Ishan Chatterjee, and Gabrielle Strandquist.
- Sager: A Demonic Graph Synthesizer for Worst-Case Performance
CSE 507 Computer-Aided Reasoning for Software, with Mike He.
Programming for fun
- Hatafun: Embedding the type system of Datafun (ICFP 2016) in Haskell.
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.