SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations.

Sören van der Wall Roland Meyer

Published in: CoRR (2024)

Keyphrases

speculative execution
transactional memory
programming language
parallel execution
parallel computing
software systems
field programmable gate array
blue gene
software engineering
general purpose
computer systems
massively parallel