@InProceedings{rsi,
author="Raad, Azalea
and Lahav, Ori
and Vafeiadis, Viktor",
editor="Enea, Constantin
and Piskac, Ruzica",
title="On the Semantics of Snapshot Isolation",
booktitle="Verification, Model Checking, and Abstract Interpretation",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="1--23",
abstract="Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM). Its semantics is formally defined both declaratively as an acyclicity axiom, and operationally as a concurrent algorithm with memory bearing timestamps.",
isbn="978-3-030-11245-5"
}