@misc{indiciaec8061110d5ef,
  title = {Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs},
  author = {Tanmay Tirpankar and Arnab Das and Ganesh Gopalakrishnan},
  year = {2025},
  url = {https://arxiv.org/abs/2503.05924},
  note = {Source identifier: 2503.05924}
}