On the public citation graph

Mergeable replicated data types

https://doi.org/10.1145/3360580
0 signed · 59 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.1002/spe.4380251203openalex-snapshot
Ropes: An alternative to strings
inferredcites →https://doi.org/10.1007/978-3-642-24550-3_29openalex-snapshot
Conflict-Free Replicated Data Types
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_14openalex-snapshot
Cloud Types for Eventual Consistency
inferredcites →https://doi.org/10.1017/cbo9780511530104openalex-snapshot
Purely Functional Data Structures
inferredcites →https://doi.org/10.1017/s0956796801004026openalex-snapshot
Red-black trees with types
inferredcites →https://doi.org/10.1017/s0956796801004075openalex-snapshot
Inductive graphs and functional graph algorithms
inferredcites →https://doi.org/10.1109/icdcs.2009.20openalex-snapshot
A Commutative Replicated Data Type for Cooperative Editing
inferredcites →https://doi.org/10.1145/1328438.1328469openalex-snapshot
Relational inductive shape analysis
inferredcites →https://doi.org/10.1145/1667048.1667050openalex-snapshot
A relational approach to interprocedural shape analysis
inferredcites →https://doi.org/10.1145/1869459.1869515openalex-snapshot
Concurrent programming with revisions and isolation types
inferredcites →https://doi.org/10.1145/2463676.2465279openalex-snapshot
Bolt-on causal consistency
inferredcites →https://doi.org/10.1145/2535838.2535848openalex-snapshot
Replicated data types
inferredcites →https://doi.org/10.1145/2628136.2628159openalex-snapshot
A relational framework for higher-order shape analysis
inferredcites →https://doi.org/10.1145/2737924.2737958openalex-snapshot
Verdi: a framework for implementing and formally verifying distributed systems
inferredcites →https://doi.org/10.1145/2737924.2737981openalex-snapshot
Declarative programming over eventually consistent data stores
inferredcites →https://doi.org/10.1145/2741948.2741972openalex-snapshot
Putting consistency back into eventual consistency
inferredcites →https://doi.org/10.1145/2837614.2837622openalex-snapshot
Chapar: certified causally consistent distributed key-value stores
inferredcites →https://doi.org/10.1145/2837614.2837625openalex-snapshot
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
inferredcites →https://doi.org/10.1145/2882903.2882951openalex-snapshot
TARDiS
inferredcites →https://doi.org/10.1145/3158115openalex-snapshot
Alone together: compositional reasoning and inference for weak isolation
inferredcites →https://doi.org/10.1145/3191315.3191317openalex-snapshot
Datalog: concepts, history, and outlook
inferredcites →https://doi.org/10.1145/343477.343502openalex-snapshot
Towards robust distributed systems (abstract)
inferredcites →https://doi.org/10.1145/800177.810020openalex-snapshot
Prolog
inferredcites →https://doi.org/10.14778/2732232.2732237openalex-snapshot
Highly available transactions
inferredcites →https://doi.org/10.14778/2735508.2735509openalex-snapshot
Coordination avoidance in database systems
inferredcites →https://doi.org/10.4230/lipics.snapl.2019.8openalex-snapshot
Version Control Is for Your Data Too

What points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.3430openalex-snapshot
Concurrency Contracts for Designing Highly Available Replicated Data Types
inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_12openalex-snapshot
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
inferred← citeshttps://doi.org/10.1007/978-3-031-37765-5_5openalex-snapshot
Comparing Causal Convergence Consistency Models
inferred← citeshttps://doi.org/10.1007/978-981-97-6429-7_5openalex-snapshot
Transaction Management in Collaborative Data Management
inferred← citeshttps://doi.org/10.1007/s00778-020-00628-3openalex-snapshot
Interactive checks for coordination avoidance
inferred← citeshttps://doi.org/10.1016/j.jpdc.2026.105263openalex-snapshot
Cross-platform integration and extension of replicated data libraries in distributed systems
inferred← citeshttps://doi.org/10.1109/tse.2024.3477723openalex-snapshot
Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications
inferred← citeshttps://doi.org/10.1145/3380787.3393687openalex-snapshot
Composing and decomposing op-based CRDTs with semidirect products
inferred← citeshttps://doi.org/10.1145/3426182.3426183openalex-snapshot
From causality to stability: understanding and reducing meta-data in CRDTs
inferred← citeshttps://doi.org/10.1145/3453483.3454028openalex-snapshot
Repairing serializability bugs in distributed database programs via automated schema refactoring
inferred← citeshttps://doi.org/10.1145/3453483.3454112openalex-snapshot
Practical smart contract sharding with ownership and commutativity analysis
inferred← citeshttps://doi.org/10.1145/3485484openalex-snapshot
ECROs: building global scale systems from sequential code
inferred← citeshttps://doi.org/10.1145/3519939.3523426openalex-snapshot
Hamband: RDMA replicated data types
inferred← citeshttps://doi.org/10.1145/3519939.3523724openalex-snapshot
RunTime-assisted convergence in replicated data types
inferred← citeshttps://doi.org/10.1145/3519939.3523735openalex-snapshot
Certified mergeable replicated data types
inferred← citeshttps://doi.org/10.1145/3563336openalex-snapshot
Katara: synthesizing CRDTs with verified lifting
inferred← citeshttps://doi.org/10.1145/3633769openalex-snapshot
LoRe: A Programming Model for Verifiably Safe Local-first Software
inferred← citeshttps://doi.org/10.1145/3720425openalex-snapshot
Hambazi: Spatial Coordination Synthesis for Augmented Reality
inferred← citeshttps://doi.org/10.1145/3720452openalex-snapshot
Automatically Verifying Replication-Aware Linearizability
inferred← citeshttps://doi.org/10.1145/3720513openalex-snapshot
Peepco: Batch-Based Consistency Optimization
inferred← citeshttps://doi.org/10.1145/3721462.3730947openalex-snapshot
ER-π: Exhaustive Interleaving Replay for Testing Replicated Data Library Integration
inferred← citeshttps://doi.org/10.1145/3721473openalex-snapshot
Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data
inferred← citeshttps://doi.org/10.1145/3721473.3722145openalex-snapshot
ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs
inferred← citeshttps://doi.org/10.1145/3746059.3747646openalex-snapshot
Denicek: Computational Substrate for Document-Oriented End-User Programming
inferred← citeshttps://doi.org/10.1145/3806077.3806700openalex-snapshot
Semantic Conflict Model for Collaborative Data Structures
inferred← citeshttps://doi.org/10.1145/3822455.3830305openalex-snapshot
Automatic Generation of Local-First, Collaborative Modeling Languages
inferred← citeshttps://doi.org/10.14778/3275536.3275538openalex-snapshot
Interactive checks for coordination avoidance
inferred← citeshttps://doi.org/10.2139/ssrn.5194144openalex-snapshot
Memory consistency models made EPR :Decidable verification of a fragment of the Promising Semantics
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2021/5/6openalex-snapshot
Consistency types for replicated data in a higher-order distributed programming language
inferred← citeshttps://doi.org/10.47172/2965-730x.sdgsreview.v5.n02.pe05798openalex-snapshot
China’s Determination of Data Intellectual Property Right in the SPCN Strategy
inferred← citeshttps://doi.org/10.47813/2782-2818-2026-6-2-1062-1076openalex-snapshot
Архитектура конкурентного выполнения в Go: горутины, планировщик и практические паттерны
inferred← citeshttps://doi.org/10.48550/arxiv.2103.04828openalex-snapshot
A coordination-free, convergent, and safe replicated tree
inferred← citeshttps://doi.org/10.70675/a1988a02z3d41z4738z942az643411b36ddfopenalex-snapshot
Designing safe and highly available distributed applications
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.