TY - CHAP AU - Protze, Joachim AU - Tsuji, Miwako AU - Terboven, Christian AU - Dufaud, Thomas AU - Murai, Hitoshi AU - Petiton, Serge AU - Emad, Nahid AU - Müller, Matthias S. AU - Boku, Taisuke TI - MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms VL - 136 CY - Cham PB - Springer International Publishing ; Cham : Imprint: Springer M1 - RWTH-2020-08514 T2 - Lecture Notes in Computational Science and Engineering SP - 545-567 PY - 2020 LB - PUB:(DE-HGF)7 DO - DOI:10.1007/978-3-030-47956-5_18 UR - https://publications.rwth-aachen.de/record/795706 ER -