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

美国能源部/美国国家科学基金会科学计算正确性研讨会(CSC)将于2023年6月17日至18日举行，作为第44届ACM SIGPLAN编程语言设计和实现会议(PLDI 2023)的一部分。PLDI 2023将是在佛罗里达州奥兰多举行的ACM联合计算研究会议(FCRC)的一部分，同时举行的14个领先的计算机科学会议之一。几个利益攸关方社区，例如理论、编程语言设计和实施、计算机体系结构、高性能并行和分布式计算以及超级计算将出席：因此，这次研讨会的地点在FCRC。研讨会的网站是https://pldi23.sigplan.org/home/csc-2023While提高科学计算系统的性能仍然很重要，人们越来越意识到确保这些系统的正确性是一项重大挑战。为了应对这一挑战，并提供新的想法和观点，研讨会汇集了来自数值方法、科学计算、形式方法、高性能计算、编译、测试、静态和动态程序分析、计算机体系结构和误差分析等领域的专家。除了讨论最新的进展和技术成就外，研讨会还将向美国能源部和国家科学基金会通报有关科学计算正确性的重要和开创性的未来研究方向。研讨会的影响包括开阔参与者的视野和提供形成新合作的场所。此外，将向更广泛的研究界提供一份讲习班后报告，介绍最重要和最有希望的研究方向，以激励在这些方向上的研究。最终，这样的研究将导致一套新的稳健的解决方案来解决科学计算中的正确性问题，导致更高质量的软件和计算系统，并更有信心这些系统正在产生正确的结果。该奖项反映了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.