Project Grant 2346396
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
Davis, CA, 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 $420,000 award, effective July 1, 2024 through June 30, 2027, will fund the creation of standards, benchmarks, and user interfaces to improve the interoperability and usability of existing tools for numerical software development....
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award in the amount of $263,900 to the Regents of the University of California at Riverside (UC Riverside) supports the development of new automated code transpilation, testing, and debugging technologies to lower the barriers of developing heterogeneous computing applications. The project aims to improve developer productivity and accessibility to...
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 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, with Federal Grant Program ID 47.070, will support the University of California, Merced in pioneering innovative heterogeneous-enriched communication designs for modern and next-generation high-performance computing (HPC) systems and applications. The $500,177 award, effective January 1, 2024 through December 31, 2028, aims to enhance the usability, efficiency,...
The National Science Foundation (NSF) awarded a $224,910 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of California, Santa Barbara (UCSB). The grant, effective from September 1, 2024 to August 31, 2027, supports the development of scalable and automated software tools to simulate and analyze "active dynamics" in complex systems, such as flocks of birds, schools of fish, and networks of cells. The project aims to...
This $500,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of scalable software to realize "data polymorphism" - a novel paradigm that enables fast and adaptable scientific data retrieval with tailored error control. The key products and services to be delivered include: A generic framework to abstract the generation of progressive data representations, allowing for...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is providing $400,000 to the University of Delaware to develop tools that help developers easily verify and find defects in scientific software. The project aims to create a modular approach to specifying program components using mathematical abstractions, automated methods to verify program adherence to specifications, and apply these techniques to...
This Project Grant award, valued at $366,160, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award will support collaborative research by the University of Rochester to develop practical formal methods for verifying the correctness of numerical algorithms and their implementation on emerging hardware architectures, particularly those optimized for artificial intelligence applications. The...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program provides $375,000 to the University of Utah to advance formal methods for scientific computing. The project aims to develop practical formal methods to capture the correctness expectations of numerical algorithm designers, formal models capable of representing non-standard hardware, and end-to-end correctness verification techniques....
This Project Grant from the National Science Foundation's Office of Advanced Cyberinfrastructure, under the Computer and Information Science and Engineering federal grant program (CFDA 47.070), provides $147,518 to develop a software health monitoring and improvement framework. The framework will integrate and enhance recent advances in software issue detection and refactoring techniques to serve diverse scientific and engineering domains. It will detect and help fix software quality issues in...