| dc.contributor.author | Xia, Yu | |
| dc.contributor.author | Yu, Xiangyao | |
| dc.contributor.author | Butrovich, Matthew | |
| dc.contributor.author | Pavlo, Andrew | |
| dc.contributor.author | Devadas, Srinivas | |
| dc.date.accessioned | 2022-11-03T12:56:32Z | |
| dc.date.available | 2022-11-03T12:56:32Z | |
| dc.date.issued | 2022-06-10 | |
| dc.identifier.isbn | 978-1-4503-9249-5 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/146094 | |
| dc.publisher | ACM|Proceedings of the 2022 International Conference on Management of Data | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3514221.3517851 | en_US |
| dc.rights | Creative Commons Attribution 4.0 International license | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en_US |
| dc.source | ACM|Proceedings of the 2022 International Conference on Management of Data | en_US |
| dc.title | Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness | en_US |
| dc.type | Article | en_US |
| dc.identifier.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." | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | |
| dc.identifier.mitlicense | PUBLISHER_CC | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2022-11-02T22:42:19Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2022-11-02T22:42:20Z | |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
