Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
publications
Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis
Published in Proceedings of the ACM on Programming Languages, Volume 9, Issue OOPSLA2 (OOPSLA 2025), 2025
Guanlin Chen*, Ruyi Ji*, Shuhao Zhang*, Yingfei Xiong. Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis. Proceedings of the ACM on Programming Languages, Volume 9, Issue OOPSLA2, Pages 3508-3532.
DOI | PDF | Supplementary Materials