A Relational Approach to the Compilation of Sparse Matrix Programs

Next-generation generic programming and its application to sparse matrix computations

Proceedings of the 14th international conference on Supercomputing

A framework for sparse matrix code synthesis from high-level specifications

Proceedings of the 2000 ACM/IEEE conference on Supercomputing

Efficient Representation Scheme for Multidimensional Array Operations

IEEE Transactions on Computers

Data-Centric Transformations for Locality Enhancement

International Journal of Parallel Programming

SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations

LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing

Efficient Data Parallel Algorithms for Multidimensional Array Operations Based on the EKMR Scheme for Distributed Memory Multicomputers

IEEE Transactions on Parallel and Distributed Systems

Specifying and verifying sparse matrix codes

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Data representation synthesis

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation