🔗 Who cites «Program Synthesis by Sketching»

26 papers of our library cite it (of the 149,439 whose bibliographies we read) · 10 with a page here, the most cited first · ← back to «Program Synthesis by Sketching»

1. Syntax-Guided SynthesisFMCAD 2013Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al.2013 · 633 citations
2. CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-XACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)Qinkai Zheng, Xiao Xia, Xu Zou, et al.2023 · 465 citations
3. Type-and-Example-Directed Program SynthesisProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationPeter-Michael Osera, Steve Zdancewic2015 · 198 citations
4. Neuro-Symbolic Program SynthesisarXiv:1611.01855Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.2016 · 152 citations
5. Learning to Represent Programs with GraphsarXiv:1711.00740Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi2017 · 127 citations
6. Synthesizing Structured CAD Models with Equality Saturation and Inverse TransformationsProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationChandrakana Nandi, Max Willsey, Adam Anderson, et al.2020 · 77 citations
7. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
8. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
9. Learning to Infer Program SketchesarXiv:1902.06349Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, et al.2019 · 53 citations
10. SpreadsheetCoder: Formula Prediction from Semi-structured ContextarXiv:2106.15339Xinyun Chen, Petros Maniatis, Rishabh Singh, et al.2021 · 31 citations

16 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/cited-by/