Simone Atzeni, Ganesh Gopalakrishnan. An Operational Semantic Basis for Building an OpenMP Data Race Checker. In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018. pages 395-404, IEEE Computer Society, 2018. [doi]
Abstract is missing.