Database Management

Y. Xia, X. Yu, M. Butrovich, A. Pavlo, and S. Devadas, "Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness", Proceedings of the SIGMOD Conference, June 2022.

Y. Xia, X. Yu, A. Pavlo, and S. Devadas, "Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems", Proceedings of the VLDB Conference, August 2021.

Y. Xia, X. Yu, W. Moses, J. Shun, and S. Devadas, "LiTM: A Lightweight Deterministic Software Transactional Memory System", Proceedings of the PMAM 2019 Workshop, February 2019.

X. Yu, Y. Xia, A. Pavlo, D. Sanchez, L. Rudolph, and S. Devadas, "Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System", Proceedings of the VLDB Conference, August 2018.

X. Yu, A. Pavlo, D. Sanchez, and S. Devadas, "TicToc: Time Traveling Optimistic Concurrency Control", Proceedings of the SIGMOD Conference, June 2016.

X. Yu, G. Bezerra, A. Pavlo, S. Devadas, and M. Stonebraker, "Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores", Proceedings of the VLDB Endowment, November 2014.