Session

· Contributors · Organizations · Search Program · My Schedule · Happening Now · Maps

This content is available for: Workshop Reg Pass. Upgrade Registration

Workshop: 7th International Workshop on Software Correctness for HPC Applications (Correctness '23)

Session Chairs

Ignacio Laguna

Lawrence Livermore National Laboratory

Emmanuelle Saillard

French Institute for Research in Computer Science and Automation (INRIA)

Cindy Rubio-González

University of California, Davis

Event TypeWorkshop

TimeSunday, 12 November 20232pm - 5:30pm MST

Location708

give feedback

Tags

Registration Categories

Presentations

2:00pm - 2:10pm MST	Correctness Workshop Opening Remarks Presenters Ignacio Laguna Cindy Rubio-González
2:10pm - 2:20pm MST	HPC Bugs Fest Introduction Presenter Emmanuelle Saillard
2:20pm - 2:40pm MST	Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers Author/Presenters Joachim Jenke Simon Schwitanski Isabel Thärigen Matthias S. Müller
2:40pm - 3:00pm MST	Rethinking Data Race Detection in MPI-RMA Programs Author/Presenters Radjasouria Vinayagame Emmanuelle Saillard Samuel Thibault Van Man Nguyen Marc Sergent
3:00pm - 3:30pm MST	Correctness '23 – Afternoon Break
3:30pm - 3:50pm MST	RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs Author/Presenters Simon Schwitanski Joachim Jenke Sven Klotz Matthias S. Müller
3:50pm - 4:10pm MST	Data Race Detection Using Large Language Models Author/Presenters Le Chen Xianzhong Ding Pei-Hung Lin Chunhua Liao Murali Emani Tristan Vanderbruggen
4:10pm - 4:30pm MST	Mixed-Precision S/DGEMM Using the TF32 and TF64 Frameworks on Low-Precision AI Tensor Cores Author/Presenters Pedro Valero-Lara Ian Jorquera Frank Lui Jeffrey Vetter
4:30pm - 4:42pm MST	Toward Correctness Checking of MPI Partitioned Communication in MUST Author/Presenters Simon Schwitanski Niko Sakic Joachim Jenke Felix Tomski Marc-André Hermanns
4:42pm - 4:54pm MST	Adding Microbenchmarks with SIMD Data Race to DataRaceBench Author/Presenters Joachim Jenke Kaloyan Ignatov Simon Schwitanski
4:54pm - 5:06pm MST	Investigating the Real-World Applicability of MPI Correctness Benchmarks Author/Presenters Alexander Hück Tim Jammer Joachim Jenke Christian Bischof
5:06pm - 5:18pm MST	Improve and Stabilize Classification Results of DataRaceBench Author/Presenters Joachim Jenke Simon Schwitanski
5:18pm - 5:30pm MST	Highlighting PARCOACH Improvements on MBI Author/Presenters Philippe Virouleau Emmanuelle Saillard Marc Sergent Pierre Lemarinier