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

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

阅读全文查看 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}
}