Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs
When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs.
My dissertation defense for the University of Oregon presented on May 28, 2021.
Slides are available at https://sampollard.github.io/research...