Exploiting Symbolic Execution to Accelerate Deterministic Databases

Publication
in ICDCS
Date