Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind. Constructing a Weak Memory Model. In Murali Annavaram, Timothy M. Pinkston, Babak Falsafi, editors, 45th ACM/IEEE Annual International Symposium on Computer Architecture, ISCA 2018, Los Angeles, CA, USA, June 1-6, 2018. pages 124-137, IEEE Computer Society, 2018. [doi]
Abstract is missing.