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

合作研究：DOE/NSF 科学计算正确性研讨会

• 批准号: 2319662
• 负责人: Stephen Siegel
• 金额: $ 1.5万
• 依托单位: University of Delaware
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-05-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2319662&HistoricalAwards=false
• 关键词: Collaborative; Research; DOE; NSF; Workshop

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.

DOE/NSF关于科学计算中正确性的研讨会（CSC）将于2023年6月17日至18日举行，作为第44届ACM Sigplan编程语言设计与实施会议的一部分（PLDI 2023）。 PLDI 2023将是同时在佛罗里达州奥兰多联合计算研究会议（FCRC）的ACM联合计算研究会议（FCRC）的一部分。一些利益相关者社区，例如理论，编程语言设计和实施，计算机架构，高性能并行和分布式计算以及超级计算将参加：因此，该研讨会在FCRC的位置。研讨会的网站是https://pldi23.sigplan.org/home/csc-2023，而科学计算系统的性能不断提高，继续很重要，人们越来越认识地确保这些系统的正确性是主要的挑战。为了应对这一挑战并提供新颖的思想和观点，研讨会将数值方法，科学计算，正式方法，高性能计算，汇编，测试，测试，静态和动态程序分析，计算机体系结构和错误分析的专家汇集在一起​​。除了讨论最新进步和技术成就外，研讨会还将告知DOE和NSF与科学计算中的正确性有关的重要和开创性的未来研究方向。研讨会的影响包括扩大参与者的观点，并提供建立新合作的场所。此外，将向更广泛的研究社区提供了一份工作后报告，描述了最重要，最有前途的研究方向，以激发这些方向的研究。最终，此类研究将为科学计算中的正确性问题提供新的强大解决方案，导致更高质量的软件和计算系统，并更有信心这些系统会产生正确的结果。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的审查标准来通过评估来获得支持的。