On the public citation graph
On the complexity of checking transactional consistency
0 signed · 69 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-540-24605-3_37openalex-snapshot
An Extensible SAT-solver
inferredcites →https://doi.org/10.1109/pdis.1994.331722openalex-snapshot
Session guarantees for weakly consistent replicated data
inferredcites →https://doi.org/10.1145/1040305.1040315openalex-snapshot
Dynamic partial-order reduction for model checking software
inferredcites →https://doi.org/10.1145/223784.223785openalex-snapshot
A critique of ANSI SQL isolation levels
inferredcites →https://doi.org/10.1145/3009837.3009888openalex-snapshot
On verifying causal consistency
inferredcites →https://doi.org/10.1145/3158113openalex-snapshot
Sound, complete, and tractable linearizability monitoring for concurrent collections
inferredcites →https://doi.org/10.1145/3158119openalex-snapshot
Data-centric dynamic partial order reduction
inferredcites →https://doi.org/10.1145/322154.322158openalex-snapshot
The serializability of concurrent database updates
inferredcites →https://doi.org/10.1145/3276530openalex-snapshot
Randomized testing of distributed systems with probabilistic guarantees
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/512644.512661openalex-snapshot
Expressing interesting properties of programs in propositional temporal logic
inferredcites →https://doi.org/10.15479/at:ist-2017-872-v1-1openalex-snapshot
Data-centric Dynamic Partial Order Reduction
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.ecoop.2015.568openalex-snapshot
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
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-39322-9_18openalex-snapshot
Formalizing and Checking Multilevel Consistency
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_20openalex-snapshot
Boosting Sequential Consistency Checking Using Saturation
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_4openalex-snapshot
Checking Robustness Between Weak Transactional Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_6openalex-snapshot
Optimal Stateless Model Checking for Causal Consistency
inferred← citeshttps://doi.org/10.1007/978-3-031-64285-2_11openalex-snapshot
Checking Transaction Isolation Violations Using Graph Queries
inferred← citeshttps://doi.org/10.1007/978-3-031-78709-6_9openalex-snapshot
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
inferred← citeshttps://doi.org/10.1007/978-3-031-90660-2_3openalex-snapshot
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_15openalex-snapshot
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_5openalex-snapshot
Deciding Serializability in Network Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_26openalex-snapshot
A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning
inferred← citeshttps://doi.org/10.1109/ic3et64989.2026.11467149openalex-snapshot
Stewardship by Design: Strategic Governance in Publicly Owned Firms
inferred← citeshttps://doi.org/10.1109/icde55515.2023.00061openalex-snapshot
Leopard: A Black-Box Approach for Efficiently Verifying Various Isolation Levels
inferred← citeshttps://doi.org/10.1109/icde65448.2025.00279openalex-snapshot
Online Timestamp-Based Transactional Isolation Checking of Database Systems
inferred← citeshttps://doi.org/10.1109/icde65448.2025.00298openalex-snapshot
Boosting End-to-End Database Isolation Checking via Mini-Transactions
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00101openalex-snapshot
Detecting Isolation Bugs via Transaction Oracle Construction
inferred← citeshttps://doi.org/10.1109/tkde.2026.3676641openalex-snapshot
A High-Performance Black-Box Bug-Finding Tool for Database Isolation Levels
inferred← citeshttps://doi.org/10.1145/3360576openalex-snapshot
Optimal stateless model checking for reads-from equivalence under sequential consistency
inferred← citeshttps://doi.org/10.1145/3373718.3394783openalex-snapshot
The Complexity of Dynamic Data Race Prediction
inferred← citeshttps://doi.org/10.1145/3485541openalex-snapshot
The reads-from equivalence for the TSO and PSO memory models
inferred← citeshttps://doi.org/10.1145/3485546openalex-snapshot
MonkeyDB: effectively testing correctness under weak isolation levels
inferred← citeshttps://doi.org/10.1145/3494517openalex-snapshot
All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions
inferred← citeshttps://doi.org/10.1145/3498711openalex-snapshot
Truly stateless, optimal dynamic partial order reduction
inferred← citeshttps://doi.org/10.1145/3551349.3556924openalex-snapshot
Differentially Testing Database Transactions for Fun and Profit
inferred← citeshttps://doi.org/10.1145/3552326.3567492openalex-snapshot
Viper: A Fast Snapshot Isolation Checker
inferred← citeshttps://doi.org/10.1145/3591243openalex-snapshot
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
inferred← citeshttps://doi.org/10.1145/3597503.3639207openalex-snapshot
Understanding Transaction Bugs in Database Systems
inferred← citeshttps://doi.org/10.1145/3627703.3650080openalex-snapshot
Validating Database System Isolation Level Implementations with Version Certificate Recovery
inferred← citeshttps://doi.org/10.1145/3639478.3643094openalex-snapshot
GRAIL: Checking Transaction Isolation Violations with Graph Queries
inferred← citeshttps://doi.org/10.1145/3651592openalex-snapshot
When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control
inferred← citeshttps://doi.org/10.1145/3656391openalex-snapshot
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
inferred← citeshttps://doi.org/10.1145/3689742openalex-snapshot
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
inferred← citeshttps://doi.org/10.1145/3698810openalex-snapshot
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
inferred← citeshttps://doi.org/10.1145/3720504openalex-snapshot
Checking Observational Correctness of Database Systems
inferred← citeshttps://doi.org/10.1145/3728953openalex-snapshot
Detecting Isolation Anomalies in Relational DBMSs
inferred← citeshttps://doi.org/10.1145/3742465openalex-snapshot
AWDIT: An Optimal Weak Database Isolation Tester
inferred← citeshttps://doi.org/10.1145/3749186openalex-snapshot
Testing Graph Databases with Synthesized Queries
inferred← citeshttps://doi.org/10.1145/3763123openalex-snapshot
Efficient Decrease-and-Conquer Linearizability Monitoring
inferred← citeshttps://doi.org/10.1145/3776643openalex-snapshot
The Complexity of Testing Message-Passing Concurrency
inferred← citeshttps://doi.org/10.1145/3776683openalex-snapshot
Arbitration-Free Consistency Is Available (and Vice Versa)
inferred← citeshttps://doi.org/10.1145/3797871openalex-snapshot
Bringing Order to Practical Validation of Database Isolation Levels
inferred← citeshttps://doi.org/10.1145/3830418.3843899openalex-snapshot
Validating a High-Performance Cloud Object Store with Lightweight Formal Methods
inferred← citeshttps://doi.org/10.14778/3583140.3583145openalex-snapshot
Efficient Black-Box Checking of Snapshot Isolation in Databases
inferred← citeshttps://doi.org/10.14778/3685800.3685866openalex-snapshot
IsoVista: Black-Box Checking Database Isolation Guarantees
inferred← citeshttps://doi.org/10.14778/3718057.3718065openalex-snapshot
VerIso: Verifiable Isolation Guarantees for Database Transactions
inferred← citeshttps://doi.org/10.14778/3742728.3742747openalex-snapshot
Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems
inferred← citeshttps://doi.org/10.14778/3785297.3785300openalex-snapshot
Fast Verification of Strong Database Isolation
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d15openalex-snapshot
Checking Robustness Between Weak Transactional Consistency Models
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2020.42openalex-snapshot
A Framework for Consistency Algorithms
inferred← citeshttps://doi.org/10.48550/arxiv.2003.10554openalex-snapshot
Elle: Inferring Isolation Anomalies from Experimental Observations
inferred← citeshttps://doi.org/10.48550/arxiv.2111.14946openalex-snapshot
Verifying Transactional Consistency of MongoDB
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.