Session
7th International Workshop on Software Correctness for HPC Applications (Correctness '23)
Event Type
Workshop
TimeSunday, 12 November 20232pm - 5:30pm
Location708
Applications
Software Engineering
W
Presentations
| 2:00pm - 2:10pm | Correctness Workshop Opening Remarks | |
| 2:10pm - 2:20pm | HPC Bugs Fest Introduction Presenter | |
| 2:20pm - 2:40pm | Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers | |
| 2:40pm - 3:00pm | Rethinking Data Race Detection in MPI-RMA Programs | |
| 3:00pm - 3:30pm | Correctness '23 – Afternoon Break | |
| 3:30pm - 3:50pm | RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs | |
| 3:50pm - 4:10pm | Data Race Detection Using Large Language Models | |
| 4:10pm - 4:30pm | Mixed-Precision S/DGEMM Using the TF32 and TF64 Frameworks on Low-Precision AI Tensor Cores | |
| 4:30pm - 4:42pm | Toward Correctness Checking of MPI Partitioned Communication in MUST | |
| 4:42pm - 4:54pm | Adding Microbenchmarks with SIMD Data Race to DataRaceBench | |
| 4:54pm - 5:06pm | Investigating the Real-World Applicability of MPI Correctness Benchmarks | |
| 5:06pm - 5:18pm | Improve and Stabilize Classification Results of DataRaceBench | |
| 5:18pm - 5:30pm | Highlighting PARCOACH Improvements on MBI |