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. /files/icdcs20-shady.pdf