Yihong Zhang - PLDI 2023

Registered user since Sun 3 Oct 2021

Name:Yihong Zhang

Bio:

Student at the University of Washington

Country:United States

Affiliation:University of Washington

Research interests:Programming Languages

Contributions

PLDI 2023	Better Together: Unifying Datalog and Equality Saturation
EGRAPHS 2023	egglog In Practice: Automatically Improving Floating-point Error Ensuring the termination of equality saturation for terminating term rewriting systems
Show activities from other conferences

Using general profile