Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis

Guanlin Chen^#, Ruyi Ji^#, Shuhao Zhang^#, Yingfei Xiong^*

OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages · October 2025

Read paper View BibTeX

BibTeX

@inproceedings{OOPSLA25,
  author = {Guanlin Chen and Ruyi Ji and Shuhao Zhang and Yingfei Xiong},
  title = {Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis},
  year = {2025},
  month = {10},
  booktitle = {OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages},
  site_equal = {1,2,3},
  site_corr = {4}
}