PrideMM: A Solver for Relaxed Memory Models. Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, and Mikoláš Janota. arXiv: Logic in Computer Science. 2019 shelley2024-07-26T09:03:56+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. Logic in Computer ScienceOn the Quest for an Acyclic Graph. Logic in Computer ScienceOn the Quest for an Acyclic Graph. ExpoSE: practical symbolic execution of standalone JavaScript. ExpoSE: practical symbolic execution of standalone JavaScript. Annual Report 2018/2019 Annual Report 2018/2019
by