College of Engineering, Design & Computing Events

13 August | Correctness for Scientific Computing Systems

NSF/DOE

The program's overarching goal is to elevate correctness as a fundamental requirement for scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows. At an elementary level, correctness of a system means that desired behavioral properties will be satisfied during the system's execution. The CS² program puts correctness on an equal footing with performance, the focus of current scientific computing research. This program envisions the necessity of proving correctness even in performant scientific computing systems. CS² requires close and continuous collaboration between researchers in two complementary areas of expertise. One area is scientific computing, the second is formal reasoning and mechanized proving of properties of programs.