Correctness for Scientific Computing Systems

The Correctness for Scientific Computing Systems (CS2) program is a joint initiative of the National Science Foundation (NSF) and the Department of Energy (DOE). The program aims to elevate correctness as a fundamental requirement for scientific computing tools and tool chains. It requires close collaboration between researchers in scientific computing and formal reasoning and mechanized proving of properties of programs. The program seeks to address challenges that are core to DOE's mission and essential to NSF's mission of ensuring broad scientific progress. • The program will support research in scientific computing, including models and simulations of scientific theories, management and analysis of data, libraries for numerical computation, and allied topics. • It will also support research in formal reasoning and mechanized proving of properties of programs, including automatic/interactive/auto-active verification, runtime verification, type systems, abstract interpretation, programming languages, program analysis, program logic, compilers, concurrency, stochastic reasoning, static and dynamic testing, property-based testing, and allied topics. • The program requires at least one co-PI with expertise in scientific computing and at least one co-PI with expertise in formal reasoning and mechanized proving of properties of programs. • Proposals may only be submitted by non-profit, non-academic organizations, institutions of higher education, and DOE National Laboratories.