Author:
Mador-Haim Sela,Maranget Luc,Sarkar Susmit,Memarian Kayvan,Alglave Jade,Owens Scott,Alur Rajeev,Martin Milo M. K.,Sewell Peter,Williams Derek
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Adir, A., Attiya, H., Shurek, G.: Information-flow models for shared memory with an application to the PowerPC architecture. IEEE Trans. Parallel Distrib. Syst. 14(5) (2003)
2. Alglave, J., Fox, A., Ishtiaq, S., Myreen, M.O., Sarkar, S., Sewell, P., Zappa Nardelli, F.: The semantics of Power and ARM multiprocessor machine code. In: Workshop on Declarative Aspects of Multicore Programming (January 2009)
3. Lecture Notes in Computer Science;J. Alglave,2010
4. Lecture Notes in Computer Science;J. Alglave,2011
5. Corella, F., Stone, J.M., Barton, C.M.: A formal specification of the PowerPC shared memory architecture. Technical Report RC18638, IBM (1993)
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trace Semantics for C++11 Memory Model;Formal Aspects of Computing;2024-09-05
2. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
3. Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version);Formal Methods in System Design;2023-05-12
4. PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2023-03-25
5. Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable;Lecture Notes in Computer Science;2023