Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications - Hück, Alexander (Verfasser); Ziegler, Tim (Verfasser); Schwitanski, Simon (Verfasser); Jenke, Joachim (Verfasser); Bischof, Christian (Verfasser) (Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC24-W), 2024)