@article{10.1145/3763110,
  author = {Liu, Junrui and Song, Jiaxin and Chen, Yanning and Liu, Hanzhi and Wen, Hongbo and Pearson, Luke and Chen, Yanju and Feng, Yu},
  title = {Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {9},
  number = {OOPSLA2},
  articleno = {332},
  numpages = {27},
  pages = {1671--1697},
  year = {2025},
  month = oct,
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {10.1145/3763110},
  url = {https://doi.org/10.1145/3763110}
}