@misc{indiciae161e47d83f58,
  title = {A Step-Function Abstract Domain for Granular Floating-Point Error Analysis},
  author = {Dario, Anthony and Pollard, Samuel Douglas},
  year = {2024},
  doi = {10.1145/3689609.3689997},
  url = {https://www.osti.gov/biblio/2587523},
  note = {Source identifier: 2587523}
}