2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728160153

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tool Integration for Source-Level Mixed Precision

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00009 ◽

2019 ◽

Cited By ~ 3

Author(s):

Michael O. Lam ◽

Tristan Vanderbruggen ◽

Harshitha Menon ◽

Markus Schordan

Keyword(s):

Tool Integration ◽

Mixed Precision ◽

Source Level

Download Full-text

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00003 ◽

2019 ◽

Download Full-text

Bounded Verification of Sparse Matrix Computations

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00010 ◽

2019 ◽

Author(s):

Tristan Dyer ◽

Alper Altuntas ◽

John Baugh

Keyword(s):

Sparse Matrix ◽

Matrix Computations

Download Full-text

Investigating the Impact of Mixed Precision on Correctness for a Large Climate Code

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00011 ◽

2019 ◽

Author(s):

Daniel J. Milroy ◽

Allison H. Baker ◽

John M. Dennis ◽

Andrew Gettelman

Keyword(s):

Mixed Precision ◽

The Impact

Download Full-text

Author Index

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00012 ◽

2019 ◽

Download Full-text

Toward Multi-Precision, Multi-Format Numerics

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00008 ◽

2019 ◽

Cited By ~ 2

Author(s):

David Thien ◽

Bill Zorn ◽

Pavel Panchekha ◽

Zachary Tatlock

Download Full-text

Title Page

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00001 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Copyright Page

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00002 ◽

2019 ◽

Download Full-text

Organization

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00005 ◽

2019 ◽

Download Full-text

Debugging and Optimization of HPC Programs with the Verrou Tool

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness49594.2019.00006 ◽

2019 ◽

Cited By ~ 2

Author(s):

Francois Fevotte ◽

Bruno Lathuiliere

Download Full-text

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Tool Integration for Source-Level Mixed Precision

Table of Contents

Bounded Verification of Sparse Matrix Computations

Investigating the Impact of Mixed Precision on Correctness for a Large Climate Code

Author Index

Toward Multi-Precision, Multi-Format Numerics

Title Page

Copyright Page

Organization

Debugging and Optimization of HPC Programs with the Verrou Tool

Export Citation Format

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Tool Integration for Source-Level Mixed Precision

Table of Contents

Bounded Verification of Sparse Matrix Computations

Investigating the Impact of Mixed Precision on Correctness for a Large Climate Code

Author Index

Toward Multi-Precision, Multi-Format Numerics

Title Page

Copyright Page

Organization

Debugging and Optimization of HPC Programs with the Verrou Tool

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications