%0 Book Section %A Protze, Joachim %A Tsuji, Miwako %A Terboven, Christian %A Dufaud, Thomas %A Murai, Hitoshi %A Petiton, Serge %A Emad, Nahid %A Müller, Matthias S. %A Boku, Taisuke %T MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms %V 136 %C Cham %I Springer International Publishing ; Cham : Imprint: Springer %M RWTH-2020-08514 %B Lecture Notes in Computational Science and Engineering %P 545-567 %D 2020 %< Software for Exascale Computing - SPPEXA 2016-2019 / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel %F PUB:(DE-HGF)7 %9 Contribution to a book %R 10.1007/978-3-030-47956-5_18 %U https://publications.rwth-aachen.de/record/795706