Runtime Correctness Checking for Emerging Programming Paradigms

(2017) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017
Page(s): 21-27


Selected Authors

Protze, Joachim
Terboven, Christian
Müller, Matthias Stefan
Petiton, Serge G.
Emad, Nahid

Other Authors

Murai, Hitoshi
Boku, Taisuke