Tanmay Tirpankar

According to our database, Tanmay Tirpankar authored at least 6 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

Translation Validation for LLVM's AArch64 Backend.

Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr

Proc. ACM Program. Lang., 2025

CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations.

Tanmay Tirpankar, Cayden Lund, Ganesh Gopalakrishnan

Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, 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