Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing

DOE/NSF科学计算正确性研讨会（CSC）将于2023年6月17日至18日举行，作为第44届ACM SIGPLAN编程语言设计和实现会议（PLDI 2023）的一部分。PLDI 2023将是作为在佛罗里达奥兰多举行的ACM联合计算研究会议（FCRC）的一部分同时举行的14个领先计算机科学会议之一。一些利益相关者社区，例如理论，编程语言设计和实现，计算机体系结构，高性能并行和分布式计算以及超级计算，将出席：因此，该研讨会的地点在FCRC。研讨会的网站是https://pldi23.sigplan.org/home/csc-2023While提高科学计算系统的性能仍然很重要，人们越来越意识到确保这些系统的正确性是一个重大挑战。为了应对这一挑战并提供新的想法和观点，研讨会汇集了来自数值方法，科学计算，形式化方法，高性能计算，编译，测试，静态和动态程序分析，计算机体系结构和错误分析等领域的专家。除了讨论最新进展和技术成就外，研讨会还将向DOE和NSF通报有关科学计算正确性的重要和突破性的未来研究方向。研讨会的影响包括拓宽参与者的视角，并为形成新的合作提供场所。此外，还将向更广泛的研究界提供一份讲习班后报告，介绍最重要和最有前途的研究方向，以激励在这些方向上开展研究。最终，这些研究将为科学计算中的正确性问题提供一套新的强大解决方案，从而产生更高质量的软件和计算系统，并提高对这些系统产生正确结果的信心。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

The DOE/NSF Workshop on Correctness in Scientific Computing (CSC) will be held on June 17-18, 2023, as part of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023). PLDI 2023 will be one of 14 leading computer science conferences taking place simultaneously as part of the ACM Federated Computing Research Conference (FCRC) in Orlando, Florida. Several stakeholder communities, for example, theory, programming languages design and implementation, computer architecture, high-performance parallel and distributed computing, and supercomputing, will be in attendance: thus, the location of this workshop at FCRC. The website for the workshop is https://pldi23.sigplan.org/home/csc-2023While improving performance of scientific computing systems continues to be important, there is growing awareness that ensuring correctness of these systems is a major challenge. To address this challenge and to provide novel ideas and perspectives, the workshop brings together experts from among the areas of numerical methods, scientific computing, formal methods, high-performance computing, compilation, testing, static and dynamic program analysis, computer architecture, and error analysis. Beyond discussing latest advances and technical accomplishments, the workshop will inform DOE and NSF of important and groundbreaking future research directions pertaining to correctness in scientific computing.The workshop's impacts include broadening participants' perspectives and providing a venue to form new collaborations. Furthermore, a post-workshop report describing the most important and promising research directions will be made available to the broader research community, to inspire research in those directions. Ultimately, such research will lead to a new set of robust solutions to correctness problems in scientific computing, leading to higher quality software and computing systems, and greater confidence that these systems are producing correct results.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.