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

Author(s)
Xia, Yu; Yu, Xiangyao; Butrovich, Matthew; Pavlo, Andrew; Devadas, Srinivas
Thumbnail
Download3514221.3517851.pdf (1.313Mb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2022-06-10
URI
https://hdl.handle.net/1721.1/146094
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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
ISBN
978-1-4503-9249-5
Collections

The following license files are associated with this item: