@InProceedings{rpsi,
author="Raad, Azalea
and Lahav, Ori
and Vafeiadis, Viktor",
editor="Ahmed, Amal",
title="On Parallel Snapshot Isolation and Release/Acquire Consistency",
booktitle="Programming Languages and Systems",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="940--967",
abstract="Parallel snapshot isolation (PSI) is a standard transactional consistency model used in databases and distributed systems. We argue that PSI is also a useful formal model for software transactional memory (STM) as it has certain advantages over other consistency models. However, the formal PSI definition is given declaratively by acyclicity axioms, which most programmers find hard to understand and reason about.",
isbn="978-3-319-89884-1"
}