2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728102269

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compiler-aided Type Tracking for Correctness Checking of MPI Applications

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00011 ◽

2018 ◽

Cited By ~ 4

Author(s):

Alexander Huck ◽

Jan-Patrick Lehr ◽

Sebastian Kreutzer ◽

Joachim Protze ◽

Christian Terboven ◽

...

Keyword(s):

Correctness Checking ◽

Mpi Applications

Download Full-text

PARCOACH Extension for a Full-Interprocedural Collectives Verification

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00013 ◽

2018 ◽

Cited By ~ 2

Author(s):

Pierre Huchant ◽

Emmanuelle Saillard ◽

Denis Barthou ◽

Hugo Brunie ◽

Patrick Carribault

Download Full-text

Towards Deductive Verification of Message-Passing Parallel Programs

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00012 ◽

2018 ◽

Cited By ~ 1

Author(s):

Ziqing Luo ◽

Stephen F. Siegel

Keyword(s):

Message Passing ◽

Parallel Programs ◽

Deductive Verification

Download Full-text

Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00008 ◽

2018 ◽

Author(s):

Noah Evans

Keyword(s):

Model Checking

Download Full-text

HPC Software Verification in Action: A Case Study with Tensor Transposition

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00006 ◽

2018 ◽

Author(s):

Erdal Mutlu ◽

Ajay Panyala ◽

Sriram Krishnamoorthy

Keyword(s):

Software Verification

Download Full-text

Towards Incremental Static Race Detection in OpenMP Programs

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00009 ◽

2018 ◽

Cited By ~ 1

Author(s):

Bradley Swain ◽

Jeff Huang

Keyword(s):

Race Detection ◽

Static Race Detection

Download Full-text

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00010 ◽

2018 ◽

Cited By ~ 3

Author(s):

Fangke Ye ◽

Markus Schordan ◽

Chunhua Liao ◽

Pei-Hung Lin ◽

Ian Karlin ◽

...

Keyword(s):

Data Race ◽

Polyhedral Analysis

Download Full-text

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00003 ◽

2018 ◽

Download Full-text

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00005 ◽

2018 ◽

Author(s):

Alper Altuntas ◽

John Baugh

Keyword(s):

Theorem Proving ◽

Numerical Software

Download Full-text

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00007 ◽

2018 ◽

Author(s):

Wonchan Lee ◽

George Stelle ◽

Patrick McCormick ◽

Alex Aiken

Keyword(s):

Dependence Analysis

Download Full-text

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Compiler-aided Type Tracking for Correctness Checking of MPI Applications

PARCOACH Extension for a Full-Interprocedural Collectives Verification

Towards Deductive Verification of Message-Passing Parallel Programs

Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?

HPC Software Verification in Action: A Case Study with Tensor Transposition

Towards Incremental Static Race Detection in OpenMP Programs

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

Table of Contents

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems

Export Citation Format

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Compiler-aided Type Tracking for Correctness Checking of MPI Applications

PARCOACH Extension for a Full-Interprocedural Collectives Verification

Towards Deductive Verification of Message-Passing Parallel Programs

Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?

HPC Software Verification in Action: A Case Study with Tensor Transposition

Towards Incremental Static Race Detection in OpenMP Programs

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

Table of Contents

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications