Runtime Correctness Checking for Emerging Programming Paradigms

Protze, Joachim (Corresponding author); Terboven, Christian (Corresponding author); Müller, Matthias S. (Corresponding author); Petiton, Serge G. (Corresponding author); Emad, Nahid (Corresponding author); Murai, Hitoshi (Corresponding author); Boku, Taisuke (Corresponding author)

New York, NY : ACM (2017)
Contribution to a book, Contribution to a conference proceedings

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


  • IT Center [022000]
  • Department of Computer Science [120000]
  • Chair of Computer Science 12 (High Performance Computing) [123010]