Odyssey：面向专家驱动的浮点表达式重写的交互式工作台

近年来，研究人员提出了许多自动化工具，用于识别并改进数学表达式中的浮点舍入误差。然而，用户难以有效应用这些工具。在本文中，我们与新手、专家及工具开发者合作，调查表达式重写过程中的用户需求。我们发现用户遵循迭代设计流程：他们希望能在多个输入区间上比较表达式、集成并引导各种重写工具，并理解误差来源。我们将该调查结果组织为三阶段工作流，并在一个名为 Odyssey 的新型可扩展工作台中实现该工作流。Odyssey 使用户能够：(1) 诊断表达式中的问题，(2) 自动或手动生成解决方案，(3) 调优其结果。Odyssey 跟踪一组工作表达式，并将最先进的自动化工具“由内而外”翻转，使用户能够访问其内部启发式方法、算法与功能。在一项用户研究中，Odyssey 使五位数值分析专家解决了最具挑战性的重写问题，而最先进的自动化工具在这些问题上均告失败。特别是，专家们一致称赞 Odyssey 对交互式区间修改与局部误差可视化的新颖支持。