On the public citation graph

LooPy: interactive program synthesis with control structures

0 signed · 55 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.

Claim with ORCID

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.

See reference health

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-319-66706-5_18openalex-snapshot

Synthesizing Imperative Programs from Examples Guided by Static Analysis

inferredcites →https://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot

Recursive Program Synthesis

inferredcites →https://doi.org/10.1007/978-3-662-54577-5_18openalex-snapshot

Scaling Enumerative Program Synthesis via Divide and Conquer

inferredcites →https://doi.org/10.1109/icst.2018.00025openalex-snapshot

EdSynth: Synthesizing API Sequences with Conditionals and Loops

inferredcites →https://doi.org/10.1145/1064978.1065018openalex-snapshot

Jungloid mining

inferredcites →https://doi.org/10.1145/1065010.1065018openalex-snapshot

Jungloid mining

inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot

Synthesis of loop-free programs

inferredcites →https://doi.org/10.1145/2384616.2384646openalex-snapshot

Program extrapolation with jennisys

inferredcites →https://doi.org/10.1145/2491956.2462174openalex-snapshot

TRANSIT

inferredcites →https://doi.org/10.1145/2491956.2462192openalex-snapshot

Complete completion using types and weights

inferredcites →https://doi.org/10.1145/2499370.2462174openalex-snapshot

TRANSIT

inferredcites →https://doi.org/10.1145/2509136.2509555openalex-snapshot

Synthesis modulo recursive functions

inferredcites →https://doi.org/10.1145/2568225.2568250openalex-snapshot

CodeHint: dynamic and interactive synthesis of code snippets

inferredcites →https://doi.org/10.1145/2813885.2737977openalex-snapshot

Synthesizing data structure transformations from input-output examples

inferredcites →https://doi.org/10.1145/2813885.2738007openalex-snapshot

Type-and-example-directed program synthesis

inferredcites →https://doi.org/10.1145/2814228.2814235openalex-snapshot

Toward tool support for interactive synthesis

inferredcites →https://doi.org/10.1145/2908080.2908093openalex-snapshot

Program synthesis from polymorphic refinement types

inferredcites →https://doi.org/10.1145/2908080.2908102openalex-snapshot

MapReduce program synthesis

inferredcites →https://doi.org/10.1145/2980983.2908102openalex-snapshot

MapReduce program synthesis

inferredcites →https://doi.org/10.1145/3009837.3009851openalex-snapshot

Component-based synthesis for complex APIs

inferredcites →https://doi.org/10.1145/3062341.3062365openalex-snapshot

Synthesizing highly expressive SQL queries from input-output examples

inferredcites →https://doi.org/10.1145/3140587.3062365openalex-snapshot

Synthesizing highly expressive SQL queries from input-output examples

inferredcites →https://doi.org/10.1145/3192366.3192382openalex-snapshot

Program synthesis using conflict-driven learning

inferredcites →https://doi.org/10.1145/3242587.3242661openalex-snapshot

Rousillon

inferredcites →https://doi.org/10.1145/3290327openalex-snapshot

Live functional programming with typed holes

inferredcites →https://doi.org/10.1145/3290386openalex-snapshot

FrAngel: component-based synthesis with control structures

inferredcites →https://doi.org/10.1145/3313831.3376442openalex-snapshot

Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists

inferredcites →https://doi.org/10.1145/3313831.3376494openalex-snapshot

Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming

inferredcites →https://doi.org/10.1145/3360594openalex-snapshot

AutoPandas: neural-backed generators for program synthesis

inferredcites →https://doi.org/10.1145/3379337.3415869openalex-snapshot

Small-Step Live Programming by Example

inferredcites →https://doi.org/10.1145/3408991openalex-snapshot

Program sketching with live bidirectional evaluation

inferredcites →https://doi.org/10.1145/3428227openalex-snapshot

Programming with a read-eval-synth loop

inferredcites →https://doi.org/10.1145/3428273openalex-snapshot

Digging for fold: synthesis-aided API discovery for Haskell

inferredcites →https://doi.org/10.1145/3428295openalex-snapshot

Just-in-time learning for bottom-up enumerative synthesis

inferredcites →https://doi.org/10.1145/3517034openalex-snapshot

TF-Coder: Program Synthesis for Tensor Manipulations

inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.2openalex-snapshot

Perfect Is the Enemy of Good: Best-Effort Program Synthesis

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1109/tse.2025.3565387openalex-snapshot

Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces

inferred← citeshttps://doi.org/10.1109/vl-hcc57772.2023.00053openalex-snapshot

Programming-by-Example with Nested Examples

inferred← citeshttps://doi.org/10.1145/3519939.3523711openalex-snapshot

WebRobot: web robotic process automation using interactive programming-by-demonstration

inferred← citeshttps://doi.org/10.1145/3526113.3545659openalex-snapshot

Exploring the Learnability of Program Synthesizers by Novice Programmers

inferred← citeshttps://doi.org/10.1145/3547622openalex-snapshot

Searching entangled program spaces

inferred← citeshttps://doi.org/10.1145/3561833.3561843openalex-snapshot

Programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper

inferred← citeshttps://doi.org/10.1145/3563350openalex-snapshot

Synthesizing code quality rules from examples

inferred← citeshttps://doi.org/10.1145/3586030openalex-snapshot

Grounded Copilot: How Programmers Interact with Code-Generating Models

inferred← citeshttps://doi.org/10.1145/3586183.3606817openalex-snapshot

Lorgnette: Creating Malleable Code Projections

inferred← citeshttps://doi.org/10.1145/3591301openalex-snapshot

One Pixel Adversarial Attacks via Sketched Programs

inferred← citeshttps://doi.org/10.1145/3611643.3616254openalex-snapshot

LExecutor: Learning-Guided Execution

inferred← citeshttps://doi.org/10.1145/3632860openalex-snapshot

Programming-by-Demonstration for Long-Horizon Robot Tasks

inferred← citeshttps://doi.org/10.1145/3706598.3714239openalex-snapshot

Xavier: Toward Better Coding Assistance in Authoring Tabular Data Wrangling Scripts

inferred← citeshttps://doi.org/10.1145/3759429.3762619openalex-snapshot

ScooPy: Enhancing Program Synthesis with Nested Example Specifications

inferred← citeshttps://doi.org/10.1145/3798274openalex-snapshot

Block Tests

inferred← citeshttps://doi.org/10.3390/vaccines13080780openalex-snapshot

Systemic and Mucosal Humoral Immune Responses to Lumazine Synthase 60-mer Nanoparticle SARS-CoV-2 Vaccines

inferred← citeshttps://doi.org/10.70675/a8b3c410zb7d6z40a1z8398z6d386e64da0aopenalex-snapshot

Projecting Computer Languages for a Protean Interaction

inferred← citeshttps://doi.org/10.7759/s44389-025-05516-xopenalex-snapshot

The Role of Interactive Program Synthesis in the Future of Software Development

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.