On the public citation graph
MonkeyDB: effectively testing correctness under weak isolation levels
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.
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-030-25543-5_17openalex-snapshot
Checking Robustness Against Snapshot Isolation
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_13openalex-snapshot
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
inferredcites →https://doi.org/10.1007/978-3-030-67087-0_17openalex-snapshot
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution
inferredcites →https://doi.org/10.1007/978-3-319-77525-8_100350openalex-snapshot
Transaction Processing Performance Council
inferredcites →https://doi.org/10.1007/978-3-662-46681-0_28openalex-snapshot
Stateless Model Checking for TSO and PSO
inferredcites →https://doi.org/10.1145/1071610.1071615openalex-snapshot
Making snapshot isolation serializable
inferredcites →https://doi.org/10.1145/1379022.1375625openalex-snapshot
Fair stateless model checking
inferredcites →https://doi.org/10.1145/2741948.2741972openalex-snapshot
Putting consistency back into eventual consistency
inferredcites →https://doi.org/10.1145/2813885.2737981openalex-snapshot
Declarative programming over eventually consistent data stores
inferredcites →https://doi.org/10.1145/2914770.2837625openalex-snapshot
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
inferredcites →https://doi.org/10.1145/3035918.3056096openalex-snapshot
What Are We Doing With Our Lives?
inferredcites →https://doi.org/10.1145/3093333.3009857openalex-snapshot
Dynamic race detection for C++11
inferredcites →https://doi.org/10.1145/3093333.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferredcites →https://doi.org/10.1145/3158105openalex-snapshot
Effective stateless model checking for C/C++ concurrency
inferredcites →https://doi.org/10.1145/322154.322158openalex-snapshot
The serializability of concurrent database updates
inferredcites →https://doi.org/10.1145/3276534openalex-snapshot
Safe replication through bounded concurrency verification
inferredcites →https://doi.org/10.1145/3296979.3192415openalex-snapshot
Static serializability analysis for causal consistency
inferredcites →https://doi.org/10.1145/3360543openalex-snapshot
CLOTHO: directed test generation for weakly consistent database systems
inferredcites →https://doi.org/10.1145/3360591openalex-snapshot
On the complexity of checking transactional consistency
inferredcites →https://doi.org/10.1145/3485546openalex-snapshot
MonkeyDB: effectively testing correctness under weak isolation levels
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/568271.223785openalex-snapshot
A critique of ANSI SQL isolation levels
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.4230/lipics.concur.2018.41openalex-snapshot
Automated Detection of Serializability Violations Under Weak Consistency
inferredcites →https://doi.org/10.4230/lipics.concur.2019.30openalex-snapshot
Robustness Against Transactional Causal Consistency.
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-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-22774-4_11openalex-snapshot
Don’t go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices
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/icse-seip58684.2023.00006openalex-snapshot
Understanding Inconsistency in Azure Cosmos DB with TLA+
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00101openalex-snapshot
Detecting Isolation Bugs via Transaction Oracle Construction
inferred← citeshttps://doi.org/10.1145/3519939.3523426openalex-snapshot
Hamband: RDMA replicated data types
inferred← citeshttps://doi.org/10.1145/3551349.3556924openalex-snapshot
Differentially Testing Database Transactions for Fun and Profit
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/3650212.3680318openalex-snapshot
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
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/3720504openalex-snapshot
Checking Observational Correctness of Database Systems
inferred← citeshttps://doi.org/10.1145/3747515openalex-snapshot
Reasoning about Weak Isolation Levels in Separation Logic
inferred← citeshttps://doi.org/10.1145/3776643openalex-snapshot
The Complexity of Testing Message-Passing Concurrency
inferred← citeshttps://doi.org/10.1145/3808264openalex-snapshot
Trace-Guided Synthesis of Effectful Test Generators
inferred← citeshttps://doi.org/10.14778/3583140.3583145openalex-snapshot
Efficient Black-Box Checking of Snapshot Isolation in Databases
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
showing the first 17 of 18 · page through all 18
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.