Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha. Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. In Sean Follmer, Jeff Han, Jürgen Steimle, Nathalie Henry Riche, editors, Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, UIST 2023, San Francisco, CA, USA, 29 October 2023- 1 November 2023. ACM, 2023. [doi]
Abstract is missing.