Project Grant 2525272
Award Date 9/15/25
Completion Date 8/31/28
Dollars Obligated $300K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Austin, TX 78712, USA
Similar Awards
- This $299,631 Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) program supports collaborative research at Duke University to address two key challenges in the design and verification of heterogeneous shared memory processors. The research will develop a systematic approach for composing the communication protocols used by different processor types, as well as new scalable verification techniques to ensure the correct behavior of...
- This Project Grant award, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program, supports research to address challenges in designing and verifying heterogeneous shared memory processors. The $297,000 award to the University of Utah, with a performance period from September 2025 to August 2028, aims to develop systematic methods for composing communication protocols between heterogeneous processors and...
- This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
- 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, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
- This Project Grant award of $300,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports foundational research on post-silicon validation of hardware-software interactions in modern microelectronic computer chips. The key focus is on developing a comprehensive methodology to streamline this complex and expensive process, which is critical for ensuring that low-level software works as intended on the hardware before systems are...
- The National Science Foundation (NSF) awarded a $724,000 Project Grant under the Computer and Information Science and Engineering (CISE) Federal Grant Program to the University of Texas at Austin (UT Austin). The grant, awarded on July 15, 2025, will fund the development of a new highly parallel hardware and software system for graph-based data analytics to improve the reliability and efficiency of modern artificial intelligence (AI) techniques, including large language models (LLMs) like...
- This $533,000 Project Grant, awarded by the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering (CFDA 47.070) program, supports collaborative research by the Massachusetts Institute of Technology (MIT) to develop end-to-end formal verification techniques for hardware accelerators, specifically tensor processing units (TPUs). The key objectives are to dramatically reduce the costs of developing and iterating on...
- This $400,000 Project Grant was awarded on August 1, 2025 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The grant is funding collaborative research by the University of Southern California (USC) to develop a scalable framework for high-assurance design of safety-critical and mission-critical cooperative autonomous agents, such as warehouse robots, delivery robots, drones, and self-driving...
- The National Science Foundation awarded a $157,203 Project Grant to the University of Arizona under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) to conduct research related to scaling general-purpose processors into the exascale era. Specifically, the award will fund research to design reconfigurable aggregated virtual chips utilizing heterogeneous aggregated chiplets and a hybrid wireless interconnection network. This is intended to enable systems...