Prithayan Barua, Jun Shirako, Whitney Tsang, Jeeva Paudel, Wang Chen, Vivek Sarkar. OMPSan: Static Verification of OpenMP's Data Mapping Constructs. In Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman, editors, OpenMP: Conquering the Full Hardware Spectrum - 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings. Volume 11718 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]
Abstract is missing.