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

Technical Report ·
DOI:https://doi.org/10.2172/1470989· OSTI ID:1470989
 [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)

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.

Research Organization:
USDOE Office of Science (SC), Washington, D.C. (United States). Advanced Scientific Computing Research
Sponsoring Organization:
USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
OSTI ID:
1470989
Country of Publication:
United States
Language:
English