Skip to main content

Verification of Snapshot Isolation in Transactional Memory Java Programs

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço

DOI 10.1007/978-3-642-31057-7_28 dblp BibTeX

Abstract elided by the publisher.

Related papers

Checking Robustness Against Snapshot Isolation CAV 2019
On Parallel Snapshot Isolation and Release/Acquire Consistency ESOP 2018
On the Semantics of Snapshot Isolation VMCAI 2019
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023
Reasoning about Weak Isolation Levels in Separation Logic ICFP 2025
On the complexity of checking transactional consistency OOPSLA 2019
Proving Isolation Properties for Software Transactional Memory ESOP 2011
Investigating the semantics of futures in transactional memory systems PPoPP 2021