Abstract interpretation under speculative execution.

Meng Wu Chao Wang

Published in: PLDI (2019)

Keyphrases

abstract interpretation
speculative execution
termination analysis
static analysis
active rules
model checking
dynamic analysis
reasoning engine
transactional memory
active databases
operating system
databases
high level
integrity constraints
data flow
memory subsystem