Sirius: Neural Network Based Probabilistic Assertions for Detecting Silent Data Corruption in Parallel Programs. - Tara E. Thomas; Anmol J. Bhattad; Subrata Mitra; Saurabh Bagchi (SRDS, 2016)