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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Alper Altuntas ◽

John Baugh

Keyword(s):

Ocean Circulation ◽

Circulation Model ◽

Ocean Circulation Model

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 ◽

Cited By ~ 2

Author(s):

Joachim Protze ◽

Christian Terboven ◽

Matthias S. Müller ◽

Serge Petiton ◽

Nahid Emad ◽

...

Keyword(s):

Correctness Checking ◽

Programming Paradigms

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 ◽

Cited By ~ 1

Author(s):

Markus Schordan ◽

Jan Hückelheim ◽

Pei-Hung Lin ◽

Harshitha Menon

Keyword(s):

Floating Point ◽

Floating Point Computation

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 ◽

Cited By ~ 1

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

Verifying MPI Applications with SimGridMC

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

10.1145/3145344.3145345 ◽

2017 ◽

Cited By ~ 4

Author(s):

Anh Pham ◽

Thierry Jéron ◽

Martin Quinson

Keyword(s):

Mpi Applications

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 ◽

Cited By ~ 1

Author(s):

Matthew Lee ◽

Tze Meng Low

Keyword(s):

Triangle Counting ◽

Exact Triangle

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 ◽

Cited By ~ 1

Author(s):

Jan Hückelheim ◽

Ziqing Luo ◽

Fabio Luporini ◽

Navjot Kukreja ◽

Michael Lange ◽

...

Keyword(s):

Finite Difference ◽

Code Generation

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Verifying Concurrency in an Adaptive Ocean Circulation Model

Runtime Correctness Checking for Emerging Programming Paradigms

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

Quality Assurance and Error Identification for the Community Earth System Model

Verifying MPI Applications with SimGridMC

A Family of Provably Correct Algorithms for Exact Triangle Counting

Towards Self-Verification in Finite Difference Code Generation

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