Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC
- Univ. of Utah, Salt Lake City, UT (United States)
- Argonne National Lab. (ANL), Argonne, IL (United States)
- Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
- Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
- Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
- Yale Univ., New Haven, CT (United States). Reservoir Labs., Inc.
- Univ. of California, Berkeley, CA (United States)
- Univ. of Delaware, Newark, DE (United States)
- 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) (SC-21)
- OSTI ID:
- 1470989
- Country of Publication:
- United States
- Language:
- English
Similar Records
Hardware Evaluation: Abstract Machine Models and Proxy Architectures for Exascale Computing
Simulation of Large-Scale HPC Architectures