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 Author of Chasing an egg within the EGRAPHS 2022-track
PLDI 2022 Author of (POPL 2022) Relational E-Matching within the SIGPLAN Track-track
POPL 2022 Author of Relational E-matching within the POPL-track