Data-Parallel Language For Correct And Efficient Sparse Matrix Codes