Yihong Zhang (张轶泓)BS/MS student at Paul G. Allen School of Computer Science & Engineering
yz489 at cs.washington.edu
I am a BS/MS studying Computer Science at UW Seattle. I am broadly interested in the theories and applications of programming languages and database systems.Blog | Curriculum Vitae | Coursework | GitHub
Papers and Talks
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 Example
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.