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 |