Yihong Zhang

Registered user since Sun 3 Oct 2021

Name:Yihong Zhang

Student at the University of Washington

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


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