VSL Publications

Report of the HPC Correctness Summit

Cite
Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama, Report of the HPC Correctness Summit Jan 25-26, 2017, Washington, DC. Technical Report, OSTI ID 1470989, U.S. Department of Energy, Office of Science, Advanced Scientific Computing Research, 04 Oct. 2017.
Abstract
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.
Downloads
  1. Report
BibTeX 
@book{gopalakrishnan-etal:2017:doe,
  publisher = {Department of Energy},
  place = {Washington, DC},
  title = {Report of the {HPC} {C}orrectness {S}ummit, January 25--26,
           2017, Washington, DC},
  author = {Gopalakrishnan, Ganesh and Hovland, Paul D. and Iancu,
            Costin and Krishnamoorthy, Sriram and Laguna, Ignacio and
            Lethin, Richard A. and Sen, Koushik and Siegel, Stephen F. and
            Solar-Lezama, Armando},
  year = {2017},
  doi = {10.2172/1470989},
  note = {\url{https://www.osti.gov/biblio/1470989}},
}
VSL | Publications