Restricting Control Flow During Speculative Execution.

Zhuojia Shen Jie Zhou Divya Ojha John Criswell

Published in: CCS (2018)

Keyphrases

control flow
speculative execution
data flow
process model
software testing
transactional memory
modeling language
workflow management systems
data structure
open source
efficient implementation
metamodel