Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Amy Zhu
conf.researchr.org general profile
ICFP 2023 profile
POPL 2022 profile
SPLASH 2021 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Amy Zhu
Country:
United States
Affiliation:
University of Washington
Contributions
2023
SPLASH
Author of Equality Saturation Theory Exploration à la Carte within the OOPSLA-track
FARM
Author of Exploring Self-Embedded Knitting Programs with Twine within the FARM 2023-track
2022
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
SPLASH
Author of Rewrite Rule Inference Using Equality Saturation within the OOPSLA-track
Author of Rewrite Rule Inference Using Equality Saturation within the Posters-track
Share
x
Thu 21 Nov 11:41