Tanmay Tirpankar

According to our database, Tanmay Tirpankar authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs.

Tanmay Tirpankar, Arnab Das, Ganesh Gopalakrishnan

CoRR, March, 2025

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis.

Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan

Proceedings of the 1st IEEE/ACM International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering, 2025

2022

FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC.

Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, Ganesh Gopalakrishnan

Proceedings of the IEEE International Symposium on Workload Characterization, 2022

2021

Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.

Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy

Proceedings of the IEEE International Conference on Cluster Computing, 2021