Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I

Junchao Zhang

Sparse matrix vector multiplication (SpMV) is a fundamental kernel in scientific codes that rely on iterative solvers. In this first part of our work, we present both a sequential…