Affiliation:
1. University of Illinois at Urbana-Champaign
2. Palo Alto, CA
Abstract
Solving the memory model problem will require an ambitious and cross-disciplinary research direction.
Publisher
Association for Computing Machinery (ACM)
Cited by
109 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CELLO: Compiler-Assisted Efficient Load-Load Ordering in Data-Race-Free Regions;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
2. Safe-by-default Concurrency for Modern Programming Languages;ACM Transactions on Programming Languages and Systems;2021-09-30
3. Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics;Journal of Systems Architecture;2020-11
4. SmartTrack: efficient predictive race detection;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Peacenik;Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems;2020-03-09