Skip to content

Tanmay Tirpankar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2021–2025

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2025ICSEFpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis.Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan
2025SCCIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations.Tanmay Tirpankar, Cayden Lund, Ganesh Gopalakrishnan
2021CLUSTERRobustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy