CORRECTNESS@SC

Publications

2020

Samuel D. Pollard, Boyana Norris
A Statistical Analysis of Error in MPI Reduction Operations. CORRECTNESS@SC (2020)
Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Müller
Towards compiler-aided correctness checking of adjoint MPI applications. CORRECTNESS@SC (2020)
Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. CORRECTNESS@SC (2020)
Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC (2020)
Gaurav Verma, Yaying Shi, Chunhua Liao, Barbara M. Chapman, Yonghong Yan
Enhancing DataRaceBench for Evaluating Data Race Detection Tools. CORRECTNESS@SC (2020)
Vanessa Job, Terry Grové, Shane Fogerty, Christopher Mauney, Brett Neuman, Laura Monroe, Robert W. Robey
Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping. CORRECTNESS@SC (2020)

2019

2018

2017