Publication

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

Conference/Event: 1. International Workshop on Software Correctness for HPC Applications Denver, CO 2017-11-12 - 2017-11-17

Institutions

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

Identifier