On the public citation graph

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction

https://doi.org/10.1145/3586049
0 signed · 38 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-030-81688-9_11openalex-snapshot
ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
inferredcites →https://doi.org/10.1109/icse.2019.00081openalex-snapshot
Superion: Grammar-Aware Greybox Fuzzing
inferredcites →https://doi.org/10.1109/icsme.2017.26openalex-snapshot
Coarse Hierarchical Delta Debugging
inferredcites →https://doi.org/10.1109/icst46399.2020.00015openalex-snapshot
Language-Agnostic Generation of Compilable Test Programs
inferredcites →https://doi.org/10.1145/1134285.1134307openalex-snapshot
HDD
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2254064.2254104openalex-snapshot
Test-case reduction for C compiler bugs
inferredcites →https://doi.org/10.1145/2594291.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2858965.2814319openalex-snapshot
Finding deep compiler bugs via guided stochastic program mutation
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/3133917openalex-snapshot
Automated testing of graphics shader compilers
inferredcites →https://doi.org/10.1145/3180155.3180236openalex-snapshot
Perses
inferredcites →https://doi.org/10.1145/3243734.3243838openalex-snapshot
Effective Program Debloating via Reinforcement Learning
inferredcites →https://doi.org/10.1145/3338906.3338956openalex-snapshot
Binary reduction of dependency graphs
inferredcites →https://doi.org/10.1145/3453483.3454091openalex-snapshot
Logical bytecode reduction
inferredcites →https://doi.org/10.1145/3468264.3468625openalex-snapshot
Probabilistic Delta debugging

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.2702openalex-snapshot
Evaluation of the fixed‐point iteration of minimizing delta debugging
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00073openalex-snapshot
Execution-Aware Program Reduction for WebAssembly via Record and Replay
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00188openalex-snapshot
Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00071openalex-snapshot
WDD: Weighted Delta Debugging
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00117openalex-snapshot
Toward a Better Understanding of Probabilistic Delta Debugging
inferred← citeshttps://doi.org/10.1109/issre59848.2023.00060openalex-snapshot
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
inferred← citeshttps://doi.org/10.1109/tse.2025.3594673openalex-snapshot
Large Language Models-Aided Program Debloating
inferred← citeshttps://doi.org/10.1145/3611643.3616275openalex-snapshot
PPR: Pairwise Program Reduction
inferred← citeshttps://doi.org/10.1145/3617172openalex-snapshot
On the Caching Schemes to Speed Up Program Reduction
inferred← citeshttps://doi.org/10.1145/3650212.3652126openalex-snapshot
LPR: Large Language Models-Aided Program Reduction
inferred← citeshttps://doi.org/10.1145/3650212.3680362openalex-snapshot
Towards Understanding the Bugs in Solidity Compiler
inferred← citeshttps://doi.org/10.1145/3690631openalex-snapshot
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
inferred← citeshttps://doi.org/10.1145/3705305openalex-snapshot
Validity-Preserving Delta Debugging via Generator Trace Reduction
inferred← citeshttps://doi.org/10.1145/3715730openalex-snapshot
Towards Diverse Program Transformations for Program Simplification
inferred← citeshttps://doi.org/10.1145/3715747openalex-snapshot
DuoReduce: Bug Isolation for Multi-layer Extensible Compilation
inferred← citeshttps://doi.org/10.1145/3728968openalex-snapshot
Static Program Reduction via Type-Directed Slicing
inferred← citeshttps://doi.org/10.1145/3756681.3756940openalex-snapshot
Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
inferred← citeshttps://doi.org/10.1145/3763053openalex-snapshot
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
inferred← citeshttps://doi.org/10.1145/3808195openalex-snapshot
Structure-Aware Delta Debugging with Geometric-Information Weights
inferred← citeshttps://doi.org/10.1145/3832262openalex-snapshot
E2WR: An Effective and Efficient Reduction Framework for WebAssembly Binaries
inferred← citeshttps://doi.org/10.1145/3837729.3840504openalex-snapshot
LPR+: Diverse Transformations for LLM-Aided Program Reduction
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.