Workshop: 3nd International Workshop on Software Correctness for HPC Applications (Correctness 2019)
Event TypeWorkshop
Registration Categories
W
Tags
Correctness
Debugging
Reliability
Verification
TimeMonday, 18 November 20199am - 5:30pm
Location505
DescriptionEnsuring correctness in high-performance computing (HPC) applications is one of the fundamental challenges that the HPC community faces today. While significant advances in verification, testing, and debugging have been made to isolate software errors (or defects) in the context of non-HPC software, several factors make achieving correctness in HPC applications and systems much more challenging than in general systems software—growing heterogeneity (architectures with CPUs, GPUs, and special purpose accelerators), massive scale computations (very high degree of concurrency), use of combined parallel programing models (e.g., MPI+X), new scalable numerical algorithms (e.g., to leverage reduced precision in floating-point arithmetic), and aggressive compiler optimizations/transformations are some of the challenges that make correctness harder in HPC. As the complexity of future architectures, algorithms, and applications in HPC increases, the ability to fully exploit exascale systems will be limited without correctness. With the continuous use of HPC software to advance scientific and technological capabilities, novel techniques and practical tools for software correctness in HPC are invaluable. The goal of the Correctness Workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC. The workshop will feature contributed papers and invited talks in this area.

https://correctness-workshop.github.io/2019/
Presentations
9:00am - 9:05am3nd International Workshop on Software Correctness for HPC Applications (Correctness 2019)
9:05am - 10:00amKeynote 1 - Correctness 2019
Presenter
10:00am - 10:30amDebugging and optimization of HPC programs with the Verrou tool
Correctness
Debugging
Floating Point
10:30am - 11:00amExploring Regression of Data Race Detection Tools Using DataRaceBench
Correctness
Debugging
OpenMP
11:00am - 11:30amCorrectness 2019 Morning Break
11:30am - 12:00pmToward Multi-Precision, Multi-Format Numerics
Correctness
Floating Point
Mixed-precision
12:00pm - 12:30pmTool Integration for Source-Level Mixed Precision
Correctness
Floating Point
Mixed-precision
12:30pm - 2:00pmCorrectness 2019 Lunch Break
2:00pm - 3:00pmKeynote 2 - Correctness 2019
Presenter
3:00pm - 3:30pmCorrectness 2019 Afternoon Break
3:30pm - 4:30pmInvited Talk - Correctness 2019
Presenter
4:30pm - 5:00pmBounded Verification of Sparse Matrix Computations
Algorithms
Correctness
Verification
5:00pm - 5:30pmInvestigating the Impact of Mixed Precision on Correctness for a Large Climate Code
Applications
Correctness
Floating Point
Back To Top Button