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

Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha

Browse the full UIST paper archive.