skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC

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.

Authors:
 [1];  [2];  [3];  [4];  [5];  [6];  [7];  [8];  [9]
  1. Univ. of Utah, Salt Lake City, UT (United States)
  2. Argonne National Lab. (ANL), Argonne, IL (United States)
  3. Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
  4. Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
  5. Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
  6. Yale Univ., New Haven, CT (United States). Reservoir Labs., Inc.
  7. Univ. of California, Berkeley, CA (United States)
  8. Univ. of Delaware, Newark, DE (United States)
  9. Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
Publication Date:
Research Org.:
USDOE Office of Science (SC), Washington, D.C. (United States). Advanced Scientific Computing Research
Sponsoring Org.:
USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR) (SC-21)
OSTI Identifier:
1470989
Resource Type:
Technical Report
Country of Publication:
United States
Language:
English

Citation Formats

Gopalakrishnan, Ganesh, Hovland, Paul D., Iancu, Costin, Krishnamoorthy, Sriram, Laguna, Ignacio, Lethin, Richard A., Sen, Koushik, Siegel, Stephen F., and Solar-Lezama, Armando. Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC. United States: N. p., 2017. Web. doi:10.2172/1470989.
Gopalakrishnan, Ganesh, Hovland, Paul D., Iancu, Costin, Krishnamoorthy, Sriram, Laguna, Ignacio, Lethin, Richard A., Sen, Koushik, Siegel, Stephen F., & Solar-Lezama, Armando. Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC. United States. doi:10.2172/1470989.
Gopalakrishnan, Ganesh, Hovland, Paul D., Iancu, Costin, Krishnamoorthy, Sriram, Laguna, Ignacio, Lethin, Richard A., Sen, Koushik, Siegel, Stephen F., and Solar-Lezama, Armando. Wed . "Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC". United States. doi:10.2172/1470989. https://www.osti.gov/servlets/purl/1470989.
@article{osti_1470989,
title = {Report of the HPC Correctness Summit, 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},
abstractNote = {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.},
doi = {10.2172/1470989},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2017},
month = {10}
}