Towards Formal Approaches to System Resilience. - Vishal Chandra Sharma; Arvind Haran; Zvonimir Rakamaric; Ganesh Gopalakrishnan (PRDC, 2013)

PRESAGE: Protecting Structured Address Generation against Soft Errors. - Vishal Chandra Sharma; Ganesh Gopalakrishnan; Sriram Krishnamoorthy (HiPC, 2016)

Towards Resiliency Evaluation of Vector Programs. - Vishal Chandra Sharma; Ganesh Gopalakrishnan; Sriram Krishnamoorthy (IPDPS Workshops, 2016)

Towards Building Efficient Error Detectors for Improving System Resilience. - Vishal Chandra Sharma (2017)

FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. - Ian Briggs; Arnab Das; Mark Baranowski; Vishal Chandra Sharma; Sriram Krishnamoorthy; Zvonimir Rakamaric; Ganesh Gopalakrishnan (ACM Trans. Archit. Code Optim., 2020)