This content is available for: Workshop Reg Pass. Upgrade Registration
Event TypeWorkshop
TimeSunday, 12 November 20232pm - 5:30pm MST
Software Engineering
Registration Categories
2:00pm - 2:10pm MSTCorrectness Workshop Opening Remarks
2:10pm - 2:20pm MSTHPC Bugs Fest Introduction
2:20pm - 2:40pm MSTMapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers
2:40pm - 3:00pm MSTRethinking Data Race Detection in MPI-RMA Programs
3:00pm - 3:30pm MSTCorrectness '23 – Afternoon Break
3:30pm - 3:50pm MSTRMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
3:50pm - 4:10pm MSTData Race Detection Using Large Language Models
4:10pm - 4:30pm MSTMixed-Precision S/DGEMM Using the TF32 and TF64 Frameworks on Low-Precision AI Tensor Cores
4:30pm - 4:42pm MSTToward Correctness Checking of MPI Partitioned Communication in MUST
4:42pm - 4:54pm MSTAdding Microbenchmarks with SIMD Data Race to DataRaceBench
4:54pm - 5:06pm MSTInvestigating the Real-World Applicability of MPI Correctness Benchmarks
5:06pm - 5:18pm MSTImprove and Stabilize Classification Results of DataRaceBench
5:18pm - 5:30pm MSTHighlighting PARCOACH Improvements on MBI