Author:
Owens Scott,Sarkar Susmit,Sewell Peter
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. AMD64 Architecture Programmer’s Manual (3 vols). Advanced Micro Devices, rev. 3.14 (September 2007)
2. Intel 64 and IA-32 Architectures Software Developer’s Manual (5 vols). Intel Corporation, rev. 29 (November 2008)
3. Adve, S., Gharachorloo, K.: Shared memory consistency models: A tutorial. IEEE Computer 29(12), 66–76 (1996)
4. Ahamad, M., Neiger, G., Burns, J., Kohli, P., Hutto, P.: Causal memory: Definitions, implementation, and programming. Distributed Computing 9(1), 37–49 (1995)
5. Lecture Notes in Computer Science;D. Aspinall,2007
Cited by
260 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unifying Weak Memory Verification Using Potentials;Lecture Notes in Computer Science;2024-09-11
2. Robustness against the C/C++11 Memory Model;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Trace Semantics for C++11 Memory Model;Formal Aspects of Computing;2024-09-05
4. (MC)2: Lazy MemCopy at the Memory Controller;2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA);2024-06-29
5. Compositional Semantics for Shared-Variable Concurrency;Proceedings of the ACM on Programming Languages;2024-06-20