Exploiting Symbolic Execution to Accelerate Deterministic Databases. - Shady Issa; Miguel Viegas; Pedro Raminhas; Nuno Machado; Miguel Matos; Paolo Romano 002 (ICDCS, 2020)