Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
Name
3514221.3517851.pdf
Size
1.31 MB
Format
Adobe PDF
Checksum (MD5)
ca3798309872c26e08f646868aa6e0b5
Author(s)
Xia, Yu
Yu, Xiangyao
Butrovich, Matthew
Pavlo, Andrew
Devadas, Srinivas
Date Issued
June 10, 2022
Publisher
ACM|Proceedings of the 2022 International Conference on Management of Data
Citation
Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew and Devadas, Srinivas. 2022. "Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness."
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3514221.3517851
