h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Schwitanski, Simon
AU  - Oraji, Yussur Mustafa
AU  - Pätzold, Cornelius
AU  - Jenke, Joachim
AU  - Müller, Matthias S.
TI  - Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs; 1st ed. 2025
VL  - 15058
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2025-01933
T2  - Lecture Notes in Computer Science
SP  - 45-58
PY  - 2025
N1  - First Online: 14 December 2024. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2025
T2  - 4. Compiler-assisted Correctness Checking and Performance Optimization for HPC Workshop
CY  - 16 May 2024 - 16 May 2024, Hamburg (Germany)
Y2  - 16 May 2024 - 16 May 2024
M2  - Hamburg, Germany
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001463189500004
DO  - DOI:10.1007/978-3-031-73716-9_4
UR  - https://publications.rwth-aachen.de/record/1005684
ER  -