Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. - Edward Misback; Caleb C. Chan; Brett Saiki; Eunice Jun; Zachary Tatlock; Pavel Panchekha (UIST, 2023)