<span class="var-sub_title">Introduction - 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)</span> SC18 Proceedings

The International Conference for High Performance Computing, Networking, Storage, and Analysis

2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)


Workshop: Introduction - 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)

Authors:

Abstract: Ensuring the correctness of high-performance computing (HPC) applications is one of the fundamental challenges that developers and users of these applications face today. An application is correct when it performs what a user expects with respect to a specification. Given today's complex HPC software stack, correctness is very difficult to achieve: the use of combined parallel programing models (e.g., MPI+OpenMP), complex compiler optimizations/transformations, floating-point precision issues, and unanticipated scale-dependent behavior, are some of the challenges to achieve correctness. As emerging programing models and heterogeneous architectures become more predominant in HPC, the level of nondeterminism in applications increase, which makes the isolation of software bugs much harder. The aim of this workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC.

Website: https://correctness-workshop.github.io/2018/




Back to 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018) Archive Listing

Back to Full Workshop Archive Listing