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

NSF Award Search · 01002526DB NSF RESEARCH & RELATED ACTIVIT · $1 · view on nsf.gov ↗

Key facts

NSF award ID: 2446213
Awardee: 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