---
title: "Who cites Eric Schkufza — 33 papers of our library"
description: "33 papers of the Elamur Research library cite the works of Eric Schkufza, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/eric-schkufza/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/eric-schkufza/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Eric Schkufza](https://md.research.elamur.ai/free/en/authors/eric-schkufza/) / cited by

# Who cites Eric Schkufza

36 citations of their works from 33 papers of our library (of the 149,439 whose bibliographies we read) · 7 with a page here, the most cited first · [← Eric Schkufza](https://md.research.elamur.ai/free/en/authors/eric-schkufza/)

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. [**AlphaEvolve: A coding agent for scientific and algorithmic discovery arXiv:2506.13131**Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.*2025 · 202 citations*](https://md.research.elamur.ai/free/en/papers/novikov-2025-alphaevolve-coding-agent-scientific-algorithmic/)
3. [**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/)
4. [**SPoC: Search-based Pseudocode to Code arXiv:1906.04908**Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.*2019 · 96 citations*](https://md.research.elamur.ai/free/en/papers/kulal-2019-spoc-search-based-pseudocode-code/)
5. [**TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions SOSP 2019**Zhihao Jia, Oded Padon, James Thomas, et al.*2019 · 72 citations*](https://md.research.elamur.ai/free/en/papers/jia-2019-taso-optimizing-deep-learning-computation/)
6. [**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/)
7. **[EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking](https://md.research.elamur.ai/free/en/papers/wei-2025-equibench-benchmarking-large-language-models/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Anjiang Wei, Jiannan Cao, Ran Li, et al.*2025 · 8 citations*

26 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/eric-schkufza/) — Eric Schkufza