cite related work

latex/bib/acmart.bib

@@ -2160,4 +2160,69 @@ @article{chomsky1959certain
     pages={137--167},
     year={1959},
     publisher={Elsevier}
+}
+
+@article{park2024grammar,
+    title={Grammar-Aligned Decoding},
+    author={Park, Kanghee and Wang, Jiayu and Berg-Kirkpatrick, Taylor and Polikarpova, Nadia and D'Antoni, Loris},
+    journal={arXiv preprint arXiv:2405.21047},
+    year={2024}
+}
+
+@article{willard2023efficient,
+    title={Efficient guided generation for {LLMs}},
+    author={Willard, Brandon T and Louf, R{\'e}mi},
+    journal={arXiv preprint arXiv:2307.09702},
+    year={2023}
+}
+
+
+@article{zhang2023ordinalfix,
+    title={OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability},
+    author={Zhang, Wenjie and Wang, Guancheng and Chen, Junjie and Xiong, Yingfei and Liu, Yong and Zhang, Lu},
+    journal={arXiv preprint arXiv:2309.06771},
+    year={2023}
+}
+
+@inproceedings{considine2023pragmatic,
+    title={A Pragmatic Approach to Syntax Repair},
+    author={Considine, Breandan},
+    booktitle={Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity},
+    pages={19--21},
+    year={2023}
+}
+
+@article{ugare2024improving,
+    title={Improving {LLM} code generation with grammar augmentation},
+    author={Ugare, Shubham and Suresh, Tarun and Kang, Hangoo and Misailovic, Sasa and Singh, Gagandeep},
+    journal={arXiv preprint arXiv:2403.01632},
+    year={2024}
+}
+
+@article{fu2024constrained,
+    title={Constrained Decoding for Secure Code Generation},
+    author={Fu, Yanjun and Baker, Ethan and Chen, Yizheng},
+    journal={arXiv preprint arXiv:2405.00218},
+    year={2024}
+}
+
+@article{roy2024flap,
+    title={Flap: Flow adhering planning with constrained decoding in {LLMs}},
+    author={Roy, Shamik and Sengupta, Sailik and Bonadiman, Daniele and Mansour, Saab and Gupta, Arshit},
+    journal={arXiv preprint arXiv:2403.05766},
+    year={2024}
+}
+
+@article{beurer2024guiding,
+    title={Guiding {LLMs} The Right Way: Fast, Non-Invasive Constrained Generation},
+    author={Beurer-Kellner, Luca and Fischer, Marc and Vechev, Martin},
+    journal={arXiv preprint arXiv:2403.06988},
+    year={2024}
+}
+
+@article{bendkowski2022automatic,
+    title={Automatic compile-time synthesis of entropy-optimal Boltzmann samplers},
+    author={Bendkowski, Maciej},
+    journal={arXiv preprint arXiv:2206.06668},
+    year={2022}
 }