TY - CONF AU - Protze, Joachim AU - Terboven, Christian AU - Müller, Matthias S. AU - Petiton, Serge G. AU - Emad, Nahid AU - Murai, Hitoshi AU - Boku, Taisuke TI - Runtime Correctness Checking for Emerging Programming Paradigms CY - New York, NY PB - ACM M1 - RWTH-CONV-224077 SP - 21-27 PY - 2017 T2 - 1. International Workshop on Software Correctness for HPC Applications CY - 12 Nov 2017 - 17 Nov 2017, Denver, CO (USA) Y2 - 12 Nov 2017 - 17 Nov 2017 M2 - Denver, CO, USA LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 DO - DOI:10.1145/3145344.3145490 UR - https://publications.rwth-aachen.de/record/720751 ER -