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