On the public citation graph
Synthesis from Examples: Interaction Models and Algorithms
0 signed · 91 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-540-93900-9_25openalex-snapshot
Synthesizing Switching Logic Using Constraint Solving
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_44openalex-snapshot
Synthesizing Number Transformations from Input-Output Examples
inferredcites →https://doi.org/10.1016/0004-3702(82)90040-6openalex-snapshot
Generalization as search
inferredcites →https://doi.org/10.1023/a:1025671410623openalex-snapshot
Programming by Demonstration Using Version Space Algebra
inferredcites →https://doi.org/10.1145/1168857.1168907openalex-snapshot
Combinatorial sketching for finite programs
inferredcites →https://doi.org/10.1145/1706299.1706337openalex-snapshot
From program verification to program synthesis
inferredcites →https://doi.org/10.1145/1795194.1795198openalex-snapshot
Synthesizing switching logic for safety and dwell-time requirements
inferredcites →https://doi.org/10.1145/1806799.1806833openalex-snapshot
Oracle-guided component-based program synthesis
inferredcites →https://doi.org/10.1145/1836089.1836091openalex-snapshot
Dimensions in program synthesis
inferredcites →https://doi.org/10.1145/1869459.1869463openalex-snapshot
A simple inductive synthesis methodology and its applications
inferredcites →https://doi.org/10.1145/1925844.1926423openalex-snapshot
Automating string processing in spreadsheets using input-output examples
inferredcites →https://doi.org/10.1145/1926385.1926423openalex-snapshot
Automating string processing in spreadsheets using input-output examples
inferredcites →https://doi.org/10.1145/1993316.1993505openalex-snapshot
Synthesizing geometry constructions
inferredcites →https://doi.org/10.1145/1993316.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/1993316.1993536openalex-snapshot
Spreadsheet table transformations from examples
inferredcites →https://doi.org/10.1145/1993316.1993557openalex-snapshot
Path-based inductive synthesis for program inversion
inferredcites →https://doi.org/10.1145/1993498.1993505openalex-snapshot
Synthesizing geometry constructions
inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/1993498.1993536openalex-snapshot
Spreadsheet table transformations from examples
inferredcites →https://doi.org/10.1145/1993498.1993557openalex-snapshot
Path-based inductive synthesis for program inversion
inferredcites →https://doi.org/10.1145/2240236.2240260openalex-snapshot
Spreadsheet data manipulation using examples
inferredcites →https://doi.org/10.1145/2442516.2442529openalex-snapshot
From relational verification to SIMD loop synthesis
inferredcites →https://doi.org/10.1145/322217.322225openalex-snapshot
Fast Probabilistic Algorithms for Verification of Polynomial Identities
inferredcites →https://doi.org/10.1145/357084.357090openalex-snapshot
A Deductive Approach to Program Synthesis
inferredcites →https://doi.org/10.1145/604131.604138openalex-snapshot
Discovering affine equalities using random interpretation
inferredcites →https://doi.org/10.14778/2212351.2212356openalex-snapshot
Learning semantic string transformations from examples
inferredcites →https://doi.org/10.1609/aaai.v26i1.8341openalex-snapshot
Automatically Generating Algebra Problems
inferredcites →https://doi.org/10.5860/choice.39-0357openalex-snapshot
Your wish is my command: programming by example
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_23openalex-snapshot
Inferring Inductive Invariants from Phase Structures
inferred← citeshttps://doi.org/10.1007/978-3-319-21690-4_23openalex-snapshot
Predicting a Correct Program in Programming by Example
inferred← citeshttps://doi.org/10.1007/978-3-319-27340-2_52openalex-snapshot
Using Contextual Information in Sequential Search for Grammatical Optimization Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-46508-1_7openalex-snapshot
Compositional Model-Based System Design and Other Foundations for Mastering Change
inferred← citeshttps://doi.org/10.1007/978-3-319-73721-8_18openalex-snapshot
Abstraction-Based Interaction Model for Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-99725-4_6openalex-snapshot
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot
Recursive Program Synthesis
inferred← citeshttps://doi.org/10.1007/s00236-019-00340-yopenalex-snapshot
Programming by predicates: a formal model for interactive synthesis
inferred← citeshttps://doi.org/10.1109/ase.2015.23openalex-snapshot
Synthesizing Web Element Locators (T)
inferred← citeshttps://doi.org/10.1109/ase.2017.8115692openalex-snapshot
Parsimony: An IDE for example-guided synthesis of lexers and parsers
inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741262openalex-snapshot
Enabling Near Real-Time NLU-Driven Natural Language Programming through Dynamic Grammar Graph-Based Translation
inferred← citeshttps://doi.org/10.1109/iccabs.2014.6863914openalex-snapshot
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data
inferred← citeshttps://doi.org/10.1109/icse.2015.227openalex-snapshot
StriSynth: Synthesis for Live Programming
inferred← citeshttps://doi.org/10.1109/synasc.2015.78openalex-snapshot
From Decision Procedures to Synthesis Procedures
inferred← citeshttps://doi.org/10.1109/synasc51798.2020.00052openalex-snapshot
A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
inferred← citeshttps://doi.org/10.1109/tevc.2017.2693219openalex-snapshot
Genetic Improvement of Software: A Comprehensive Survey
inferred← citeshttps://doi.org/10.1145/2442516.2442529openalex-snapshot
From relational verification to SIMD loop synthesis
inferred← citeshttps://doi.org/10.1145/2470654.2470764openalex-snapshot
A trace-based framework for analyzing and synthesizing educational progressions
inferred← citeshttps://doi.org/10.1145/2501988.2502040openalex-snapshot
A colorful approach to text processing by example
inferred← citeshttps://doi.org/10.1145/2517327.2442529openalex-snapshot
From relational verification to SIMD loop synthesis
inferred← citeshttps://doi.org/10.1145/2557500.2557522openalex-snapshot
A practical framework for constructing structured drawings
inferred← citeshttps://doi.org/10.1145/2598394.2598397openalex-snapshot
Applications of program synthesis to end-user programming and intelligent tutoring systems
inferred← citeshttps://doi.org/10.1145/2634273openalex-snapshot
Example-based learning in computer-aided STEM education
inferred← citeshttps://doi.org/10.1145/2737924.2737952openalex-snapshot
FlashRelate: extracting relational data from semi-structured spreadsheets using examples
inferred← citeshttps://doi.org/10.1145/2737924.2738002openalex-snapshot
Interactive parser synthesis by example
inferred← citeshttps://doi.org/10.1145/2813885.2737952openalex-snapshot
FlashRelate: extracting relational data from semi-structured spreadsheets using examples
inferred← citeshttps://doi.org/10.1145/2813885.2738002openalex-snapshot
Interactive parser synthesis by example
inferred← citeshttps://doi.org/10.1145/2884781.2884786openalex-snapshot
Program synthesis using natural language
inferred← citeshttps://doi.org/10.1145/3133915openalex-snapshot
A solver-aided language for test input generation
inferred← citeshttps://doi.org/10.1145/3180155.3180189openalex-snapshot
Programming not only by example
inferred← citeshttps://doi.org/10.1145/3187009.3177735openalex-snapshot
Automated migration of hierarchical data to relational tables using programming-by-example
inferred← citeshttps://doi.org/10.1145/3242903.3242906openalex-snapshot
Programming-by-example for audio: synthesizing digital signal processing programs
inferred← citeshttps://doi.org/10.1145/3313831.3376442openalex-snapshot
Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists
inferred← citeshttps://doi.org/10.1145/3368089.3409673openalex-snapshot
HISyn: human learning-inspired natural language programming
inferred← citeshttps://doi.org/10.1145/3371073openalex-snapshot
Complexity and information in invariant inference
inferred← citeshttps://doi.org/10.1145/3428227openalex-snapshot
Programming with a read-eval-synth loop
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/3472749.3474740openalex-snapshot
Assuage: Assembly Synthesis Using A Guided Exploration
inferred← citeshttps://doi.org/10.1145/3729176.3729203openalex-snapshot
Dynamic Prompt Middleware: Contextual Prompt Refinement Controls for Comprehension Tasks
inferred← citeshttps://doi.org/10.1145/3729320openalex-snapshot
Verifying Solutions to Semantics-Guided Synthesis Problems
inferred← citeshttps://doi.org/10.1609/aaai.v28i1.8744openalex-snapshot
Programming by Example Using Least General Generalizations
inferred← citeshttps://doi.org/10.1609/aaai.v32i1.11326openalex-snapshot
Glass-Box Program Synthesis: A Machine Learning Approach
inferred← citeshttps://doi.org/10.1609/socs.v6i1.18360openalex-snapshot
Computing Plans with Control Flow and Procedures Using a Classical Planner
inferred← citeshttps://doi.org/10.18653/v1/2022.findings-acl.94openalex-snapshot
Learning to Robustly Aggregate Labeling Functions for Semi-supervised Data Programming
inferred← citeshttps://doi.org/10.25148/etd.fi14071187openalex-snapshot
A Generic Model of Execution for Synthesizing Domain-Specific Models
inferred← citeshttps://doi.org/10.3390/bdcc9030057openalex-snapshot
Mass Generation of Programming Learning Problems from Public Code Repositories
inferred← citeshttps://doi.org/10.48550/arxiv.1509.00413openalex-snapshot
Program Synthesis using Natural Language
inferred← citeshttps://doi.org/10.48550/arxiv.1710.01291openalex-snapshot
Programming Not Only by Example
inferred← citeshttps://doi.org/10.48550/arxiv.1811.02054openalex-snapshot
Exploring Connections Between Active Learning and Model Extraction
inferred← citeshttps://doi.org/10.5555/2819009.2819142openalex-snapshot
StriSynth: synthesis for live programming
inferred← citeshttps://doi.org/10.7275/7408407.0openalex-snapshot
General Program Synthesis from Examples Using Genetic Programming with Parent Selection Based on Random Lexicographic Orderings of Test Cases
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.