Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By ACM Press

9781450351270

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Concurrency in an Adaptive Ocean Circulation Model

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145346 ◽

2017 ◽

Author(s):

Alper Altuntas ◽

John Baugh

Keyword(s):

Ocean Circulation ◽

Circulation Model ◽

Ocean Circulation Model

Download Full-text

Runtime Correctness Checking for Emerging Programming Paradigms

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145490 ◽

2017 ◽

Author(s):

Joachim Protze ◽

Christian Terboven ◽

Matthias S. Müller ◽

Serge Petiton ◽

Nahid Emad ◽

...

Keyword(s):

Correctness Checking ◽

Programming Paradigms

Download Full-text

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145489 ◽

2017 ◽

Author(s):

Markus Schordan ◽

Jan Hückelheim ◽

Pei-Hung Lin ◽

Harshitha Menon

Keyword(s):

Floating Point ◽

Floating Point Computation

Download Full-text

Towards Self-Verification in Finite Difference Code Generation

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145488 ◽

2017 ◽

Author(s):

Jan Hückelheim ◽

Ziqing Luo ◽

Fabio Luporini ◽

Navjot Kukreja ◽

Michael Lange ◽

...

Keyword(s):

Finite Difference ◽

Code Generation

Download Full-text

A Family of Provably Correct Algorithms for Exact Triangle Counting

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145484 ◽

2017 ◽

Author(s):

Matthew Lee ◽

Tze Meng Low

Keyword(s):

Triangle Counting ◽

Download Full-text

Quality Assurance and Error Identification for the Community Earth System Model

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145491 ◽

2017 ◽

Author(s):

Allison H. Baker ◽

Daniel J. Milroy ◽

Dorit M. Hammerling ◽

Haiying Xu

Keyword(s):

Quality Assurance ◽

Earth System Model ◽

System Model ◽

Earth System ◽

Error Identification ◽

Community Earth System Model

Download Full-text

Verifying MPI Applications with SimGridMC

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145345 ◽

2017 ◽

Author(s):

Anh Pham ◽

Thierry Jéron ◽

Martin Quinson

Keyword(s):

Mpi Applications

Download Full-text