---
title: "Who cites Program Synthesis by Sketching — 26 citing papers"
description: "26 papers of the Elamur Research library cite «Program Synthesis by Sketching», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Program Synthesis by Sketching](https://md.research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/)

1. [**Syntax-Guided Synthesis FMCAD 2013**Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al.*2013 · 633 citations*](https://md.research.elamur.ai/free/en/papers/alur-2013-syntax-guided-synthesis/)
2. **[CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X](https://md.research.elamur.ai/free/en/papers/zheng-2023-codegeex-pre-trained-model-code/) [ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)](https://md.research.elamur.ai/free/en/venues/acm-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 Synthesis](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/) [Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)**Peter-Michael Osera, Steve Zdancewic*2015 · 198 citations*
4. [**Neuro-Symbolic Program Synthesis arXiv:1611.01855**Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.*2016 · 152 citations*](https://md.research.elamur.ai/free/en/papers/parisotto-2016-neuro-symbolic-program-synthesis/)
5. [**Learning to Represent Programs with Graphs arXiv:1711.00740**Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi*2017 · 127 citations*](https://md.research.elamur.ai/free/en/papers/allamanis-2017-learning-represent-programs-graphs/)
6. **[Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations](https://md.research.elamur.ai/free/en/papers/nandi-2020-synthesizing-structured-cad-models-equality/) [Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)**Chandrakana Nandi, Max Willsey, Adam Anderson, et al.*2020 · 77 citations*
7. [**Program Synthesis Foundations and Trends in Programming Languages 4(1-2)**Sumit Gulwani, Oleksandr Polozov, Rishabh Singh*2017 · 63 citations*](https://md.research.elamur.ai/free/en/papers/gulwani-2017-program-synthesis/)
8. **[Clover: Closed-Loop Verifiable Code Generation](https://md.research.elamur.ai/free/en/papers/sun-2024-clover-closed-loop-verifiable-code/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Chuyue Sun, Ying Sheng, Oded Padon, et al.*2024 · 56 citations*
9. [**Learning to Infer Program Sketches arXiv:1902.06349**Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, et al.*2019 · 53 citations*](https://md.research.elamur.ai/free/en/papers/nye-2019-learning-infer-program-sketches/)
10. [**SpreadsheetCoder: Formula Prediction from Semi-structured Context arXiv:2106.15339**Xinyun Chen, Petros Maniatis, Rishabh Singh, et al.*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/chen-2021-spreadsheetcoder-formula-prediction-semi-structured/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/lezama-2008-program-synthesis-sketching/) — Program Synthesis by Sketching