Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano 0002. Exploiting Symbolic Execution to Accelerate Deterministic Databases. In 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, Singapore, November 29 - December 1, 2020. pages 678-688, IEEE, 2020. [doi]
Abstract is missing.