Author:
Alglave Jade,Maranget Luc,Sarkar Susmit,Sewell Peter
Publisher
Springer Berlin Heidelberg
Cited by
99 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges in Empirically Testing Memory Persistency Models;Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2024-04-14
2. An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic;Proceedings of the ACM on Programming Languages;2024-01-05
3. 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
4. Imprecise Store Exceptions;Proceedings of the 50th Annual International Symposium on Computer Architecture;2023-06-17
5. Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models;ACM Transactions on Programming Languages and Systems;2023-03-03