Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness.

Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas

Browse the full SIGMOD paper archive.