Cover Image

VerIso: Verifiable Isolation Guarantees for Database Transactions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ghasemirad, Shabnam, Liu, Si, Sprenger, Christoph, Multazzu, Luca, Basin, David
Format:	Preprint
Published:	2025
Subjects:	Databases Distributed, Parallel, and Cluster Computing Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

Verifying the Hashgraph Consensus Algorithm
by: Crary, Karl
Published: (2021)

A Datalog Framework for Conflict-Free Replicated Data Types
by: Yanakieva, Elena, et al.
Published: (2026)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)

Styx: Transactional Stateful Functions on Streaming Dataflows
by: Psarakis, Kyriakos, et al.
Published: (2023)

Ira: Efficient Transaction Replay for Distributed Systems
by: Bhat, Adithya, et al.
Published: (2026)

Specifying and Verifying RDMA Synchronisation (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2026)

Democratizing Scalable Cloud Applications: Transactional Stateful Functions on Streaming Dataflows
by: Psarakis, Kyriakos
Published: (2025)

Survey: Graph Databases
by: Coimbra, Miguel E., et al.
Published: (2025)

Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
by: Zheng, Qiushi, et al.
Published: (2024)

Evaluating the Impact Of Spatial Features Of Mobility Data and Index Choice On Database Performance
by: Rese, Tim C., et al.
Published: (2025)

Taurus Database: How to be Fast, Available, and Frugal in the Cloud
by: Depoutovitch, Alex, et al.
Published: (2024)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)

Distributed Knowledge in Simplicial Models
by: Goubault, Éric, et al.
Published: (2026)

A categorical and logical framework for iterated protocols
by: Goubault, Eric, et al.
Published: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
by: Schreiber, Dominik
Published: (2025)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
by: Altisen, Karine, et al.
Published: (2025)

Proceedings 17th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2024)

An Experimental Framework for Implementing Decentralized Autonomous Database Systems in Rust
by: Aryan, Prakash, et al.
Published: (2024)

Epoch-based Optimistic Concurrency Control in Geo-replicated Databases
by: Mao, Yunhao, et al.
Published: (2026)

CUTTANA: Scalable Graph Partitioning for Faster Distributed Graph Databases and Analytics
by: Hajidehi, Milad Rezaei, et al.
Published: (2023)

Exploring Distributed Vector Databases Performance on HPC Platforms: A Study with Qdrant
by: Ockerman, Seth, et al.
Published: (2025)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Delta Fair Sharing: Performance Isolation for Multi-Tenant Storage Systems
by: Griggs, Tyler, et al.
Published: (2026)

PolarStore: High-Performance Data Compression for Large-Scale Cloud-Native Databases
by: Hu, Qingda, et al.
Published: (2025)

A Chunked-Object Pattern for Multi-Region Large Payload Storage in Managed NoSQL Databases
by: Chinthareddy, Manideep Reddy
Published: (2025)

Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach
by: Korchiev, Nodirbek, et al.
Published: (2024)

Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents
by: Sheng, Weiming, et al.
Published: (2026)

A Note on an Inferentialist Approach to Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
by: Cignarale, Giorgio, et al.
Published: (2025)