Affiliation:
1. University of Surrey, UK
2. DePaul University
Funder
National Science Foundation
Engineering and Physical Sciences Research Council
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Implementing and verifying release-acquire transactional memory in C11;Proceedings of the ACM on Programming Languages;2022-10-31
2. Modular data-race-freedom guarantees in the promising semantics;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Pomsets with preconditions: a simple model of relaxed memory;Proceedings of the ACM on Programming Languages;2020-11-13