DOE/NSF科学计算正确性研讨会报告，2023年6月，佛罗里达州奥兰多

本报告是2023年6月17日在佛罗里达州奥兰多举行的DOE/NSF科学计算正确性研讨会（CSC'23）的摘要，该研讨会是2023年联邦计算研究会议（FCRC）的一部分。CSC由DOE和NSF发起，旨在解决那些使用计算方法进行大规模科学模拟的人员对正确性日益增长的担忧。鉴于当今HPC软件和硬件的复杂性、规模和异构性，这些担忧已经升级。如果不主动解决正确性问题，就有可能在计算科学家和工程师面临不可接受的生产力损失的基础上产生有缺陷的科学成果。HPC系统开始包含数据驱动方法，包括机器学习和代理模型，因此讨论它们对整体HPC系统正确性的影响也显得紧迫。该领域的正确性相关方被认为属于计算机科学的几个子学科：从设计具有高能效的专用硬件的计算机架构研究人员；到基于降低精度和减少数据移动开发高效计算方案的数值算法设计人员；再到寻求正确编译和验证方法的形式化方法和编程语言研究人员。为了吸引具有如此多样化背景的与会者，CSC在2023年联邦计算研究会议（FCRC）期间举行。