Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ziyi Yang
conf.researchr.org general profile
FLOPS 2022 profile
ICFP/SPLASH 2025 profile
ISSTA/ECOOP 2024 profile
PLDI 2026 profile
SPLASH 2022 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Fri 25 Feb 2022
Name:
Ziyi Yang
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2026
SPLASH
Author of Semi-declarative Language for Combinatorial Search within the OOPSLA-track
EGRAPHS
Author of Answer Set Programming for Egg Extraction and More within the EGRAPHS-track
2025
SPLASH
Author of Inductive Synthesis of Inductive Heap Predicates within the OOPSLA-track
2024
SLE
Author of DSLs in Racket: You Want It How, Now? within the SLE 2024-track
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 9 Oct 19:39