Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages

Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang^*

POPL'26: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages · January 2026

Read paper View BibTeX DOI

BibTeX

@inproceedings{POPL26,
  author = {Zhentao Ye and Ruyi Ji and Yingfei Xiong and Xin Zhang},
  title = {Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages},
  year = {2026},
  month = {1},
  booktitle = {POPL'26: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages},
  site_corr = {4},
  doi = {10.1145/3776679}
}