On the public citation graph
Verified three-way program merge
0 signed · 70 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/11547662_24openalex-snapshot
Secure Information Flow as a Safety Problem
inferredcites →https://doi.org/10.1007/3-540-45251-6_29openalex-snapshot
Houdini, an Annotation Assistant for ESC/Java
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_5openalex-snapshot
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_54openalex-snapshot
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_20openalex-snapshot
Towards Modularly Comparing Programs Using Automated Theorem Provers
inferredcites →https://doi.org/10.1007/978-3-662-46681-0openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_35openalex-snapshot
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
inferredcites →https://doi.org/10.1007/978-3-662-54494-5_9openalex-snapshot
Precise Version Control of Trees with Line-Based Version Control Systems
inferredcites →https://doi.org/10.1007/s00236-008-0075-2openalex-snapshot
Inference rules for proving the equivalence of recursive procedures
inferredcites →https://doi.org/10.1007/s10515-014-0151-5openalex-snapshot
Balancing precision and performance in structured merge
inferredcites →https://doi.org/10.1016/j.tcs.2006.12.036openalex-snapshot
Relational separation logic
inferredcites →https://doi.org/10.1109/aswec.2013.32openalex-snapshot
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems
inferredcites →https://doi.org/10.1109/tse.2013.28openalex-snapshot
Early Detection of Collaboration Conflicts and Risks
inferredcites →https://doi.org/10.1145/1453101.1453131openalex-snapshot
Differential symbolic execution
inferredcites →https://doi.org/10.1145/1925844.1926407openalex-snapshot
Precise reasoning for programs using containers
inferredcites →https://doi.org/10.1145/2351676.2351694openalex-snapshot
Structured merge with auto-tuning: balancing precision and performance
inferredcites →https://doi.org/10.1145/2491411.2491452openalex-snapshot
Differential assertion checking
inferredcites →https://doi.org/10.1145/2601248.2601275openalex-snapshot
Evaluating software merge quality
inferredcites →https://doi.org/10.1145/2642937.2642987openalex-snapshot
Automating regression verification
inferredcites →https://doi.org/10.1145/2660193.2660245openalex-snapshot
Abstract semantic differencing via speculative correlation
inferredcites →https://doi.org/10.1145/2908080.2908092openalex-snapshot
Cartesian hoare logic for verifying k-safety properties
inferredcites →https://doi.org/10.1145/3133883openalex-snapshot
Evaluating and improving semistructured merge
inferredcites →https://doi.org/10.1145/322033.322044openalex-snapshot
Algorithms for the Longest Common Subsequence Problem
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/65979.65980openalex-snapshot
Integrating noninterfering versions of programs
inferredcites →https://doi.org/10.1145/964001.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.1145/982962.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.1145/99278.99290openalex-snapshot
A program integration algorithm that accommodates semantics-preserving transformations
inferredcites →https://doi.org/10.5555/2337223.2337264openalex-snapshot
Improving early detection of software merge conflicts
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10515-025-00580-yopenalex-snapshot
Comparing static analyses for improved semantic conflict detection
inferred← citeshttps://doi.org/10.1007/s10664-021-10078-2openalex-snapshot
Reuse and maintenance practices among divergent forks in three software ecosystems
inferred← citeshttps://doi.org/10.1007/s11432-019-3020-4openalex-snapshot
Automated regression unit test generation for program merges
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112070openalex-snapshot
Detecting semantic conflicts with unit tests
inferred← citeshttps://doi.org/10.1109/access.2025.3581684openalex-snapshot
Three-Way Merging Algorithm for Structured Data
inferred← citeshttps://doi.org/10.1109/ase.2019.00097openalex-snapshot
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00155openalex-snapshot
Merge Conflict Resolution: Classification or Generation?
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00193openalex-snapshot
On the Correctness of Software Merge
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00077openalex-snapshot
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
inferred← citeshttps://doi.org/10.1109/icsme46990.2020.00026openalex-snapshot
Detecting Semantic Conflicts via Automated Behavior Change Detection
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00043openalex-snapshot
Detecting Higher-Order Merge Conflicts in Large Software Projects
inferred← citeshttps://doi.org/10.1109/icst69053.2026.00081openalex-snapshot
How Effectively Do Large Language Models Help with Build Conflict Resolution?
inferred← citeshttps://doi.org/10.1109/issre5003.2020.00016openalex-snapshot
Understanding Merge Conflicts and Resolutions in Git Rebases
inferred← citeshttps://doi.org/10.1109/scam59687.2023.00028openalex-snapshot
Symbolic Execution to Detect Semantic Merge Conflicts
inferred← citeshttps://doi.org/10.1109/tpds.2021.3132496openalex-snapshot
UFC2: User-Friendly Collaborative Cloud
inferred← citeshttps://doi.org/10.1109/tse.2021.3123143openalex-snapshot
Leveraging Structure in Software Merge: An Empirical Study
inferred← citeshttps://doi.org/10.1109/tse.2022.3183955openalex-snapshot
DeepMerge: Learning to Merge Programs
inferred← citeshttps://doi.org/10.1145/3314221.3314616openalex-snapshot
Continuously reasoning about programs using differential Bayesian inference
inferred← citeshttps://doi.org/10.1145/3360604openalex-snapshot
Specification and inference of trace refinement relations
inferred← citeshttps://doi.org/10.1145/3377812.3390800openalex-snapshot
Towards understanding and fixing upstream merge induced conflicts in divergent forks
inferred← citeshttps://doi.org/10.1145/3474624.3474646openalex-snapshot
Textual merge based on language-specific syntactic separators
inferred← citeshttps://doi.org/10.1145/3533767.3534396openalex-snapshot
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
inferred← citeshttps://doi.org/10.1145/3540250.3549163openalex-snapshot
Program merge conflict resolution via neural transformers
inferred← citeshttps://doi.org/10.1145/3546944openalex-snapshot
A Characterization Study of Merge Conflicts in Java Projects
inferred← citeshttps://doi.org/10.1145/3551497openalex-snapshot
A Relational Program Logic with Data Abstraction and Dynamic Framing
inferred← citeshttps://doi.org/10.1145/3555228.3555242openalex-snapshot
Semantic conflict detection with overriding assignment analysis
inferred← citeshttps://doi.org/10.1145/3582302.3582316openalex-snapshot
Collaborative Data Science using Scalable Homoiconicity
inferred← citeshttps://doi.org/10.1145/3591258openalex-snapshot
Proving and Disproving Equivalence of Functional Programming Assignments
inferred← citeshttps://doi.org/10.1145/3639478.3643118openalex-snapshot
Lightweight Semantic Conflict Detection with Static Analysis
inferred← citeshttps://doi.org/10.1145/3691620.3694993openalex-snapshot
Revisiting the Conflict-Resolving Problem from a Semantic Perspective
inferred← citeshttps://doi.org/10.1145/3731751openalex-snapshot
WizardMerge —Save Us from Merging without Any Clues
inferred← citeshttps://doi.org/10.1145/3763145openalex-snapshot
P³: Reasoning about Patches via Product Programs
inferred← citeshttps://doi.org/10.1145/3794763.3794821openalex-snapshot
From Generation to Reasoning: Chain-of-Thought Guided Merge Conflict Resolution
inferred← citeshttps://doi.org/10.23919/fmcad.2019.8894277openalex-snapshot
Verifying Relational Properties using Trace Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2102.11307openalex-snapshot
Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?
inferred← citeshttps://doi.org/10.48550/arxiv.2111.11904openalex-snapshot
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
inferred← citeshttps://doi.org/10.5753/sast.2025.13826openalex-snapshot
Detecção de Conflitos Semânticos com Testes Gerados por LLM
inferred← citeshttps://doi.org/10.5753/sbes.2024.3348openalex-snapshot
Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos
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.