Exploiting Symbolic Execution to Accelerate Deterministic Databases

Type
Conference paper
Publication
in ICDCS
Date
Links