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
Mon 27 Oct 17:09