Exploiting Symbolic Execution to Accelerate Deterministic Databases
Published in ICDCS, 2020
Recommended citation: S. Issa, M. Viegas, P. Raminhas, N. Machado, M. Matos, P. Romano. "Exploiting Symbolic Execution to Accelerate Deterministic Databases." ICDCS. 2020.
Download Paper