APA (7th ed.) Citation

Xia, Y., Yu, X., Butrovich, M., Pavlo, A., Devadas, S., & Laboratory, M. I. o. T. C. S. a. A. I. (2022). Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. ACM|Proceedings of the 2022 International Conference on Management of Data.

Chicago Style (17th ed.) Citation

Xia, Yu, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas, and Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. ACM|Proceedings of the 2022 International Conference on Management of Data, 2022.

MLA (9th ed.) Citation

Xia, Yu, et al. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. ACM|Proceedings of the 2022 International Conference on Management of Data, 2022.