Paper at ICTAC 2021

The paper entitled “Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs” by Muhammad Hannan Khan (NUST), Osman Hasan (NUST) and Shahid Khan has been accepted at the 18th International Colloquium on Theoretical Aspects of
Computing (ICTAC 2021). The paper introduces a GPU-based methodolgy to improve sparse-matrix vector multiplication in probabilistic model checking. The main contribution is a technique for hiding memory transfers, which represent a major bottleneck in GPGPU computing.