Joachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku. Runtime Correctness Checking for Emerging Programming Paradigms. In Ignacio Laguna, Cindy Rubio-González, editors, Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. pages 21-27, ACM, 2017. [doi]
Abstract is missing.