Exploiting Symbolic Execution to Accelerate Deterministic Databases

S. Issa , M. Viegas , P. Raminhas , N. Machado , M. Matos , P. Romano

Mar 14, 2020

Type

Conference paper

Publication

in ICDCS

Date

March, 2020