Yihong Zhang (张轶泓)
BS/MS student at Paul G. Allen School of Computer Science & Engineering$(firstname[0])$(lastname[0])489@cs.washington.edu
About me
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 | GitHubPapers
-
Your Next E-graph Framework Looks Like Datalog (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
1st place in undergraduate category
[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
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.