On the public citation graph
Automated transpilation of imperative to functional code using neural-guided program synthesis
0 signed · 63 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.1007/978-3-319-21668-3_10openalex-snapshot
Synthesis Through Unification
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot
Recursive Program Synthesis
inferredcites →https://doi.org/10.1016/j.scico.2020.102476openalex-snapshot
Safe automated refactoring for intelligent parallelization of Java 8 streams
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1098/rsta.2022.0050openalex-snapshot
DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning
inferredcites →https://doi.org/10.1109/iccl.1994.288389openalex-snapshot
Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)
inferredcites →https://doi.org/10.1145/103135.103139openalex-snapshot
Collecting interpretations of expressions
inferredcites →https://doi.org/10.1145/2491411.2491461openalex-snapshot
Crossing the gap from imperative to functional programming through refactoring
inferredcites →https://doi.org/10.1145/2499370.2462180openalex-snapshot
Optimizing database-backed applications with query synthesis
inferredcites →https://doi.org/10.1145/2509578.2509586openalex-snapshot
Growing solver-aided languages with rosette
inferredcites →https://doi.org/10.1145/2660193.2660228openalex-snapshot
Translating imperative code to MapReduce
inferredcites →https://doi.org/10.1145/2813885.2737977openalex-snapshot
Synthesizing data structure transformations from input-output examples
inferredcites →https://doi.org/10.1145/2815400.2815418openalex-snapshot
Parallelizing user-defined aggregations using symbolic execution
inferredcites →https://doi.org/10.1145/2980983.2908093openalex-snapshot
Program synthesis from polymorphic refinement types
inferredcites →https://doi.org/10.1145/2980983.2908117openalex-snapshot
Verified lifting of stencil computations
inferredcites →https://doi.org/10.1145/3140587.3062355openalex-snapshot
Synthesis of divide and conquer parallelism for loops
inferredcites →https://doi.org/10.1145/3180155.3180219openalex-snapshot
Neuro-symbolic program corrector for introductory programming assignments
inferredcites →https://doi.org/10.1145/3183713.3196891openalex-snapshot
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
inferredcites →https://doi.org/10.1145/3296979.3192382openalex-snapshot
Program synthesis using conflict-driven learning
inferredcites →https://doi.org/10.1145/3453483.3454047openalex-snapshot
Web question answering with neurosymbolic program synthesis
inferredcites →https://doi.org/10.18653/v1/d15-1166openalex-snapshot
Effective Approaches to Attention-based Neural Machine Translation
inferredcites →https://doi.org/10.18653/v1/p16-1002openalex-snapshot
Data Recombination for Neural Semantic Parsing
inferredcites →https://doi.org/10.18653/v1/p16-1154openalex-snapshot
Incorporating Copying Mechanism in Sequence-to-Sequence Learning
inferredcites →https://doi.org/10.18653/v1/p17-1099openalex-snapshot
Get To The Point: Summarization with Pointer-Generator Networks
inferredcites →https://doi.org/10.18653/v1/p17-1105openalex-snapshot
Abstract Syntax Networks for Code Generation and Semantic Parsing
inferredcites →https://doi.org/10.18653/v1/p18-1249openalex-snapshot
Constituency Parsing with a Self-Attentive Encoder
inferredcites →https://doi.org/10.24963/ijcai.2018/578openalex-snapshot
Code Completion with Neural Attention and Pointer Networks
inferredcites →https://doi.org/10.48550/arxiv.1409.3215openalex-snapshot
Sequence to Sequence Learning with Neural Networks
inferredcites →https://doi.org/10.48550/arxiv.2010.01678openalex-snapshot
Optimal Neural Program Synthesis from Multimodal Specifications
inferredcites →https://doi.org/10.48550/arxiv.2203.09452openalex-snapshot
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
inferredcites →https://doi.org/10.7287/peerj.preprints.1459v1openalex-snapshot
Using machine translation for converting Python 2 to Python 3 code
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4661607openalex-extracted
A Configurable Compiled Language With Integrated Transpilation
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_3openalex-snapshot
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107800openalex-snapshot
Neural-guided superoptimization in ethereum
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112284openalex-snapshot
Harnessing heap analysis for the synthesis of superoptimized bytecode
inferred← citeshttps://doi.org/10.1016/j.procs.2024.09.685openalex-snapshot
Assessing Carbon Footprint: Understanding the Environmental Costs of Training Devices
inferred← citeshttps://doi.org/10.1109/bibe60311.2023.00012openalex-snapshot
CNT: Semi-Automatic Translation from CWL to Nextflow for Genomic Workflows
inferred← citeshttps://doi.org/10.1109/icaa64256.2024.00024openalex-snapshot
Leveraging RAG-LLM to Translate C++ to Rust
inferred← citeshttps://doi.org/10.1109/icccnt61001.2024.10724883openalex-snapshot
On – Device Translation of Dynamically Typed and Interpreted Languages
inferred← citeshttps://doi.org/10.1109/iwsc55060.2022.00019openalex-snapshot
Comparing Execution Traces of Jupyter Notebook for Checking Correctness of Refactoring
inferred← citeshttps://doi.org/10.1109/lad62341.2024.10691720openalex-snapshot
LLM-Aided Compilation for Tensor Accelerators
inferred← citeshttps://doi.org/10.1109/lad62341.2024.10691748openalex-snapshot
LLM-Aided Compilation for Tensor Accelerators
inferred← citeshttps://doi.org/10.1109/tse.2024.3506040openalex-snapshot
On-the-Fly Syntax Highlighting: Generalisation and Speed-Ups
inferred← citeshttps://doi.org/10.1145/3551349.3559564openalex-snapshot
Leveraging Artificial Intelligence on Binary Code Comprehension
inferred← citeshttps://doi.org/10.1145/3586034openalex-snapshot
User-Customizable Transpilation of Scripting Languages
inferred← citeshttps://doi.org/10.1145/3611643.3616350openalex-snapshot
Multilingual Code Co-evolution using Large Language Models
inferred← citeshttps://doi.org/10.1145/3620666.3651366openalex-snapshot
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
inferred← citeshttps://doi.org/10.1145/3632860openalex-snapshot
Programming-by-Demonstration for Long-Horizon Robot Tasks
inferred← citeshttps://doi.org/10.1145/3656418openalex-snapshot
From Batch to Stream: Automatic Generation of Online Algorithms
inferred← citeshttps://doi.org/10.1145/3656453openalex-snapshot
Equivalence by Canonicalization for Synthesis-Backed Refactoring
inferred← citeshttps://doi.org/10.1145/3658668openalex-snapshot
BatFix: Repairing language model-based transpilation
inferred← citeshttps://doi.org/10.1145/3756681.3757007openalex-snapshot
Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation
inferred← citeshttps://doi.org/10.1145/3763102openalex-snapshot
Active Learning for Neurosymbolic Program Synthesis
inferred← citeshttps://doi.org/10.1145/3840382openalex-snapshot
Cross-Model Collaboration for Enhancing LLM-Based Code Generation
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3789460/v1openalex-snapshot
Human-Machine Cooperative Program Translation Based on Abstract Syntax Tree
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.