A-ABFT: Autonomous Algorithm-Based Fault Tolerance for Matrix Multiplications on Graphics Processing Units. Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'14), 443--454, 2014. [PUMA: ABFT GPGPU GPU SimTech adaptivity algebra algorithm-based autonompous error error-correction error-detection fault-tolerance linear matrix matrix-multiplication metric myown rounding rounding-error]