Extending MUST to Check Hybrid-Parallel Programs for Correctness Using the OpenMP Tools Interface

Cramer, Tim (Corresponding author); Münchhalfen, Jan Felix; Terboven, Christian; Hilbrich, Tobias; Müller, Matthias S.

Cham / Springer International Publishing (2016) [Contribution to a book, Contribution to a conference proceedings]

Tools for High Performance Computing 2015 : Proceedings of the 9th International Workshop on Parallel Tools for High Performance Computing, September 2015, Dresden, Germany / edited by Andreas Knüpfer, Tobias Hilbrich, Christoph Niethammer, José Gracia, Wolfgang E. Nagel, Michael M. Resch
Page(s): 85-101