Open AccessReport of the HPC Correctness Summit, January 25-26, 2017, Washington, DC
Author(s) -
Ganesh Gopalakrishnan,
Paul Hovland,
Costin Iancu,
Sriram Krishnamoorthy,
Ignacio Laguna,
Richard Lethin,
Koushik Sen,
Stephen F. Siegel,
Armando Solar-Lezama
Publication year - 2017
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1470989
Subject(s) - exploit , debugging , computer science , context (archaeology) , summit , supercomputer , correctness , software , ambidexterity , productivity , investment (military) , field (mathematics) , software engineering , computer architecture , operating system , computer security , political science , knowledge management , law , economics , biology , paleontology , macroeconomics , mathematics , physical geography , politics , pure mathematics , programming language , geography
Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity and sheer system scale. We identify key areas where timely new research must be proactively begun to address these challenges, and create new correctness tools that must ideally play a significant role even while ramping up toward exacale. We close with the proposal for a two-day workshop in which the problems identified in this report can be more broadly discussed, and specific plans to launch these new research thrusts identified.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom