Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. - Arnab Das; Tanmay Tirpankar; Ganesh Gopalakrishnan; Sriram Krishnamoorthy (CLUSTER, 2021)

FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC. - Ignacio Laguna; Tanmay Tirpankar; Xinyi Li; Ganesh Gopalakrishnan (IISWC, 2022)

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. - Tanmay Tirpankar; Artem Yadrov; Pavel Panchekha; Ganesh Gopalakrishnan (STATIC, 2025)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs. - Tanmay Tirpankar; Arnab Das; Ganesh Gopalakrishnan (CoRR, 2025)