On the public citation graph

Alone together: compositional reasoning and inference for weak isolation

0 signed · 50 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-319-21668-3_26openalex-snapshot

Automated and Modular Refinement Reasoning for Concurrent Programs

inferredcites →https://doi.org/10.1007/978-3-642-11319-2_25openalex-snapshot

RGSep Action Inference

inferredcites →https://doi.org/10.1007/978-3-642-14295-6_40openalex-snapshot

Automatically Proving Linearizability

inferredcites →https://doi.org/10.1007/s00778-013-0318-xopenalex-snapshot

Consistency anomalies in multi-tier architectures: automatic detection and prevention

inferredcites →https://doi.org/10.1109/icde.2000.839387openalex-snapshot

Semantic conditions for correctness at different isolation levels

inferredcites →https://doi.org/10.1109/icde.2011.5767853openalex-snapshot

Precisely Serializable Snapshot Isolation (PSSI)

inferredcites →https://doi.org/10.1109/lics.2002.1029817openalex-snapshot

Separation logic: a logic for shared mutable data structures

inferredcites →https://doi.org/10.1145/1071610.1071615openalex-snapshot

Making snapshot isolation serializable

inferredcites →https://doi.org/10.1145/1376616.1376690openalex-snapshot

Serializable isolation for snapshot databases

inferredcites →https://doi.org/10.1145/2043556.2043592openalex-snapshot

Transactional storage for geo-replicated systems

inferredcites →https://doi.org/10.1145/223784.223785openalex-snapshot

A critique of ANSI SQL isolation levels

inferredcites →https://doi.org/10.1145/2463676.2465296openalex-snapshot

LinkBench

inferredcites →https://doi.org/10.1145/2463676.2465339openalex-snapshot

Rethinking eventual consistency

inferredcites →https://doi.org/10.1145/2535838.2535848openalex-snapshot

Replicated data types

inferredcites →https://doi.org/10.1145/2723372.2737784openalex-snapshot

Feral Concurrency Control

inferredcites →https://doi.org/10.1145/2737924.2737981openalex-snapshot

Declarative programming over eventually consistent data stores

inferredcites →https://doi.org/10.1145/2737924.2738006openalex-snapshot

Relaxing safely: verified on-the-fly garbage collection for x86-TSO

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/2933057.2933096openalex-snapshot

Analysing Snapshot Isolation

inferredcites →https://doi.org/10.1145/3035918.3064037openalex-snapshot

ACIDRain

inferredcites →https://doi.org/10.1145/3087801.3087802openalex-snapshot

Seeing is Believing

inferredcites →https://doi.org/10.1145/319996.319998openalex-snapshot

Multiversion concurrency control—theory and algorithms

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/5505.5508openalex-snapshot

Consistency in a partitioned network: a survey

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/69575.69577openalex-snapshot

Tentative steps toward a development method for interfering programs

inferredcites →https://doi.org/10.14778/1687627.1687681openalex-snapshot

Quantifying isolation anomalies

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.concur.2015.58openalex-snapshot

A Framework for Transactional Consistency Models with Atomic Visibility

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-11245-5_1openalex-snapshot

On the Semantics of Snapshot Isolation

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-64437-6_12openalex-snapshot

Banyan: Coordination-Free Distributed Transactions over Mergeable Types

inferred← citeshttps://doi.org/10.1007/978-3-030-67087-0_17openalex-snapshot

Verifying Weakly Consistent Transactional Programs Using Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_186-1openalex-snapshot

Geo-Replication Models

inferred← citeshttps://doi.org/10.1145/3192366.3192375openalex-snapshot

MixT: a language for mixing consistency in geodistributed transactions

inferred← citeshttps://doi.org/10.1145/3276534openalex-snapshot

Safe replication through bounded concurrency verification

inferred← citeshttps://doi.org/10.1145/3290387openalex-snapshot

Hamsaz: replication coordination analysis and synthesis

inferred← citeshttps://doi.org/10.1145/3296979.3192375openalex-snapshot

MixT: a language for mixing consistency in geodistributed transactions

inferred← citeshttps://doi.org/10.1145/3360580openalex-snapshot

Mergeable replicated data types

inferred← citeshttps://doi.org/10.1145/3428256openalex-snapshot

Rethinking safe consistency in distributed object-oriented programming

inferred← citeshttps://doi.org/10.1145/3434323openalex-snapshot

Distributed causal memory: modular specification and verification in higher-order distributed separation logic

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/3464298.3493392openalex-snapshot

FaaSTCC

inferred← citeshttps://doi.org/10.1145/3485490openalex-snapshot

Verifying concurrent multicopy search structures

inferred← citeshttps://doi.org/10.1145/3747515openalex-snapshot

Reasoning about Weak Isolation Levels in Separation Logic

inferred← citeshttps://doi.org/10.31219/osf.io/7vyxwopenalex-snapshot

On the Semantics of Snapshot Isolation

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.