Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guanlin Chen
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Guanlin Chen
Affiliation:
Peking University
Contributions
2025
SPLASH
Author of Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis within the OOPSLA-track
Share
x
Fri 17 Oct 21:57