Junhyung Shim, Quazi Ishtiaque Mahmud, Ali Jannesari. Data Race Satisfiability on Array Elements. In Yonghong Yan 0001, Michael Klemm, Bronis R. de Supinski, Erik Saule, Jannis Klinkenberg, Swaroop Pophale, editors, OpenMP: Balancing Productivity and Performance Portability - 21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings. Volume 16123 of Lecture Notes in Computer Science, pages 114-132, Springer, 2025. [doi]
Abstract is missing.