# Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · Department of Energy (DC) · $1


## Key facts

- **NSF award ID:** 2446213
- **Awardee organization:** Department of Energy (DC)
- **PI:** John T Sarracino
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** —
- **Estimated total:** $1
- **Funds obligated:** $1
- **Transaction type:** Interagency Agreement
- **Period:** 06/15/2025 → 06/15/2029

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2446213

## Citation

> US National Science Foundation, Award 2446213, Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing. Retrieved via AI Analytics 2026-06-08 from https://api.ai-analytics.org/grant/nsf/2446213. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*