Prescient memory: exposing weak memory model behavior by looking into the future

Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond. Prescient memory: exposing weak memory model behavior by looking into the future. In Christine H. Flood, Eddy Zheng Zhang, editors, Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14 - 14, 2016. pages 99-110, ACM, 2016. [doi]

Abstract

Abstract is missing.