GPU-trident: efficient modeling of error propagation in GPU programs. - Abdul Rehman Anwer; Guanpeng Li; Karthik Pattabiraman; Michael B. Sullivan 001; Timothy Tsai 002; Siva Kumar Sastry Hari (SC, 2020)