TY  - RPRT
TI  - Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
AU  - Tanmay Tirpankar
AU  - Arnab Das
AU  - Ganesh Gopalakrishnan
PY  - 2025
UR  - https://arxiv.org/abs/2503.05924
ID  - 2503.05924
ER  -