Author:
Alglave Jade,Maranget Luc,Sarkar Susmit,Sewell Peter
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Lecture Notes in Computer Science;J. Alglave,2010
2. Collier, W.W.: Reasoning About Parallel Architectures. Prentice-Hall, Englewood Cliffs (1992)
3. Intel 64 and IA-32 Architectures Software Developer’s Manual, vol. 3A, rev. 30 (March 2009)
4. Lamport, L.: How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor. IEEE Trans. Comput. 46(7), 779–782 (1979)
5. Power ISA Version 2.06 (2009)
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools;IEEE Transactions on Software Engineering;2023-12
2. GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper);Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Optimal Reads-From Consistency Checking for C11-Style Memory Models;Proceedings of the ACM on Programming Languages;2023-06-06
4. Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version);Formal Methods in System Design;2023-05-12
5. MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27