Workshop: 6th International Workshop on Software Correctness for HPC Applications (Correctness '22)
Event TypeWorkshop
Registration Categories
W
Tags
Correctness
Software Engineering
Session Formats
Recorded
TimeFriday, 18 November 20228:30am - 12pm CST
LocationD167
DescriptionEnsuring correctness in 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 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 (CPUs, GPUs, and special purpose accelerators), massive scale computations, 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 increases, the ability to fully exploit exascale systems will be limited without correctness. The goal of the workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC.

Workshop Website
Session Evaluation give feedback
Presentations
8:30am - 8:40am CSTCorrectness '22 – Opening Remarks
8:40am - 9:00am CSTProposed Consistent Exception Handling for the BLAS and LAPACK
Correctness
Software Engineering
9:00am - 9:20am CSTToward Verified Rounding-Error Analysis for Stationary Iterative Methods
Correctness
Software Engineering
9:20am - 9:40am CSTStatic Local Concurrency Errors Detection in MPI-RMA Programs
Correctness
Software Engineering
9:40am - 10:00am CSTOn-the-Fly Data Race Detection for MPI RMA Programs with MUST
Correctness
Software Engineering
10:00am - 10:30am CSTCorrectness '22 – Morning Break
10:30am - 11:00am CSTSoftware Correctness Competition
Correctness
11:00am - 11:20am CSTMiniKokkos: A Calculus of Portable Parallelism
Correctness
Software Engineering
11:20am - 11:40am CSTEarly Experience with Transformer-Based Similarity Analysis for DataRaceBench
Correctness
Software Engineering
11:40am - 12:00pm CSTLeveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
Correctness
Software Engineering
Back To Top Button