Sound mixed-precision optimization with rewriting. - Eva Darulova; Einar Horn; Saksham Sharma (ICCPS, 2018)

FaultSight: A Fault Analysis Tool for HPC Researchers. - Einar Horn; Dakota Fulp; Jon Calhoun 001; Luke N. Olson (FTXS@SC, 2019)