Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contractio — NSF Award to University of Maryland,
Tensor contraction sequences are foundational computations in quantum chemistry, quantum physics, and materials science. As these workloads grow in scale and complexity, scientists increasingly rely on optimization techniques — mixed precision, reordering, and fusion — to reduce runtime and memory costs. While effectiv
| Award title | Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contractio |
|---|---|
| Award ID | 2546786 |
| Awardee | University of Maryland, College Park |
| City | COLLEGE PARK |
| State | MD |
| Amount obligated | $266,000 |
| Principal investigator | Cunxi Yu |
| Program | Correct SciComp Systems (CS2) |
| Start date | 05/01/2026 |
| Abstract | Tensor contraction sequences are foundational computations in quantum chemistry, quantum physics, and materials science. As these workloads grow in scale and complexity, scientists increasingly rely on optimization techniques — mixed precision, reordering, and fusion — to reduce runtime and memory costs. While effective, these optimizations can introduce subtle numerical errors that are difficult to detect and that erode confidence in scientific results. The project's novelties are a scalable fo |
| Source | NSF Awards |
$799/mo
Try NSFGrants →