On the public citation graph

Hamsaz: replication coordination analysis and synthesis

https://doi.org/10.1145/3290387
0 signed · 107 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/3-540-46508-1_8openalex-snapshot
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
inferredcites →https://doi.org/10.1007/3-540-48224-5_33openalex-snapshot
Distributed Controller Synthesis for Local Specifications
inferredcites →https://doi.org/10.1007/978-1-4757-3452-2openalex-snapshot
Set Theory for Computing
inferredcites →https://doi.org/10.1007/978-3-319-40229-1_7openalex-snapshot
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
inferredcites →https://doi.org/10.1007/978-3-319-63046-5_10openalex-snapshot
Relational Constraint Solving in SMT
inferredcites →https://doi.org/10.1007/978-3-319-96145-3_26openalex-snapshot
Monitoring Weak Consistency
inferredcites →https://doi.org/10.1007/978-3-540-73595-3_15openalex-snapshot
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
inferredcites →https://doi.org/10.1007/978-3-642-15260-3openalex-snapshot
Introduction to Reliable and Secure Distributed Programming
inferredcites →https://doi.org/10.1007/978-3-662-47666-6_25openalex-snapshot
Owicki-Gries Reasoning for Weak Memory Models
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1007/bf01784241openalex-snapshot
Causal memory: definitions, implementation, and programming
inferredcites →https://doi.org/10.1016/j.tcs.2006.12.035openalex-snapshot
Resources, concurrency, and local reasoning
inferredcites →https://doi.org/10.1109/69.476504openalex-snapshot
A formal characterization of epsilon serializability
inferredcites →https://doi.org/10.1109/lics.2013.18openalex-snapshot
Quantitative Reasoning for Proving Lock-Freedom
inferredcites →https://doi.org/10.1109/mc.2011.389openalex-snapshot
Perspectives on the CAP Theorem
inferredcites →https://doi.org/10.1109/mc.2012.33openalex-snapshot
Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story
inferredcites →https://doi.org/10.1109/tkde.2004.34openalex-snapshot
Correct execution of transactions at different isolation levels
inferredcites →https://doi.org/10.1137/0206036openalex-snapshot
A New Algorithm for Generating All the Maximal Independent Sets
inferredcites →https://doi.org/10.1145/1065167.1065193openalex-snapshot
Allocating isolation levels to transactions
inferredcites →https://doi.org/10.1145/1071610.1071615openalex-snapshot
Making snapshot isolation serializable
inferredcites →https://doi.org/10.1145/1294261.1294281openalex-snapshot
Dynamo
inferredcites →https://doi.org/10.1145/138873.138877openalex-snapshot
Providing high availability using lazy replication
inferredcites →https://doi.org/10.1145/1435417.1435432openalex-snapshot
Eventually consistent
inferredcites →https://doi.org/10.1145/1466443.1466448openalex-snapshot
Eventually Consistent
inferredcites →https://doi.org/10.1145/1542476.1542488openalex-snapshot
Lightweight annotations for controlling sharing in concurrent data structures
inferredcites →https://doi.org/10.1145/1670412openalex-snapshot
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
inferredcites →https://doi.org/10.1145/2043556.2043592openalex-snapshot
Transactional storage for geo-replicated systems
inferredcites →https://doi.org/10.1145/2043556.2043593openalex-snapshot
Don't settle for eventual
inferredcites →https://doi.org/10.1145/2391229.2391251openalex-snapshot
The potential dangers of causal consistency and an explicit solution
inferredcites →https://doi.org/10.1145/2517349.2522731openalex-snapshot
Consistency-based service level agreements for cloud storage
inferredcites →https://doi.org/10.1145/2535838.2535848openalex-snapshot
Replicated data types
inferredcites →https://doi.org/10.1145/2535838.2535877openalex-snapshot
Verifying eventual consistency of optimistic replication systems
inferredcites →https://doi.org/10.1145/268998.266711openalex-snapshot
Flexible update propagation for weakly consistent replication
inferredcites →https://doi.org/10.1145/2723372.2723720openalex-snapshot
The Homeostasis Protocol
inferredcites →https://doi.org/10.1145/2723372.2737784openalex-snapshot
Feral Concurrency Control
inferredcites →https://doi.org/10.1145/2723872.2723889openalex-snapshot
Towards Fast Invariant Preservation in Geo-replicated 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/2745947.2745955openalex-snapshot
Minimizing coordination in replicated systems
inferredcites →https://doi.org/10.1145/279227.279229openalex-snapshot
The part-time parliament
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/2911151.2911160openalex-snapshot
The CISE tool
inferredcites →https://doi.org/10.1145/2987550.2987559openalex-snapshot
Disciplined Inconsistency with Consistency Types
inferredcites →https://doi.org/10.1145/3009837.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferredcites →https://doi.org/10.1145/3110214openalex-snapshot
Blazes
inferredcites →https://doi.org/10.1145/3149.214121openalex-snapshot
Impossibility of distributed consensus with one faulty process
inferredcites →https://doi.org/10.1145/3158115openalex-snapshot
Alone together: compositional reasoning and inference for weak isolation
inferredcites →https://doi.org/10.1145/3166089.3166090openalex-snapshot
Monotonicity Types for Distributed Dataflow
inferredcites →https://doi.org/10.1145/3192366.3192375openalex-snapshot
MixT: a language for mixing consistency in geodistributed transactions
inferredcites →https://doi.org/10.1145/323627.323636openalex-snapshot
Replication and fault-tolerance in the ISIS system
inferredcites →https://doi.org/10.1145/323647.323636openalex-snapshot
Replication and fault-tolerance in the ISIS system
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/361227.361234openalex-snapshot
Reduction
inferredcites →https://doi.org/10.1145/362342.362367openalex-snapshot
Algorithm 457: finding all cliques of an undirected graph
inferredcites →https://doi.org/10.1145/564585.564601openalex-snapshot
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
inferredcites →https://doi.org/10.1145/62546.62549openalex-snapshot
Viewstamped replication: a general primary copy
inferredcites →https://doi.org/10.1145/69575.69577openalex-snapshot
Tentative steps toward a development method for interfering programs
inferredcites →https://doi.org/10.1184/r1/6609965openalex-snapshot
Stronger Semantics for Low-Latency Geo-Replicated Storage
inferredcites →https://doi.org/10.14778/1454159.1454167openalex-snapshot
PNUTS
inferredcites →https://doi.org/10.14778/1687627.1687657openalex-snapshot
Consistency rationing in the cloud
inferredcites →https://doi.org/10.14778/2212351.2212359openalex-snapshot
Probabilistically bounded staleness for practical partial quorums
inferredcites →https://doi.org/10.14778/2735508.2735509openalex-snapshot
Coordination avoidance in database systems
inferredcites →https://doi.org/10.4230/lipics.concur.2015.58openalex-snapshot
A Framework for Transactional Consistency Models with Atomic Visibility
inferredcites →https://doi.org/10.4230/lipics.concur.2016.7openalex-snapshot
Robustness against Consistency Models with Atomic Visibility
inferredcites →https://doi.org/10.5555/1251229.1251250openalex-snapshot
Design and evaluation of a continuous consistency model for replicated services
inferredcites →https://doi.org/10.5555/2616448.2616495openalex-snapshot
Warranties for faster strong consistency
inferredcites →https://doi.org/10.5555/3026877.3026891openalex-snapshot
Incremental consistency guarantees for replicated objects

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-25543-5_26openalex-snapshot
Automated Parameterized Verification of CRDTs
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_20openalex-snapshot
Proving the Safety of Highly-Available Distributed Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_13openalex-snapshot
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_16openalex-snapshot
Hampa: Solver-Aided Recency-Aware Replication
inferred← citeshttps://doi.org/10.1007/978-3-030-67067-2_5openalex-snapshot
Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing
inferred← citeshttps://doi.org/10.1007/978-3-031-37765-5_5openalex-snapshot
Comparing Causal Convergence Consistency Models
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100561openalex-snapshot
Replicated data types that unify eventual consistency and observable atomic consistency
inferred← citeshttps://doi.org/10.1109/2575-8411.2026.00010openalex-snapshot
Turmeric: A Fault-Tolerant Publish/Subscribe Service with Multiple Ordering Guarantees
inferred← citeshttps://doi.org/10.1109/icnp49622.2020.9259370openalex-snapshot
CoNICE: Consensus in Intermittently-Connected Environments by Exploiting Naming with Application to Emergency Response
inferred← citeshttps://doi.org/10.1109/mic.2025.3618947openalex-snapshot
Think Locally, Act Globally: A Programming Model for Decentralized Applications
inferred← citeshttps://doi.org/10.1109/tnet.2022.3156101openalex-snapshot
CoNICE: Consensus in Intermittently-Connected Environments by Exploiting Naming With Application to Emergency Response
inferred← citeshttps://doi.org/10.1109/tpds.2021.3090318openalex-snapshot
On Mixing Eventual and Strong Consistency: Acute Cloud Types
inferred← citeshttps://doi.org/10.1109/tpds.2022.3217969openalex-snapshot
Replicated Versioned Data Structures for Wide-Area 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/3428256openalex-snapshot
Rethinking safe consistency in distributed object-oriented programming
inferred← citeshttps://doi.org/10.1145/3428284openalex-snapshot
Verifying replicated data types with typeclass refinements in Liquid Haskell
inferred← citeshttps://doi.org/10.1145/3464298.3493405openalex-snapshot
Highly-available and consistent group collaboration at the edge with colony
inferred← citeshttps://doi.org/10.1145/3473588openalex-snapshot
Grafs: declarative graph analytics
inferred← citeshttps://doi.org/10.1145/3485484openalex-snapshot
ECROs: building global scale systems from sequential code
inferred← citeshttps://doi.org/10.1145/3503221.3508438openalex-snapshot
Optimizing consistency for partially replicated data stores
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/3563349openalex-snapshot
Veracity: declarative multicore programming with commutativity
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/3627703.3629570openalex-snapshot
Noctua: Towards Automated and Practical Fine-grained Consistency Analysis
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/3721473openalex-snapshot
Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data
inferred← citeshttps://doi.org/10.1145/3721473.3722139openalex-snapshot
Towards Local-First Distributed Property Graphs
inferred← citeshttps://doi.org/10.1145/3721473.3722145openalex-snapshot
ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs
inferred← citeshttps://doi.org/10.14778/3461535.3461541openalex-snapshot
AUTOGR
inferred← citeshttps://doi.org/10.48550/arxiv.2005.13632openalex-snapshot
GraFS: Graph Analytics Fusion and Synthesis
inferred← citeshttps://doi.org/10.48550/arxiv.2010.06622openalex-snapshot
CISE3: Verifying Weakly Consistent Applications with Why3
inferred← citeshttps://doi.org/10.70675/3d17a2d6z19bbz4b7az8011z1ee81781cceeopenalex-snapshot
Varda : a language for programming distributed systems by composition
inferred← citeshttps://doi.org/10.70675/a1988a02z3d41z4738z942az643411b36ddfopenalex-snapshot
Designing safe and highly available distributed applications
inferred← citeshttps://doi.org/10.70675/b137b76fz1510z4758zbf14zd2f3a49a9658openalex-snapshot
Colony : a Hybrid Consistency System for Highly-Available Collaborative Edge Computing
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.