Verifying C11-style weak memory libraries (2021)
Attributed to:
Verifiably Correct Transactional Memory
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://doi.org/10.1145/3437801.3441619
Type: Conference/Paper/Proceeding/Abstract