@phdthesis {PHD-202106-Pollard,
   type = {Dissertation Defense},
   author = {Samuel D. Pollard},
   title = {When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs},
   school = {College of Arts and Sciences, University of Oregon},
   month = 6,
   year = 2021,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-202106-Pollard.pdf}},
}