Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ziyi Yang
conf.researchr.org general profile
FLOPS 2022 profile
ISSTA/ECOOP 2024 profile
SPLASH 2022 profile
Registered user since Fri 25 Feb 2022
Name:
Ziyi Yang
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2024
ECOOP
Author of Higher-Order Specifications for Deductive Synthesis of Programs with Pointers within the Technical Papers-track
2022
APLAS
Committee Member in Artifact Evaluation Committee
FLOPS
Author of A Lazy Desugaring System for Evaluating Programs with Sugars within the FLOPS 2022-track
Share
x
Fri 23 Aug 21:25