Correctness@SC

Keyphrases

Publications

2022

Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou
Static Local Concurrency Errors Detection in MPI-RMA Programs. Correctness@SC (2022)
Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias S. Müller
On-the-Fly Data Race Detection for MPI RMA Programs with MUST. Correctness@SC (2022)
Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. Correctness@SC (2022)
James Demmel, Jack J. Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye S. Li, Piotr Luszczek, Weslley S. Pereira, E. Jason Riedy, Cindy Rubio-González
Proposed Consistent Exception Handling for the BLAS and LAPACK. Correctness@SC (2022)
Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar
MiniKokkos: A Calculus of Portable Parallelism. Correctness@SC (2022)
Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. Correctness@SC (2022)
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022 Correctness@SC (2022)
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Correctness@SC (2022)

2021

2020

4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020 Correctness@SC (2020)