Project Grant 2346395
Award Date
7/1/24
Completion Date
6/30/27
Dollars Obligated
$420K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Seattle, WA 98195, USA
Similar Awards
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a workbench for scientists and engineers to address numerical issues in real-world applications. The $903,565 award, effective July 1, 2024 through June 30, 2027, will fund the creation of standards, benchmarks, and user interfaces to make existing numerical tools interoperable and easier to use together. The project will extend the...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $420,000 in funding to the University of California, Davis to develop a workbench for scientists and engineers to address numerical issues in real-world applications. The goal is to build a set of standards, benchmarks, and user interfaces to make existing numerical software tools more interoperable and easier to use together. The project...
This Project Grant award of $400,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is developing tools to help developers easily verify and find defects in scientific software. The project is taking a modular approach to specify program components based on mathematical abstractions familiar to scientists, and creating automated methods to verify program components adhere to their specifications. These techniques are...
This $375,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of practical formal methods and models to address two key challenges facing numerical computing: (1) increasingly complex problems leading to solver failures, and (2) emerging hardware architectures with suboptimal numerical precision. The primary goals are to: (1) create formal requirements to capture the...
This Project Grant award of $366,160 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the University of Rochester. The funding will support the development of practical formal methods capable of capturing the correctness expectations of numerical algorithm designers as formal requirements, as well as formal models that can represent non-standard hardware and bridge behavioral differences...
This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
This Project Grant award of $174,999 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund a unified, large language model (LLM)-empowered framework to systematically address software performance challenges. The key products and services to be delivered under this 2-year award (05/01/2025 - 04/30/2027) include: Advancing automation in performance testing, issue localization, and optimization for modern software...
This Project Grant award of $213,705 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Program (CFDA 47.070) is supporting the development of an interoperable toolchain called "SANDPIPER" to enable collaborative research in geomorphology, sedimentology, and stratigraphy. The key products and services being delivered through this 4-year award, which runs from August 2024 to July 2028, include: Designing and implementing an affordable...
The National Science Foundation (NSF) awarded a $600,000 Project Grant titled "TOWARD HIGH-PERFORMANCE BLOCK KRYLOV SUBSPACE ALGORITHMS FOR SOLVING LARGE-SCALE LINEAR SYSTEMS" under its Computer and Information Science and Engineering program (CFDA 47.070). The grant recipient, CAL Poly Pomona Foundation Inc., a non-profit organization, will develop new numerical algorithms to rapidly solve large-scale linear systems that are crucial for data analysis and scientific computing...
This $725,140 Project Grant award was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the University of Illinois. The goal of the project is to develop NBFLOW, a software toolkit that can convert computational notebook computations into workflows that can efficiently execute on high-performance computing clusters or cloud infrastructure. This will enable the use of notebook technologies in...