This program supports research addressing correctness challenges in scientific computing systems, spanning software and hardware. It emphasizes proving correctness alongside performance, including static and runtime analyses, probabilistic correctness, and system discrepancy probing. Funded activities require collaboration between scientific computing and formal reasoning researchers, covering topics from numerical libraries to program verification and stochastic reasoning.
Eligibility is open to others as specified in additional information. Specific eligibility details are not provided in this summary and should be confirmed with the funding organization.
