Yu Xia 0005, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. In Zachary Ives, Angela Bonifati, Amr El Abbadi, editors, SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. pages 1478-1492, ACM, 2022. [doi]
Abstract is missing.