The SPARAMAT approach to automatic comprehension of sparse matrix computations

Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows one to abstract, e.g. from specific sparse matrix storage formats used in the code. We describe SPARAMAT, a system for speculative automatic program comprehension suitable for sparse matrix codes, and its implementation.