On the public citation graph
Program Synthesis
0 signed · 349 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/9781118574522openalex-snapshot
Constraint Satisfaction Problems
inferredcites →https://doi.org/10.1007/bf00175355openalex-snapshot
Genetic programming as a means for programming computers by natural selection
inferredcites →https://doi.org/10.1007/bf01186549openalex-snapshot
Zur Deutung der intuitionistischen Logik
inferredcites →https://doi.org/10.1007/s10009-012-0223-4openalex-snapshot
Template-based program verification and program synthesis
inferredcites →https://doi.org/10.1007/s10994-013-5358-3openalex-snapshot
Meta-interpretive learning: application to grammatical inference
inferredcites →https://doi.org/10.1007/s10994-014-5471-yopenalex-snapshot
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
inferredcites →https://doi.org/10.1016/0004-3702(75)90008-9openalex-snapshot
Knowledge and reasoning in program synthesis
inferredcites →https://doi.org/10.1016/0004-3702(82)90040-6openalex-snapshot
Generalization as search
inferredcites →https://doi.org/10.1016/b978-0-12-420002-9.00004-4openalex-snapshot
Construction and Validation of Food Webs Using Logic-Based Machine Learning and Text Mining
inferredcites →https://doi.org/10.1016/j.jmb.2012.10.014openalex-snapshot
Gene Function Hypotheses for the Campylobacter jejuni Glycome Generated by a Logic-Based Approach
inferredcites →https://doi.org/10.1017/s0956796805005733openalex-snapshot
EDUCATIONAL PEARL: Automata via macros
inferredcites →https://doi.org/10.1017/s1471068407003195openalex-snapshot
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming
inferredcites →https://doi.org/10.1093/protein/5.7.647openalex-snapshot
Protein secondary structure prediction using logic-based machine learning
inferredcites →https://doi.org/10.1109/tse.2011.104openalex-snapshot
GenProg: A Generic Method for Automatic Software Repair
inferredcites →https://doi.org/10.1109/tsmc.1978.4310035openalex-snapshot
The Inference of Regular LISP Programs from Examples
inferredcites →https://doi.org/10.1145/1390156.1390306openalex-snapshot
Listwise approach to learning to rank
inferredcites →https://doi.org/10.1145/2240236.2240260openalex-snapshot
Spreadsheet data manipulation using examples
inferredcites →https://doi.org/10.1145/2535838.2535859openalex-snapshot
Bridging boolean and quantitative synthesis using smoothed proof search
inferredcites →https://doi.org/10.1145/2699430openalex-snapshot
Measuring and Synthesizing Systems in Probabilistic Environments
inferredcites →https://doi.org/10.1145/2813885.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/3009837.3009851openalex-snapshot
Component-based synthesis for complex APIs
inferredcites →https://doi.org/10.1145/3062341.3062353openalex-snapshot
Synthesizing memory models from framework sketches and Litmus tests
inferredcites →https://doi.org/10.1145/321992.322002openalex-snapshot
A Methodology for LISP Program Construction from Examples
inferredcites →https://doi.org/10.1145/362566.362568openalex-snapshot
Toward automatic program synthesis
inferredcites →https://doi.org/10.1186/1471-2105-13-162openalex-snapshot
Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study
inferredcites →https://doi.org/10.1609/aaai.v31i1.10668openalex-snapshot
Automated Data Extraction Using Predictive Program Synthesis
inferredcites →https://doi.org/10.21236/ada016811openalex-snapshot
PYGMALION: A Creative Programming Environment
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.70034openalex-snapshot
Evaluating the Test Adequacy of Benchmarks for LLMs on Code Generation
inferred← citeshttps://doi.org/10.1002/spe.3054openalex-snapshot
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs
inferred← citeshttps://doi.org/10.1002/spe.3255openalex-snapshot
Automatic refactoring of conditions and substitutions for B state transition models
inferred← citeshttps://doi.org/10.1002/spe.3286openalex-snapshot
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-01768-2_30openalex-snapshot
Automatically Wrangling Spreadsheets into Machine Learning Data Formats
inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_36openalex-snapshot
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_17openalex-snapshot
Overfitting in Synthesis: Theory and Practice
inferred← citeshttps://doi.org/10.1007/978-3-030-30923-7_10openalex-snapshot
Learning Guided Enumerative Synthesis for Superoptimization
inferred← citeshttps://doi.org/10.1007/978-3-030-44094-7_14openalex-snapshot
Challenges of Program Synthesis with Grammatical Evolution
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_21openalex-snapshot
Solving Program Sketches with Large Integer Values
inferred← citeshttps://doi.org/10.1007/978-3-030-50936-1_91openalex-snapshot
Semi-automated Synthesis of Control System Software Through Graph Search
inferred← citeshttps://doi.org/10.1007/978-3-030-63882-5_1openalex-snapshot
Formal Verification of Neural Networks?
inferred← citeshttps://doi.org/10.1007/978-3-030-73882-2_8openalex-snapshot
The Recurrent Neural Network for Program Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-030-77474-5_9openalex-snapshot
Pointer Program Synthesis as Non-deterministic Planning
inferred← citeshttps://doi.org/10.1007/978-3-030-78230-6_1openalex-snapshot
Supercharging Plant Configurations Using Z3
inferred← citeshttps://doi.org/10.1007/978-3-030-89051-3_4openalex-snapshot
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-02056-8_13openalex-snapshot
Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-11644-5_3openalex-snapshot
Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes
inferred← citeshttps://doi.org/10.1007/978-3-031-56957-9_7openalex-snapshot
Enhancing Large Language Models-Based Code Generation by Leveraging Genetic Improvement
inferred← citeshttps://doi.org/10.1007/978-3-031-65112-0_7openalex-snapshot
Clover: Closed-Loop Verifiable Code Generation
inferred← citeshttps://doi.org/10.1007/978-3-031-68738-9_35openalex-snapshot
Neuro-Symbolic Artificial Intelligence for Safety Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-70055-2_19openalex-snapshot
Multimodal Adaptive Graph Evolution for Program Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-71294-4_1openalex-snapshot
Parallel Assembly Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-74776-2_6openalex-snapshot
Synthesizing Abstract Transformers for Reduced-Product Domains
inferred← citeshttps://doi.org/10.1007/978-3-031-78750-8_9openalex-snapshot
CTL* Verification and Synthesis Using Existential Horn Clauses
inferred← citeshttps://doi.org/10.1007/978-3-031-81573-7_6openalex-snapshot
Leveraging Conversational AI for Accelerating User-Driven Software Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-82703-7_7openalex-snapshot
Synthesis of Controllers for Continuous Blackbox Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-90653-4_8openalex-snapshot
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
inferred← citeshttps://doi.org/10.1007/978-3-031-97439-7_10openalex-snapshot
$$CTL^*$$ Verification and Synthesis Using Existential Horn Clauses
inferred← citeshttps://doi.org/10.1007/978-3-032-04848-6_9openalex-snapshot
Program Synthesis for Geometric Modeling
inferred← citeshttps://doi.org/10.1007/978-3-032-07021-0_2openalex-snapshot
Synthesis Benchmarks for Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-032-37464-6_30openalex-snapshot
Vision-as-Inverse-Graphics Agent via Interleaved Multimodal Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_3openalex-snapshot
Formal Reasoning About the Security of Amazon Web Services
inferred← citeshttps://doi.org/10.1007/978-981-95-6196-4_18openalex-snapshot
The Parameterization Gap: Backtracking Multimodal NL2PSQL
inferred← citeshttps://doi.org/10.1007/978-981-95-6398-2_9openalex-snapshot
GP and LLMs for Program Synthesis: No Clear Winners
inferred← citeshttps://doi.org/10.1007/978-981-96-9812-7_42openalex-snapshot
Hard400: A Bilingual Code Generation Evaluation Benchmark for Large Language Models
inferred← citeshttps://doi.org/10.1007/s00165-021-00547-2openalex-snapshot
Counterexample-guided inductive synthesis for probabilistic systems
inferred← citeshttps://doi.org/10.1007/s10515-024-00436-xopenalex-snapshot
Automated quantum software engineering
inferred← citeshttps://doi.org/10.1007/s10817-023-09664-4openalex-snapshot
Synthesising Programs with Non-trivial Constants
inferred← citeshttps://doi.org/10.1007/s10844-025-00968-yopenalex-snapshot
On the performance of large language models on introductory programming assignments
inferred← citeshttps://doi.org/10.1007/s10844-026-01085-0openalex-snapshot
Blueprint-SQL: explainable global query optimization via LLM-driven strategic restructuring
inferred← citeshttps://doi.org/10.1007/s10994-024-06543-wopenalex-snapshot
A survey on interpretable reinforcement learning
inferred← citeshttps://doi.org/10.1007/s11390-020-0520-4openalex-snapshot
ProSy: API-Based Synthesis with Probabilistic Model
inferred← citeshttps://doi.org/10.1007/s11432-023-3956-3openalex-snapshot
Deep learning for code generation: a survey
inferred← citeshttps://doi.org/10.1007/s42979-022-01090-4openalex-snapshot
Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions
inferred← citeshttps://doi.org/10.1016/j.aei.2023.102201openalex-snapshot
A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics
inferred← citeshttps://doi.org/10.1016/j.array.2026.101137openalex-snapshot
CodeLSI: Leveraging Foundation Models for automated code generation with low-rank optimization and domain-specific instruction tuning
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103523openalex-snapshot
Deliberative acting, planning and learning with hierarchical operational models
inferred← citeshttps://doi.org/10.1016/j.artint.2023.103962openalex-snapshot
Iterative genetic improvement: Scaling stochastic program synthesis
inferred← citeshttps://doi.org/10.1016/j.cad.2020.102942openalex-snapshot
An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology
inferred← citeshttps://doi.org/10.1016/j.cirp.2023.05.007openalex-snapshot
Digital twins for electro-physical, chemical, and photonic processes
inferred← citeshttps://doi.org/10.1016/j.ins.2025.122156openalex-snapshot
Iterative program synthesis with code knowledge
inferred← citeshttps://doi.org/10.1016/j.jss.2019.03.061openalex-snapshot
Static correction of Maude programs with assertions
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112330openalex-snapshot
Effectiveness of symmetric metamorphic relations on validating the stability of code generation LLM
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102536openalex-snapshot
A family of multi-concept program synthesisers in Alloy⁎
inferred← citeshttps://doi.org/10.1017/9781108654555openalex-snapshot
The Cambridge Handbook of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.001openalex-snapshot
An Important and Timely Field
inferred← citeshttps://doi.org/10.1017/9781108654555.002openalex-snapshot
The History of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.003openalex-snapshot
Computing Education Research Today
inferred← citeshttps://doi.org/10.1017/9781108654555.004openalex-snapshot
Computing EducationLiterature Review and Voices from the Field
inferred← citeshttps://doi.org/10.1017/9781108654555.008openalex-snapshot
Qualitative Methods for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.009openalex-snapshot
Learning Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.010openalex-snapshot
Cognitive Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.012openalex-snapshot
Engineering Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.013openalex-snapshot
Novice Programmers and Introductory Programming
inferred← citeshttps://doi.org/10.1017/9781108654555.014openalex-snapshot
Programming Paradigms and Beyond
inferred← citeshttps://doi.org/10.1017/9781108654555.020openalex-snapshot
Computing for Other Disciplines
inferred← citeshttps://doi.org/10.1017/9781108654555.024openalex-snapshot
Leveraging the Integrated Development Environment for Learning Analytics
inferred← citeshttps://doi.org/10.1017/9781108654555.025openalex-snapshot
Teacher Knowledge for Inclusive Computing Learning
inferred← citeshttps://doi.org/10.1017/9781108654555.026openalex-snapshot
Teacher Learning and Professional Development
inferred← citeshttps://doi.org/10.1017/9781108654555.027openalex-snapshot
Learning Outside the Classroom
inferred← citeshttps://doi.org/10.1017/9781108654555.028openalex-snapshot
Student Knowledge and Misconceptions
inferred← citeshttps://doi.org/10.1017/9781108654555.029openalex-snapshot
Motivation, Attitudes, and Dispositions
inferred← citeshttps://doi.org/10.1017/9781108654555.030openalex-snapshot
Students As Teachers and Communicators
inferred← citeshttps://doi.org/10.1017/9781108654555.031openalex-snapshot
A Case Study of Peer Instruction
inferred← citeshttps://doi.org/10.1017/9781108654555.032openalex-snapshot
A Case Study of Qualitative Methods
inferred← citeshttps://doi.org/10.1017/s0956796820000234openalex-snapshot
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
inferred← citeshttps://doi.org/10.1017/s0956796825100063openalex-snapshot
Inductive synthesis of structurally recursive functional programs from non-recursive expressions
inferred← citeshttps://doi.org/10.1038/s41467-024-50966-xopenalex-snapshot
Symbolic metaprogram search improves learning efficiency and explains rule learning in humans
inferred← citeshttps://doi.org/10.1101/321505openalex-snapshot
Learning list concepts through program induction
inferred← citeshttps://doi.org/10.1109/access.2019.2950232openalex-snapshot
Accelerating API-Based Program Synthesis via API Usage Pattern Mining
inferred← citeshttps://doi.org/10.1109/access.2021.3079351openalex-snapshot
Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning
inferred← citeshttps://doi.org/10.1109/access.2023.3287405openalex-snapshot
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/access.2023.3296802openalex-snapshot
DeepQPrep: Neural Network Augmented Search for Quantum State Preparation
inferred← citeshttps://doi.org/10.1109/access.2025.3530439openalex-snapshot
MagicItem: Dynamic Behavior Design of Virtual Objects With Large Language Models in a Commercial Metaverse Platform
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678520openalex-snapshot
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678533openalex-snapshot
Learning-based Assistant for Data Migration of Enterprise Information Systems
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678657openalex-snapshot
Program Synthesis with Algorithm Pseudocode Guidance
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678705openalex-snapshot
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00242openalex-snapshot
EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
inferred← citeshttps://doi.org/10.1109/ccwc47524.2020.9031149openalex-snapshot
DeeperCoder: Code Generation Using Machine Learning
inferred← citeshttps://doi.org/10.1109/cec60901.2024.10612128openalex-snapshot
Program Synthesis on Single-Layer Loop Behavior in Pure Functional Programming
inferred← citeshttps://doi.org/10.1109/cec65147.2025.11043025openalex-snapshot
LLM-Driven Neighborhood Search for Efficient Heuristic Design
inferred← citeshttps://doi.org/10.1109/cloud49709.2020.00041openalex-snapshot
Auto-Generation of Domain-Specific Systems: Cloud-Hosted DevOps for Business Users
inferred← citeshttps://doi.org/10.1109/cog52621.2021.9619115openalex-snapshot
Adaptive General Search Framework for Games and Beyond
inferred← citeshttps://doi.org/10.1109/compsac48688.2020.0-146openalex-snapshot
Accuracy Improvement for Neural Program Synthesis via Attention Mechanism and Program Slicing
inferred← citeshttps://doi.org/10.1109/compsac48688.2020.0-155openalex-snapshot
How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis?
inferred← citeshttps://doi.org/10.1109/conisoft63288.2024.00013openalex-snapshot
Transforming Software Development: A Study on the Integration of Multi-Agent Systems and Large Language Models for Automatic Code Generation
inferred← citeshttps://doi.org/10.1109/icaa52185.2022.00013openalex-snapshot
A Mapping of Assurance Techniques for Learning Enabled Autonomous Systems to the Systems Engineering Lifecycle
inferred← citeshttps://doi.org/10.1109/icacrs67045.2025.11324363openalex-snapshot
Manimatic: An AI-Powered Framework for Automated Physics Animation Generation using Deep Learning and Programmatic Visualization
inferred← citeshttps://doi.org/10.1109/iccv51070.2023.01447openalex-snapshot
Improving Unsupervised Visual Program Inference with Code Rewriting Families
inferred← citeshttps://doi.org/10.1109/icdcs.2018.00126openalex-snapshot
Software-Defined Software: A Perspective of Machine Learning-Based Software Production
inferred← citeshttps://doi.org/10.1109/icdcsw56584.2022.00032openalex-snapshot
Machine Learning for Aggregate Computing: a Research Roadmap
inferred← citeshttps://doi.org/10.1109/icons62911.2024.00061openalex-snapshot
Neuromorphic Programming: Emerging Directions for Brain-Inspired Hardware
inferred← citeshttps://doi.org/10.1109/icphys.2018.8387644openalex-snapshot
Data-driven and model-based design
inferred← citeshttps://doi.org/10.1109/icse-fose59343.2023.00008openalex-snapshot
Large Language Models for Software Engineering: Survey and Open Problems
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00023openalex-snapshot
SOAR: A Synthesis Approach for Data Science API Refactoring
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00103openalex-snapshot
Synthesizing Object State Transformers for Dynamic Software Updates
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00173openalex-snapshot
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
inferred← citeshttps://doi.org/10.1109/icssit53264.2022.9716270openalex-snapshot
Automating the Creation of Machine Learning Algorithms using basic Math
inferred← citeshttps://doi.org/10.1109/icst.2018.00017openalex-snapshot
Automating Targeted Property-Based Testing
inferred← citeshttps://doi.org/10.1109/infocom59046.2026.11571581openalex-snapshot
T4G: Trace-based P4 Program Generation
inferred← citeshttps://doi.org/10.1109/isca66397.2026.00157openalex-snapshot
TäKōFormal: Enabling Robust Software for Programmable Memory Hierarchies
inferred← citeshttps://doi.org/10.1109/ispras64596.2024.10899123openalex-snapshot
LLM-based Interactive Code Generation: Empirical Evaluation
inferred← citeshttps://doi.org/10.1109/lmiat70705.2026.11682536openalex-snapshot
LLM-as-Tool-Maker: Automatic Generation and Validation of Tool Definitions for Novel Tasks Beyond Predefined API Boundaries
inferred← citeshttps://doi.org/10.1109/lra.2024.3385691openalex-snapshot
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations
inferred← citeshttps://doi.org/10.1109/milcom61039.2024.10773930openalex-snapshot
Co-Synthesis of Code and Formal Models Using Large Language Models and Functors
inferred← citeshttps://doi.org/10.1109/msr66628.2025.00081openalex-snapshot
Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study
inferred← citeshttps://doi.org/10.1109/ojcs.2026.3734832openalex-snapshot
Training-Free Cross-Domain Learning Transfer in Reasoning Models
inferred← citeshttps://doi.org/10.1109/qrs-c51114.2020.00082openalex-snapshot
Probabilistic Synthesis for Program with Non-API Operations
inferred← citeshttps://doi.org/10.1109/qrs-c51114.2020.00117openalex-snapshot
Effective Iterative Program Synthesis with Knowledge Searched from Internet
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00075openalex-snapshot
Automated Synthesis of Quantum Circuits using Neural Network
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00102openalex-snapshot
Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security
inferred← citeshttps://doi.org/10.1109/rws47064.2019.8971824openalex-snapshot
Towards Refinement and Generalization of Reliability Models Based on Component States
inferred← citeshttps://doi.org/10.1109/saner64311.2025.00024openalex-snapshot
LLM-Based Generation of Solidity Smart Contracts from System Requirements in Natural Language: The AstraKode Case
inferred← citeshttps://doi.org/10.1109/scam55253.2022.00014openalex-snapshot
An Empirical Study of Code Smells in Transformer-based Code Generation Techniques
inferred← citeshttps://doi.org/10.1109/scam63643.2024.00020openalex-snapshot
Franc: A Lightweight Framework for High-Quality Code Generation
inferred← citeshttps://doi.org/10.1109/tcsi.2019.2961643openalex-snapshot
Reducing Energy of Approximate Feature Extraction in Heterogeneous Architectures for Sensor Inference via Energy-Aware Genetic Programming
inferred← citeshttps://doi.org/10.1109/tse.2021.3101818openalex-snapshot
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
inferred← citeshttps://doi.org/10.1109/tse.2023.3267446openalex-snapshot
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
inferred← citeshttps://doi.org/10.1109/tse.2023.3275380openalex-snapshot
Learning the Relation Between Code Features and Code Transforms With Structured Prediction
inferred← citeshttps://doi.org/10.1109/tse.2024.3392499openalex-snapshot
No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
inferred← citeshttps://doi.org/10.1109/tse.2024.3428972openalex-snapshot
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
inferred← citeshttps://doi.org/10.1109/tse.2025.3614204openalex-snapshot
A Little Help Goes a Long Way: Tutoring LLMs in Solving Competitive Programming Through Hints
inferred← citeshttps://doi.org/10.1109/tvcg.2022.3209385openalex-snapshot
Rigel: Transforming Tabular Data by Declarative Mapping
inferred← citeshttps://doi.org/10.1109/tvcg.2023.3326585openalex-snapshot
Data Formulator: AI-powered Concept-driven Visualization Authoring
inferred← citeshttps://doi.org/10.1109/vl-hcc65237.2025.00021openalex-snapshot
Debugging into Existence with Program Synthesis
inferred← citeshttps://doi.org/10.1109/vl-hcc65237.2025.00041openalex-snapshot
The Design Space of LLM-Based AI Coding Assistants: An Analysis of 90 Systems in Academia and Industry
inferred← citeshttps://doi.org/10.1111/cgf.14020openalex-snapshot
Learning Generative Models of 3D Structures
inferred← citeshttps://doi.org/10.1111/cgf.14775openalex-snapshot
Neurosymbolic Models for Computer Graphics
inferred← citeshttps://doi.org/10.1111/tgis.12692openalex-snapshot
Loose programming of GIS workflows with geo‐analytical concepts
inferred← citeshttps://doi.org/10.1111/tops.70038openalex-snapshot
Comparing Geometric Shape Representations in Humans and Baboons: A Language of Thought Perspective
inferred← citeshttps://doi.org/10.1115/1.4067085openalex-snapshot
LLM4CAD: Multimodal Large Language Models for Three-Dimensional Computer-Aided Design Generation
inferred← citeshttps://doi.org/10.1117/12.3011627openalex-snapshot
Survey of intelligent program synthesis techniques
inferred← citeshttps://doi.org/10.1126/science.abq1158openalex-snapshot
Competition-level code generation with AlphaCode
inferred← citeshttps://doi.org/10.1126/science.add8258openalex-snapshot
AlphaCode and “data-driven” programming
inferred← citeshttps://doi.org/10.1145/3158090openalex-snapshot
WebRelate: integrating web data with spreadsheets using examples
inferred← citeshttps://doi.org/10.1145/3167094openalex-snapshot
Adapting proof automation to adapt proofs
inferred← citeshttps://doi.org/10.1145/3176245.3167094openalex-snapshot
Adapting proof automation to adapt proofs
inferred← citeshttps://doi.org/10.1145/3276520openalex-snapshot
FlashProfile: a framework for synthesizing data profiles
inferred← citeshttps://doi.org/10.1145/3276954.3276959openalex-snapshot
Active learning for inference and regeneration of computer programs that store and retrieve data
inferred← citeshttps://doi.org/10.1145/3313831.3376253openalex-snapshot
How Domain Experts Create Conceptual Diagrams and Implications for Tool Design
inferred← citeshttps://doi.org/10.1145/3314221.3314591openalex-snapshot
Using active learning to synthesize models of applications that access databases
inferred← citeshttps://doi.org/10.1145/3321707.3321738openalex-snapshot
Teaching GP to program like a human software developer
inferred← citeshttps://doi.org/10.1145/3324884.3416646openalex-snapshot
Summary-based symbolic evaluation for smart contracts
inferred← citeshttps://doi.org/10.1145/3324884.3418912openalex-snapshot
Scalability and precision improvement of neural program synthesis
inferred← citeshttps://doi.org/10.1145/3331554.3342608openalex-snapshot
Constraint-based type-directed program synthesis
inferred← citeshttps://doi.org/10.1145/3338906.3338921openalex-snapshot
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
inferred← citeshttps://doi.org/10.1145/3358502.3361269openalex-snapshot
From definitional interpreter to symbolic executor
inferred← citeshttps://doi.org/10.1145/3359591.3359739openalex-snapshot
Next-paradigm programming languages: what will they look like and what changes will they bring?
inferred← citeshttps://doi.org/10.1145/3360565openalex-snapshot
Automatic repair of regular expressions
inferred← citeshttps://doi.org/10.1145/3366424.3382087openalex-snapshot
Enhancing Web App Execution with Automated Reengineering
inferred← citeshttps://doi.org/10.1145/3371124openalex-snapshot
Augmented example-based synthesis using relational perturbation properties
inferred← citeshttps://doi.org/10.1145/3385412.3386025openalex-snapshot
Question selection for interactive program synthesis
inferred← citeshttps://doi.org/10.1145/3385412.3386027openalex-snapshot
Reconciling enumerative and deductive program synthesis
inferred← citeshttps://doi.org/10.1145/3387902.3394033openalex-snapshot
An evolutionary framework for automatic and guided discovery of algorithms
inferred← citeshttps://doi.org/10.1145/3408991openalex-snapshot
Program sketching with live bidirectional evaluation
inferred← citeshttps://doi.org/10.1145/3411764.3445646openalex-snapshot
Interpretable Program Synthesis
inferred← citeshttps://doi.org/10.1145/3411764.3446864openalex-snapshot
Figaro: A Tabletop Authoring Environment for Human-Robot Interaction
inferred← citeshttps://doi.org/10.1145/3416506.3423579openalex-snapshot
Boosting component-based synthesis with control structure recommendation
inferred← citeshttps://doi.org/10.1145/3417113.3423370openalex-snapshot
Boosting component-based synthesis with API usage knowledge
inferred← citeshttps://doi.org/10.1145/3417113.3423371openalex-snapshot
Collective intelligence for smarter neural program synthesis
inferred← citeshttps://doi.org/10.1145/3426428.3426921openalex-snapshot
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics
inferred← citeshttps://doi.org/10.1145/3430952openalex-snapshot
Active Learning for Inference and Regeneration of Applications that Access Databases
inferred← citeshttps://doi.org/10.1145/3442381.3449973openalex-snapshot
Neural Collaborative Reasoning
inferred← citeshttps://doi.org/10.1145/3446804.3446852openalex-snapshot
Deep NLP-based co-evolvement for synthesizing code analysis from natural language
inferred← citeshttps://doi.org/10.1145/3453483.3454079openalex-snapshot
Reverse engineering for reduction parallelization via semiring polynomials
inferred← citeshttps://doi.org/10.1145/3472749.3474740openalex-snapshot
Assuage: Assembly Synthesis Using A Guided Exploration
showing the first 200 of 317 · page through all 317
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.