Modular Relaxed Dependencies in Weak Memory Concurrency (2020)
Attributed to:
Maintaining memory order dependencies through LLVM optimisation passes.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://www.etaps.org/2020/esop
Type: Conference/Paper/Proceeding/Abstract