Chunhua Liao, Pei-Hung Lin, Markus Schordan, Ian Karlin. A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage. In Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesús Labarta, editors, Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings. Volume 11128 of Lecture Notes in Computer Science, pages 189-202, Springer, 2018. [doi]
Abstract is missing.