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

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

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

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

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

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

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

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

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

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