Federico Pizzuti, Michel Steuwer, Christophe Dubach: Generating fast sparse matrix vector multiplication from a high level generic functional IR. CC 2020: 85-95