Correctness 2020: 4th International Workshop on Software Correctness for HPC Applications
Session Chairs
Event TypeWorkshop
W
TimeWednesday, 11 November 20202:30pm - 6:30pm EDT
LocationTrack 10
Presentations
2:30pm - 2:35pm EDT | Correctness 2020 – Introduction: 4th International Workshop on Software Correctness for HPC Applications | |
2:35pm - 3:30pm EDT | Reproducible Scientific Computing: Progress and Challenges Presenter | |
3:30pm - 3:55pm EDT | Correctness-Preserving Compression of Datasets and Neural Network Models | |
3:55pm - 4:20pm EDT | Order Matters: A Case Study on Reducing Floating Point Error in Sums through Ordering and Grouping | |
4:20pm - 4:50pm EDT | Correctness 2020 – Break | |
4:50pm - 5:15pm EDT | Enhancing DataRaceBench for Evaluating Data Race Detection Tools | |
5:15pm - 5:40pm EDT | PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation | |
5:40pm - 6:05pm EDT | Toward Compiler-Aided Correctness Checking of Adjoint MPI Applications | |
6:05pm - 6:30pm EDT | A Statistical Analysis of Error in MPI Reduction Operations |