Repairing serializability bugs in distributed database programs via automated schema refactoring

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan. Repairing serializability bugs in distributed database programs via automated schema refactoring. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 32-47, ACM, 2021. [doi]

Abstract

Abstract is missing.