2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780738110448

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Statistical Analysis of Error in MPI Reduction Operations

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00011 ◽

2020 ◽

Author(s):

Samuel D. Pollard ◽

Boyana Norris

Keyword(s):

Statistical Analysis ◽

Analysis Of Error

Download Full-text

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00008 ◽

2020 ◽

Author(s):

Gaurav Verma ◽

Yaying Shi ◽

Chunhua Liao ◽

Barbara Chapman ◽

Yonghong Yan

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection

Download Full-text

Author Index

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00012 ◽

2020 ◽

Download Full-text

Workshop Organization

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00005 ◽

2020 ◽

Download Full-text

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00009 ◽

2020 ◽

Author(s):

Van Man Nguyen ◽

Emmanuelle Saillard ◽

Julien Jaeger ◽

Denis Barthou ◽

Patrick Carribault

Download Full-text

Message from the Workshop Chairs

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00004 ◽

2020 ◽

Download Full-text

Copyright Page

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00002 ◽

2020 ◽

Download Full-text

Title Page i

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00001 ◽

2020 ◽

Keyword(s):

Title Page

Download Full-text

Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00007 ◽

2020 ◽

Author(s):

Vanessa Job ◽

Terry Grove ◽

Shane Fogerty ◽

Christopher Mauney ◽

Brett Neuman ◽

...

Keyword(s):

Floating Point

Download Full-text

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness51934.2020.00003 ◽

2020 ◽

Download Full-text

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Statistical Analysis of Error in MPI Reduction Operations

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

Author Index

Workshop Organization

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

Message from the Workshop Chairs

Copyright Page

Title Page i

Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping

Table of Contents

Export Citation Format

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Statistical Analysis of Error in MPI Reduction Operations

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

Author Index

Workshop Organization

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

Message from the Workshop Chairs

Copyright Page

Title Page i

Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping

Table of Contents

2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications