@inproceedings{cs2-09-1,
  title = {{Syntax-Guided Synthesis}},
  author = {Alur, Rajeev and Bodik, Rastislav and Juniwal, Garvit and Martin, Milo M. K. and Raghothaman, Mukund and Seshia, Sanjit A. and Singh, Rishabh and Solar-Lezama, Armando and Torlak, Emina and Udupa, Abhishek},
  year = {2013},
  url = {https://www.cis.upenn.edu/~alur/SyGuS13.pdf},
  booktitle = {FMCAD}
}

@inproceedings{cs2-09-2,
  title = {{Combinatorial Sketching for Finite Programs}},
  author = {Solar-Lezama, Armando and Tancau, Liviu and Bodik, Rastislav and Saraswat, Vijay and Seshia, Sanjit},
  year = {2006},
  url = {https://people.eecs.berkeley.edu/~sseshia/pubdir/asplos06-final.pdf},
  booktitle = {ASPLOS}
}

@inproceedings{cs2-09-3,
  title = {{Oracle-Guided Component-Based Program Synthesis}},
  author = {Jha, Susmit and Gulwani, Sumit and Seshia, Sanjit A. and Tiwari, Ashish},
  year = {2010},
  url = {https://www.csl.sri.com/users/tiwari/papers/icse2010.pdf},
  booktitle = {ICSE}
}

@techreport{cs2-09-4,
  title = {{The SyGuS Language Standard Version 2.1}},
  author = {Padhi, Saswat and Polgreen, Elizabeth and Raghothaman, Mukund and Reynolds, Andrew and Udupa, Abhishek},
  year = {2021},
  url = {https://sygus-org.github.io/assets/pdf/SyGuS-IF\_2.1.pdf},
  institution = {SyGuS language specification}
}

@techreport{cs2-09-5,
  title = {{Semantics-Guided Synthesis}},
  author = {Kim, Jinwoo and Hu, Qinheping and D'Antoni, Loris and Reps, Thomas},
  year = {2020},
  url = {https://arxiv.org/abs/2008.09836},
  doi = {10.48550/arXiv.2008.09836},
  institution = {arXiv, version 2}
}

@techreport{cs2-09-6,
  title = {{Verifying Solutions to Semantics-Guided Synthesis Problems}},
  author = {Murphy, Charlie and Johnson, Keith and Reps, Thomas and D'Antoni, Loris},
  year = {2025},
  url = {https://arxiv.org/abs/2408.15475},
  doi = {10.48550/arXiv.2408.15475},
  institution = {arXiv, version 2}
}