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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(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 ◽  
Author(s):  
Alexander Huck ◽  
Jan-Patrick Lehr ◽  
Sebastian Kreutzer ◽  
Joachim Protze ◽  
Christian Terboven ◽  
...  
Keyword(s):  
Correctness Checking ◽  
Mpi Applications

scholarly journals PARCOACH Extension for a Full-Interprocedural Collectives Verification

2018 ◽  
Author(s):  
Pierre Huchant ◽  
Emmanuelle Saillard ◽  
Denis Barthou ◽  
Hugo Brunie ◽  
Patrick Carribault

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

2018 ◽  
Author(s):  
Fangke Ye ◽  
Markus Schordan ◽  
Chunhua Liao ◽  
Pei-Hung Lin ◽  
Ian Karlin ◽  
...  
Keyword(s):  
Data Race ◽  
Polyhedral Analysis

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems

2018 ◽  
Author(s):  
Wonchan Lee ◽  
George Stelle ◽  
Patrick McCormick ◽  
Alex Aiken
Keyword(s):  
Dependence Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document