Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC
Ganesh Lalitha Gopalakrishnan, Paul Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama · 2017
Technologies for verification and debugging have made significant strides in the context of general systems software. An investment in such technologies to make them applicable for High Performance Computing (HPC) could lead to substantial improvements in the productivity and sustainability of HPC software development. Such improvements will be essential to fully exploit new exascale computer architectures. Without such investment, there is the possibility of a substantial crisis in our ability to advance the field of HPC, as the complexity of our architectures, algorithms, and applications is moving beyond the ability of our developers. As HPC is of strategic importance to our nation, forming the bedrock of its scientific and technological capabilities, such investment is highly warranted.