SPoC: Search-based Pseudocode to Code
Not on the map. Why?
Abstract (arXiv)
We consider the task of mapping pseudocode to long programs that are functionally correct. Given test cases as a mechanism to validate programs, we search over the space of possible translations of the pseudocode to find a program that passes the validation. However, without proper credit assignment to localize the sources of program failures, it is difficult to guide search toward more promising programs. We propose to perform credit assignment based on signals from compilation errors, which constitute 88.7% of program failures. Concretely, we treat the translation of each pseudocode line as a discrete portion of the program, and whenever a synthesized program fails to compile, an error localization method tries to identify the portion of the program responsible for the failure. We then focus search over alternative translations of the pseudocode for those portions. For evaluation, we collected the SPoC dataset (Search-based Pseudocode to Code) containing 18,356 programs with human-authored pseudocode and test cases. Under a budget of 100 program compilations, performing search improves the synthesis success rate over using the top-one translation of the pseudocode from 25.6% to 44.7%.
Key facts. Cited by 176 papers in the map (data through 7 Oct 2026). First posted on arXiv 12 Jun 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 11; 2022: 20; 2023: 31; 2024: 48; 2025: 46; 2026: 20.
176 papers.
Sort:
By area:
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,304
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 1,906
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 946
- 2021Measuring Coding Challenge Competence With APPScited by 879
- 2022CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesiscited by 876
- 2021CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generationcited by 732
- 2022InCoder: A Generative Model for Code Infilling and Synthesiscited by 492
- 2023CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-Xcited by 294
- 2023VerilogEval: Evaluating Large Language Models for Verilog Code Generationcited by 246
38 more
- 2024Spider 2.0: Evaluating Language Models on Real-World Enterprise Text-to-SQL Workflowscited by 223
- 2023Is Self-Repair a Silver Bullet for Code Generation?cited by 191
- 2022Adan: Adaptive Nesterov Momentum Algorithm for Faster Optimizing Deep Modelscited by 172
- 2023SantaCoder: don't reach for the stars!cited by 169
- 2022Multi-lingual Evaluation of Code Generation Modelscited by 158
- 2022MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generationcited by 132
- 2023FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Modelscited by 112
- 2023Self-Edit: Fault-Aware Code Editor for Code Generationcited by 110
- 2023Large Language Models as Analogical Reasonerscited by 107
- 2023A Survey of Text Watermarking in the Era of Large Language Modelscited by 102
- 2022Productivity Assessment of Neural Code Completioncited by 97
- 2023Execution-based Code Generation using Deep Reinforcement Learningcited by 95
- 2023The Robots are Here: Navigating the Generative AI Revolution in Computing Educationcited by 85
- 2021Leveraging Automated Unit Tests for Unsupervised Code Translationcited by 82
- 2024AnalogCoder: Analog Circuit Design via Training-Free Code Generationcited by 82
- 2025Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoningcited by 82
- 2023Improving Code Generation by Training with Natural Language Feedbackcited by 75
- 2024Reuse, Don't Retrain: A Recipe for Continued Pretraining of Language Modelscited by 69
- 2024Getting the most out of your tokenizer for pre-training and domain adaptationcited by 65
- 2024Are Your LLMs Capable of Stable Reasoning?cited by 65
- 2023Large Language Models for Supply Chain Optimizationcited by 61
- 2024NExT: Teaching Large Language Models to Reason about Code Executioncited by 60
- 2023CodeTransOcean: A Comprehensive Multilingual Benchmark for Code Translationcited by 55
- 2024Conformal Prediction for Natural Language Processing: A Surveycited by 52
- 2025Diverse Preference Optimizationcited by 48
- 2022Compilable Neural Code Generation with Compiler Feedbackcited by 46
- 2022Code Translation with Compiler Representationscited by 42
- 2023ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifierscited by 41
- 2024The Larger the Better? Improved LLM Code-Generation via Budget Reallocationcited by 41
- 2024CodeJudge: Evaluating Code Generation with Large Language Modelscited by 41
- 2026DeepSWE: Measuring Frontier Coding Agents on Original, Long-Horizon Engineering Taskscited by 41
- 2025How Do Large Language Monkeys Get Their Power (Laws)?cited by 40
- 2023Data Contamination Through the Lens of Timecited by 39
- 2021Communicating Natural Programs to Humans and Machinescited by 35
- 2021Latent Execution for Neural Program Synthesiscited by 35
- 2023SALLM: Security Assessment of Generated Codecited by 35
- 2025MultiKernelBench: A Multi-Platform Benchmark for Kernel Generationcited by 35
- 2024Mercury: A Code Efficiency Benchmark for Code Large Language Modelscited by 34
50 most cited of 176 All 176 (JSON)
- 2026Fork-dLLM: Avoiding the Flexibility Trap in Diffusion Language Models30 Sep 2026
- 2026DeepSWE: Measuring Frontier Coding Agents on Original, Long-Horizon Engineering Tasks8 Jul 2026
- 2026QBugLM: An Agentic Benchmarking Framework for LLM-based Quantum Software Debugging5 Jun 2026
- 2026Mid-Training with Self-Generated Data Improves Reinforcement Learning in Language Models8 May 2026
- 2026Text-to-CAD Evaluation with CADTests8 May 2026
- 2026Exploring Pass-Rate Reward in Reinforcement Learning for Code Generation1 May 2026
- 2026From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification24 Apr 2026
- 2026QRAFTI: An Agentic Framework for Empirical Research in Quantitative Finance20 Apr 2026
- 2026Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?19 Apr 2026
- 2026DuET: Dual Execution for Test Output Prediction with Generated Code and Pseudocode13 Apr 2026
- 2026How Many Tries Does It Take? Iterative Self-Repair in LLM Code Generation Across Model Scales and Benchmarks12 Apr 2026
- 2026A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models10 Apr 2026
38 more
- 2026SQLStructEval: Structural Evaluation of LLM Text-to-SQL Generation8 Apr 2026
- 2026Why Pass@k Optimization Can Degrade Pass@1: Prompt Interference in LLM Post-training24 Feb 2026
- 2026Dynamic Model Routing and Cascading for Efficient LLM Inference: A Survey23 Feb 2026
- 2026Explainable Token-level Noise Filtering for LLM Fine-tuning Datasets16 Feb 2026
- 2026On Randomness in Agentic Evals6 Feb 2026
- 2026More Bang for the Buck: Improving the Inference of Large Language Models at a Fixed Budget using Reset and Discard (ReD)29 Jan 2026
- 2026LeanTutor: Towards a Verified AI Mathematical Proof Tutor24 Jan 2026
- 2026CSSG: Measuring Code Similarity with Semantic Graphs7 Jan 2026
- 2025Assessing the Software Security Comprehension of Large Language Models24 Dec 2025
- 2025LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models12 Dec 2025
- 2025Exploring the Feasibility of End-to-End Large Language Model as a Compiler6 Nov 2025
- 2025Collaborative Agents for Automated Program Repair in Ruby6 Nov 2025
- 2025Advantage Shaping as Surrogate Reward Maximization: Unifying Pass@K Policy Gradients27 Oct 2025
- 2025ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation14 Oct 2025
- 2025LiveOIBench: Can Large Language Models Outperform Human Contestants in Informatics Olympiads?10 Oct 2025
- 2025Efficient Prediction of Pass@k Scaling in Large Language Models6 Oct 2025
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation5 Oct 2025
- 2025A-VERT: Agnostic Verification with Embedding Ranking Targets1 Oct 2025
- 2025Risk-Sensitive RL for Alleviating Exploration Dilemmas in Large Language Models29 Sep 2025
- 2025Pretraining Scaling Laws for Generative Evaluations of Language Models28 Sep 2025
- 2025Tracing the Representation Geometry of Language Models from Pretraining to Post-training27 Sep 2025
- 2025Evaluating Large Language Models for Functional and Maintainable Code in Industrial Settings: A Case Study at ASML15 Sep 2025
- 2025Measuring LLM Code Generation Stability via Structural Entropy19 Aug 2025
- 2025Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction10 Aug 2025
- 2025ChatVis: Large Language Model Agent for Generating Scientific Visualizations30 Jul 2025
- 2025MultiKernelBench: A Multi-Platform Benchmark for Kernel Generation20 Jul 2025
- 2025Drag-and-Drop LLMs: Zero-Shot Prompt-to-Weights19 Jun 2025
- 2025OJBench: A Competition Level Code Benchmark For Large Language Models19 Jun 2025
- 2025How Well Can Reasoning Models Identify and Recover from Unhelpful Thoughts?12 Jun 2025
- 2025HPCTransCompile: An AI Compiler Generated Dataset for High-Performance CUDA Transpilation and LLM Preliminary Exploration12 Jun 2025
- 2025AURA: A Multi-Agent Intelligence Framework for Knowledge-Enhanced Cyber Threat Attribution11 Jun 2025
- 2025LeanTutor: Towards a Verified AI Mathematical Proof Tutor10 Jun 2025
- 2025Flow2Code: Evaluating Large Language Models for Flowchart-based Code Generation Capability2 Jun 2025
- 2025Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoning23 May 2025
- 2025Plan-R1: Safe and Feasible Trajectory Planning as Language Modeling23 May 2025
- 2025Don't Judge Code by Its Cover: Exploring Biases in LLM Judges for Code Evaluation22 May 2025
- 2025Leveraging LLM Inconsistency to Boost Pass@k Performance19 May 2025
- 2025OSS-Bench: Benchmark Generator for Coding LLMs18 May 2025
50 newest of 176 All 176 (JSON)
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 1,906
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2023Large Language Models as Analogical Reasonerscited by 107
- 2025Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoningcited by 82
- 2024Are Your LLMs Capable of Stable Reasoning?cited by 65
- 2024NExT: Teaching Large Language Models to Reason about Code Executioncited by 60
- 2025Diverse Preference Optimizationcited by 48
- 2024RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generationcited by 25
- 2025OJBench: A Competition Level Code Benchmark For Large Language Modelscited by 22
- 2025Plan-R1: Safe and Feasible Trajectory Planning as Language Modelingcited by 19
- 2025ProBench: Benchmarking Large Language Models in Competitive Programmingcited by 15
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluationcited by 15
12 most cited of 17 All 17 (JSON)
- 2026Why Pass@k Optimization Can Degrade Pass@1: Prompt Interference in LLM Post-training24 Feb 2026
- 2025Advantage Shaping as Surrogate Reward Maximization: Unifying Pass@K Policy Gradients27 Oct 2025
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation5 Oct 2025
- 2025Risk-Sensitive RL for Alleviating Exploration Dilemmas in Large Language Models29 Sep 2025
- 2025OJBench: A Competition Level Code Benchmark For Large Language Models19 Jun 2025
- 2025How Well Can Reasoning Models Identify and Recover from Unhelpful Thoughts?12 Jun 2025
- 2025Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoning23 May 2025
- 2025Plan-R1: Safe and Feasible Trajectory Planning as Language Modeling23 May 2025
- 2025ProBench: Benchmarking Large Language Models in Competitive Programming28 Feb 2025
- 2025Diverse Preference Optimization30 Jan 2025
- 2024Are Your LLMs Capable of Stable Reasoning?17 Dec 2024
- 2024SRA-MCTS: Self-driven Reasoning Augmentation with Monte Carlo Tree Search for Code Generation17 Nov 2024
12 newest of 17 All 17 (JSON)
- 2026DeepSWE: Measuring Frontier Coding Agents on Original, Long-Horizon Engineering Taskscited by 41
- 2025QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checkscited by 22
- 2026On Randomness in Agentic Evalscited by 12
- 2025ChatVis: Large Language Model Agent for Generating Scientific Visualizationscited by 7
- 2025Leveraging Metamemory Agent for Enhanced Data-Free Code Generation in Large Language Modelscited by 3
- 2025Fully Autonomous Programming using Iterative Multi-Agent Debugging with Large Language Modelscited by 3
- 2026QRAFTI: An Agentic Framework for Empirical Research in Quantitative Financecited by 2
- 2026QBugLM: An Agentic Benchmarking Framework for LLM-based Quantum Software Debuggingcited by 2
- 2025Collaborative Agents for Automated Program Repair in Rubycited by 1
- 2026DeepSWE: Measuring Frontier Coding Agents on Original, Long-Horizon Engineering Tasks8 Jul 2026
- 2026QBugLM: An Agentic Benchmarking Framework for LLM-based Quantum Software Debugging5 Jun 2026
- 2026QRAFTI: An Agentic Framework for Empirical Research in Quantitative Finance20 Apr 2026
- 2026On Randomness in Agentic Evals6 Feb 2026
- 2025Collaborative Agents for Automated Program Repair in Ruby6 Nov 2025
- 2025ChatVis: Large Language Model Agent for Generating Scientific Visualizations30 Jul 2025
- 2025Fully Autonomous Programming using Iterative Multi-Agent Debugging with Large Language Models10 Mar 2025
- 2025QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks20 Jan 2025
- 2025Leveraging Metamemory Agent for Enhanced Data-Free Code Generation in Large Language Models14 Jan 2025
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,304
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 946
- 2021Measuring Coding Challenge Competence With APPScited by 879
- 2022CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesiscited by 876
- 2021CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generationcited by 732
- 2022InCoder: A Generative Model for Code Infilling and Synthesiscited by 492
- 2023CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-Xcited by 294
- 2023VerilogEval: Evaluating Large Language Models for Verilog Code Generationcited by 246
- 2024Spider 2.0: Evaluating Language Models on Real-World Enterprise Text-to-SQL Workflowscited by 223
- 2023Is Self-Repair a Silver Bullet for Code Generation?cited by 191
12 most cited of 138 All 138 (JSON)
- 2026Text-to-CAD Evaluation with CADTests8 May 2026
- 2026Exploring Pass-Rate Reward in Reinforcement Learning for Code Generation1 May 2026
- 2026From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification24 Apr 2026
- 2026Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?19 Apr 2026
- 2026DuET: Dual Execution for Test Output Prediction with Generated Code and Pseudocode13 Apr 2026
- 2026How Many Tries Does It Take? Iterative Self-Repair in LLM Code Generation Across Model Scales and Benchmarks12 Apr 2026
- 2026SQLStructEval: Structural Evaluation of LLM Text-to-SQL Generation8 Apr 2026
- 2026Explainable Token-level Noise Filtering for LLM Fine-tuning Datasets16 Feb 2026
- 2026More Bang for the Buck: Improving the Inference of Large Language Models at a Fixed Budget using Reset and Discard (ReD)29 Jan 2026
- 2026LeanTutor: Towards a Verified AI Mathematical Proof Tutor24 Jan 2026
- 2026CSSG: Measuring Code Similarity with Semantic Graphs7 Jan 2026
- 2025Assessing the Software Security Comprehension of Large Language Models24 Dec 2025
12 newest of 138 All 138 (JSON)