VSL Publications

Report of the HPC Correctness Summit

Cite
Ganesh Gopalakrishnan, Ganesh Gopalakrishnan, 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
Abstract
  1. Introduction
    • Reasons for the correctness crisis
    • What is in scope, what is not
    • Suggested research foci, targeted time-frames
  2. Rigorous Methods for Correctness
    • What is the Correctness Problem?
    • Challenges in High Performance Computing
  3. State of the Art and Successes
    • Testing
    • Infrastructure for Bug Detection and Localization
    • Correctness through Correct-by-Construction Certification
    • Successes due to rigorous and systematic methods
  4. New Research, Impact
    • Static methods
    • Dynamic methods
    • Debugging
    • Pragmatic thrusts
  5. Next steps
    • ASCR Focus Areas
    • Moonshots
    • HPC correctness workshop
    • Competitions for verification of HPC software
Downloads
  1. HPC_Correctness_Report.pdf
BibTeX 
@TechReport
{
  gopalakrishnan_hovland_iancu_krishnamoorthy_laguna_lethin_sen_siegel_solar-lezama_2017,
  place={Washington, DC},
  title={Report of the HPC Correctness Summit},
  journal={Report of the HPC Correctness Summit},
  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}
}
VSL | Publications