Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.

Sun, 01 Jan 2023 00:00:00 +0100

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