On the public citation graph

Explainable Program Synthesis by Localizing Specifications

0 signed · 48 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/s100090100062openalex-snapshot

Vacuity detection in temporal model checking

inferredcites →https://doi.org/10.1109/access.2018.2870052openalex-snapshot

Peeking Inside the Black-Box: A Survey on Explainable Artificial Intelligence (XAI)

inferredcites →https://doi.org/10.1109/cvpr.2016.319openalex-snapshot

Learning Deep Features for Discriminative Localization

inferredcites →https://doi.org/10.1109/fmcad.2009.5351127openalex-snapshot

Debugging formal specifications using simple counterstrategies

inferredcites →https://doi.org/10.1109/fmcad.2013.6679385openalex-snapshot

Syntax-guided synthesis

inferredcites →https://doi.org/10.1109/icre.1994.292398openalex-snapshot

An analysis of the requirements traceability problem

inferredcites →https://doi.org/10.1109/iros.2014.6943189openalex-snapshot

Program synthesis by examples for object repositioning tasks

inferredcites →https://doi.org/10.1109/tvcg.2020.3030418openalex-snapshot

CNN Explainer: Learning Convolutional Neural Networks with Interactive Visualization

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

Combinatorial sketching for finite programs

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

Oracle-guided component-based program synthesis

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

Automating string processing in spreadsheets using input-output examples

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

Automated feedback generation for introductory programming assignments

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

FlashExtract

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

Synthesizing data structure transformations from input-output examples

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

Type-and-example-directed program synthesis

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

User Interaction Models for Disambiguation in Programming by Example

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

Program synthesis from polymorphic refinement types

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

"Why Should I Trust You?"

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

A Survey of Algorithmic Debugging

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

Programming not only by example

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

Program synthesis using conflict-driven learning

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

Structuring the synthesis of heap-manipulating programs

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

Small-Step Live Programming by Example

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

Interactive Program Synthesis by Augmented Examples

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

Falx: Synthesis-Powered Visualization Authoring

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

Interpretable Program Synthesis

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

egg: Fast and extensible equality saturation

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

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning

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

egg: Fast and Extensible Equality Saturation

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

Designing the whyline

inferredcites →https://doi.org/10.14778/2977797.2977807openalex-snapshot

BlinkFill

inferredcites →https://doi.org/10.3233/aic-1994-7104openalex-snapshot

Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches

inferredcites →https://doi.org/10.4204/eptcs.229.9openalex-snapshot

An Update on Deductive Synthesis and Repair in the Leon Tool

inferredcites →https://doi.org/10.48550/arxiv.1606.05386openalex-snapshot

Model-Agnostic Interpretability of Machine Learning

inferredcites →https://doi.org/10.48550/arxiv.1702.08608openalex-snapshot

Towards A Rigorous Science of Interpretable Machine Learning

inferredcites →https://doi.org/10.5281/zenodo.8048550openalex-snapshot

Explainable Program Synthesis by Localizing Specifications

What points at this work

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

inferred← citeshttps://doi.org/10.1109/access.2025.3631952openalex-snapshot

LLM-Based Code Generation: A Systematic Literature Review With Technical and Demographic Insights

inferred← citeshttps://doi.org/10.1109/cog60054.2024.10645663openalex-snapshot

Explaining Synthesized Pathfinding Heuristics via Iterative Visualization and Modification

inferred← citeshttps://doi.org/10.1109/icse55347.2025.00152openalex-snapshot

Synthesizing Document Database Queries Using Collection Abstractions

inferred← citeshttps://doi.org/10.1109/vl/hcc60511.2024.00035openalex-snapshot

Generating Function Names to Improve Comprehension of Synthesized Programs

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

NomNom: Explanatory Function Names for Program Synthesizers

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

Personalized Beyond-accuracy Calibration in Recommendation

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

Interpretable Network Synthesis via Localized Specifications

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

Localized Explanations for Automatically Synthesized Network Configurations

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

Interpretable Network Verification via Subspecifications

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

Explaining Network Configurations Under Failures via Localized Subspecifications

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

Explainable Network Verification via Localized Subspecification

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

Characterizing Network Configuration Repair Spaces with Localized Subspecifications

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.