Tatsuya Abe, Toshiyuki Maeda. Optimization of a General Model Checking Framework for Various Memory Consistency Models. In Allen D. Malony, Jeff Hammond, editors, Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models, PGAS 2014, Eugene, OR, USA, October 6-10, 2014. pages 14, ACM, 2014. [doi]
Abstract is missing.