Restricting Control Flow During Speculative Execution with Venkman.

Zhuojia Shen Jie Zhou Divya Ojha John Criswell

Published in: CoRR (2019)

Keyphrases

control flow
speculative execution
data flow
software testing
transactional memory
process model
memory subsystem
object oriented
software engineering
fine grained
parallel algorithm
modeling language
formal semantics
programming environment