On the public citation graph

Rethinking safe consistency in distributed object-oriented programming

https://doi.org/10.1145/3428256
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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/11818502_7openalex-snapshot
Failure Handling in a Network-Transparent Distributed Programming Language
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-642-31057-7_14openalex-snapshot
Cloud Types for Eventual Consistency
inferredcites →https://doi.org/10.1016/j.jpdc.2017.08.003openalex-snapshot
Delta state replicated data types
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.1093/actrade/9780198733461.003.0004openalex-snapshot
4. The art, science, and engineering of programming
inferredcites →https://doi.org/10.1109/icde.2000.839388openalex-snapshot
Generalized isolation level definitions
inferredcites →https://doi.org/10.1145/1134744.1134757openalex-snapshot
Trusted declassification:
inferredcites →https://doi.org/10.1145/1390630.1390656openalex-snapshot
Practical pluggable types for java
inferredcites →https://doi.org/10.1145/1435417.1435432openalex-snapshot
Eventually consistent
inferredcites →https://doi.org/10.1145/2038916.2038932openalex-snapshot
Orleans
inferredcites →https://doi.org/10.1145/2160910.2160913openalex-snapshot
A data-centric approach to synchronization
inferredcites →https://doi.org/10.1145/2213836.2213838openalex-snapshot
Calvin
inferredcites →https://doi.org/10.1145/2491245openalex-snapshot
Spanner
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/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/2926965openalex-snapshot
Consistency in Non-Transactional Distributed Storage 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/3009837.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferredcites →https://doi.org/10.1145/3093333.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferredcites →https://doi.org/10.1145/3133931openalex-snapshot
Geo-distribution of actor-based services
inferredcites →https://doi.org/10.1145/3158115openalex-snapshot
Alone together: compositional reasoning and inference for weak isolation
inferredcites →https://doi.org/10.1145/3183713.3183752openalex-snapshot
Reactors
inferredcites →https://doi.org/10.1145/3192366.3192375openalex-snapshot
MixT: a language for mixing consistency in geodistributed transactions
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/3302424.3303987openalex-snapshot
Efficient, Consistent Distributed Computation with Predictive Treaties
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/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/360363.360369openalex-snapshot
The notions of consistency and predicate locks in a database system
inferredcites →https://doi.org/10.1145/502034.502038openalex-snapshot
The costs and limits of availability for replicated services
inferredcites →https://doi.org/10.1145/503502.503505openalex-snapshot
Featherweight Java
inferredcites →https://doi.org/10.14778/2732232.2732237openalex-snapshot
Highly available transactions
inferredcites →https://doi.org/10.48550/arxiv.1302.0309openalex-snapshot
Highly Available Transactions: Virtues and Limitations (Extended Version)
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.2139/ssrn.4781776openalex-extracted
A Type-Based Approach for Verifying Conflict-Free Serializable Transactions
inferred← citeshttps://doi.org/10.2139/ssrn.4821499openalex-extracted
A Type-Based Approach for Verifying Conflict-Free Serializable Transactions
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_4openalex-snapshot
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
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.1109/tse.2024.3477723openalex-snapshot
Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications
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/3618305.3623610openalex-snapshot
Safe Combination of Data-Centric and Operation-Centric Consistency
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/3839478openalex-snapshot
Composing CRDTs Convergent by Construction
inferred← citeshttps://doi.org/10.15439/2021f34openalex-snapshot
Thespis: Causally-consistent OLTP
inferred← citeshttps://doi.org/10.2197/ipsjjip.34.627openalex-snapshot
Realizing Distributed Transactions with Mixed Consistency in a Reactive Programming Language
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.