On the public citation graph

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

https://doi.org/10.1145/3632913
0 signed · 47 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-24258-9_20openalex-snapshot
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers
inferredcites →https://doi.org/10.1007/978-3-030-25543-5_5openalex-snapshot
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
inferredcites →https://doi.org/10.1007/978-3-030-53291-8_30openalex-snapshot
Program Synthesis Using Deduction-Guided Reinforcement Learning
inferredcites →https://doi.org/10.1007/978-3-030-72016-2openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
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-21668-3_12openalex-snapshot
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
inferredcites →https://doi.org/10.1007/978-3-319-21668-3_22openalex-snapshot
Adaptive Concretization for Parallel Program Synthesis
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_14openalex-snapshot
CVC4
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.1007/bf00116251openalex-snapshot
Induction of Decision Trees
inferredcites →https://doi.org/10.1007/s10703-017-0269-8openalex-snapshot
An empirical study of adaptive concretization for parallel program synthesis
inferredcites →https://doi.org/10.1093/logcom/exr021openalex-snapshot
An abstract view on syntax with sharing
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/1926385.1926423openalex-snapshot
Automating string processing in spreadsheets using input-output examples
inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/2491956.2462174openalex-snapshot
TRANSIT
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/2814270.2814310openalex-snapshot
FlashMeta: a framework for inductive program synthesis
inferredcites →https://doi.org/10.1145/3062341.3062351openalex-snapshot
Component-based synthesis of table consolidation and transformation tasks from examples
inferredcites →https://doi.org/10.1145/3192366.3192382openalex-snapshot
Program synthesis using conflict-driven learning
inferredcites →https://doi.org/10.1145/3192366.3192410openalex-snapshot
Accelerating search-based program synthesis using learned probabilistic models
inferredcites →https://doi.org/10.1145/3208071openalex-snapshot
Search-based program synthesis
inferredcites →https://doi.org/10.1145/3290385openalex-snapshot
Structuring the synthesis of heap-manipulating programs
inferredcites →https://doi.org/10.1145/3385412.3386027openalex-snapshot
Reconciling enumerative and deductive program synthesis
inferredcites →https://doi.org/10.1145/3428295openalex-snapshot
Just-in-time learning for bottom-up enumerative synthesis
inferredcites →https://doi.org/10.1145/3434335openalex-snapshot
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis
inferredcites →https://doi.org/10.1145/3453483.3454087openalex-snapshot
Cyclic program synthesis
inferredcites →https://doi.org/10.1145/3485496openalex-snapshot
Rewrite rule inference using equality saturation
inferredcites →https://doi.org/10.1145/3485544openalex-snapshot
Generalizable synthesis through unification
inferredcites →https://doi.org/10.1145/3571226openalex-snapshot
FlashFill++: Scaling Programming by Example by Cutting to the Chase
inferredcites →https://doi.org/10.1145/3591288openalex-snapshot
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
inferredcites →https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_29openalex-snapshot
Ternary Propagation-Based Local Search for More Bit-Precise Reasoning
inferredcites →https://doi.org/10.48550/arxiv.1703.05698openalex-snapshot
Neural Sketch Learning for Conditional Program Generation
inferredcites →https://doi.org/10.5281/zenodo.10126640openalex-snapshot
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

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-031-65633-0_1openalex-snapshot
Syntax-Guided Automated Program Repair for Hyperproperties
inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_25openalex-snapshot
LTL$$_f$$ Learning Meets Boolean Set Cover
inferred← citeshttps://doi.org/10.1109/infocom59046.2026.11571581openalex-snapshot
T4G: Trace-based P4 Program Generation
inferred← citeshttps://doi.org/10.1145/3729336openalex-snapshot
A Concurrent Approach to String Transformation Synthesis
inferred← citeshttps://doi.org/10.1145/3744916.3787779openalex-snapshot
Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions
inferred← citeshttps://doi.org/10.1145/3746058.3758454openalex-snapshot
ReDemon UI: Reactive Synthesis by Demonstration for Web UI
inferred← citeshttps://doi.org/10.1145/3763176openalex-snapshot
Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis
inferred← citeshttps://doi.org/10.1145/3776679openalex-snapshot
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
inferred← citeshttps://doi.org/10.1145/3776694openalex-snapshot
Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling
inferred← citeshttps://doi.org/10.1145/3844149openalex-snapshot
Generative File Systems: Specification-Driven Synthesis and Evolution via LLMs
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.