@techreport {DRP-202403-Dario,
   type = {Directed Research Project},
   author = {Anthony Dario},
   title = {Precisely Tracking Floating-Point Error with a Step-Function Abstract Domain},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = DRP-202403-Dario,
   month = 3,
   year = 2024,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/DRP-202403-Dario.pdf}},
}