Emina Torlak, Mandana Vaziri, Julian Dolby. MemSAT: checking axiomatic specifications of memory models. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 341-350, ACM, 2010. [doi]
Abstract is missing.