Proving Isolation Properties for Software Transactional Memory
Abstract elided by the publisher.
Related papers
- On Parallel Snapshot Isolation and Release/Acquire Consistency ESOP 2018
- Enforcing isolation and ordering in STM PLDI 2007
- Checking Robustness Against Snapshot Isolation CAV 2019
- Feedback-directed barrier optimization in a strongly isolated STM POPL 2009
- Model checking transactional memories PLDI 2008
- Verification of Snapshot Isolation in Transactional Memory Java Programs ECOOP 2012
- On the Semantics of Snapshot Isolation VMCAI 2019
- Investigating the semantics of futures in transactional memory systems PPoPP 2021