TY - CHAP AU - Burak, Semih AU - Schwitanski, Simon AU - Tomski, Felix AU - Domke, Jens AU - Müller, Matthias S. TI - Extending the SPMD IR for RMA Models and Static Data Race Detection VL - 15977 CY - Cham PB - Springer Nature Switzerland M1 - RWTH-2026-02704 T2 - Lecture Notes in Computer Science SP - 143-164 PY - 2026 N1 - First Online: 15 October 2025 T2 - 32. European MPI Users' Group Meeting CY - 1 Oct 2025 - 3 Oct 2025, Charlotte, NC (USA) Y2 - 1 Oct 2025 - 3 Oct 2025 M2 - Charlotte, NC, USA LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001661303000009 DO - DOI:10.1007/978-3-032-07194-1_9 UR - https://publications.rwth-aachen.de/record/1030009 ER -