Runtime Correctness Checking for Emerging Programming Paradigms

New York, NY / ACM (2017) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the First International Workshop on Software Correctness for HPC Applications
Page(s): 21-27


Selected Authors

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

Other Authors

Murai, Hitoshi
Boku, Taisuke