%0 Conference Paper %1 conf/sigmod/0005YBPD22 %A Xia, Yu %A Yu, Xiangyao %A Butrovich, Matthew %A Pavlo, Andrew %A Devadas, Srinivas %B SIGMOD Conference %D 2022 %E Ives, Zachary G. %E Bonifati, Angela %E Abbadi, Amr El %I ACM %K dblp %P 1478-1492 %T Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. %U http://dblp.uni-trier.de/db/conf/sigmod/sigmod2022.html#0005YBPD22 %@ 978-1-4503-9249-5

@inproceedings{conf/sigmod/0005YBPD22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Xia, Yu and Yu, Xiangyao and Butrovich, Matthew and Pavlo, Andrew and Devadas, Srinivas}, biburl = {https://www.bibsonomy.org/bibtex/21a30db840a87ee9df0a7ba96993e8d63/dblp}, booktitle = {SIGMOD Conference}, crossref = {conf/sigmod/2022}, editor = {Ives, Zachary G. and Bonifati, Angela and Abbadi, Amr El}, ee = {https://doi.org/10.1145/3514221.3517851}, interhash = {9772807e46498b30d20300dac47ccf46}, intrahash = {1a30db840a87ee9df0a7ba96993e8d63}, isbn = {978-1-4503-9249-5}, keywords = {dblp}, pages = {1478-1492}, publisher = {ACM}, timestamp = {2024-04-09T16:32:53.000+0200}, title = {Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness.}, url = {http://dblp.uni-trier.de/db/conf/sigmod/sigmod2022.html#0005YBPD22}, year = 2022 }