On the public citation graph

ECROs: building global scale systems from sequential code

https://doi.org/10.1145/3485484
0 signed · 53 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-22496-7_3openalex-snapshot
Putting Order in Strong Eventual Consistency
inferredcites →https://doi.org/10.1007/978-3-030-44914-8_20openalex-snapshot
Proving the Safety of Highly-Available Distributed Objects
inferredcites →https://doi.org/10.1007/978-3-030-53288-8_16openalex-snapshot
Hampa: Solver-Aided Recency-Aware Replication
inferredcites →https://doi.org/10.1007/978-3-319-26850-7_5openalex-snapshot
Efficient State-Based CRDTs by Delta-Mutation
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.1016/j.jlamp.2020.100561openalex-snapshot
Replicated data types that unify eventual consistency and observable atomic consistency
inferredcites →https://doi.org/10.1016/j.jpdc.2020.05.010openalex-snapshot
CScript: A distributed programming language for building mixed-consistency applications
inferredcites →https://doi.org/10.1109/mc.2012.37openalex-snapshot
CAP twelve years later: How the "rules" have changed
inferredcites →https://doi.org/10.1109/tpds.2017.2697382openalex-snapshot
A Conflict-Free Replicated JSON Datatype
inferredcites →https://doi.org/10.1145/1187436.1210590openalex-snapshot
A dynamic topological sort algorithm for directed acyclic graphs
inferredcites →https://doi.org/10.1145/1435417.1435432openalex-snapshot
Eventually consistent
inferredcites →https://doi.org/10.1145/1993498.1993562openalex-snapshot
Exploiting the commutativity lattice
inferredcites →https://doi.org/10.1145/224056.224070openalex-snapshot
Managing update conflicts in Bayou, a weakly connected replicated storage system
inferredcites →https://doi.org/10.1145/2594291.2594322openalex-snapshot
Commutativity race detection
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/2790449.2790525openalex-snapshot
Lasp
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/2957319.2957377openalex-snapshot
Data-centric Consistency Policies
inferredcites →https://doi.org/10.1145/2987550.2987559openalex-snapshot
Disciplined Inconsistency with Consistency Types
inferredcites →https://doi.org/10.1145/3192366.3192375openalex-snapshot
MixT: a language for mixing consistency in geodistributed transactions
inferredcites →https://doi.org/10.1145/3276534openalex-snapshot
Safe replication through bounded concurrency verification
inferredcites →https://doi.org/10.1145/3276954.3276957openalex-snapshot
A CAPable distributed programming model
inferredcites →https://doi.org/10.1145/3281366.3281372openalex-snapshot
Observable atomic consistency for CvRDTs
inferredcites →https://doi.org/10.1145/3290387openalex-snapshot
Hamsaz: replication coordination analysis and synthesis
inferredcites →https://doi.org/10.1145/3314221.3314617openalex-snapshot
Replication-aware linearizability
inferredcites →https://doi.org/10.1145/3358499.3361222openalex-snapshot
Static local coordination avoidance for distributed objects
inferredcites →https://doi.org/10.1145/3358502.3361271openalex-snapshot
Squirrel: an extensible distributed key-value store
inferredcites →https://doi.org/10.1145/3360580openalex-snapshot
Mergeable replicated data types
inferredcites →https://doi.org/10.1145/3380787.3393687openalex-snapshot
Composing and decomposing op-based CRDTs with semidirect products
inferredcites →https://doi.org/10.1145/3428256openalex-snapshot
Rethinking safe consistency in distributed object-oriented programming
inferredcites →https://doi.org/10.1145/343477.343502openalex-snapshot
Towards robust distributed systems (abstract)
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/383962.384020openalex-snapshot
The IceCube approach to the reconciliation of divergent replicas
inferredcites →https://doi.org/10.14778/2735508.2735509openalex-snapshot
Coordination avoidance in database systems
inferredcites →https://doi.org/10.14778/3297753.3297760openalex-snapshot
IPA
inferredcites →https://doi.org/10.4230/lipics.snapl.2019.11openalex-snapshot
A Tour of Gallifrey, a Language for Geodistributed Programming

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.1016/j.cola.2026.101394openalex-snapshot
A type system for enforcing serializability of distributed transactions with mixed consistency
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/csf57540.2023.00030openalex-snapshot
General-Purpose Secure Conflict-free Replicated Data Types
inferred← citeshttps://doi.org/10.1145/3519939.3523426openalex-snapshot
Hamband: RDMA 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/3563768.3563952openalex-snapshot
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
inferred← citeshttps://doi.org/10.1145/3563768.3565546openalex-snapshot
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud
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/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
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.