Efficient Algorithm-Based Fault Tolerance for Sparse Matrix Operations. Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16), 251--262, 2016. [PUMA: ABFT localization myown linear error-detection SimTech algebra fault-tolerance online sparse]