Yihong Zhang

Registered user since Sun 3 Oct 2021

Name:Yihong Zhang
Bio:

Student at the University of Washington

Country:United States
Affiliation:University of Washington
Personal website:https://effect.systems
Research interests:Programming Languages

Contributions

EGRAPHS 2022 Chasing an egg
PLDI 2022 (POPL 2022) Relational E-Matching
Show activities from other conferences

PLDI 2022-profile
View general profile