Project Grant 2525270
Award Date 9/15/25
Completion Date 8/31/28
Dollars Obligated $297K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Salt Lake City, UT 84112, 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 $299,700 Project Grant was awarded on September 15, 2025 by the Division of Information and Intelligent Systems, a civilian agency within the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The grant supports collaborative research by the University of Texas at Austin to address challenges in designing and verifying heterogeneous shared memory processors used in critical computational applications like...
- The National Science Foundation (NSF) awarded a $592,937 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Utah. The grant supports the development of cache-coherent accelerators to efficiently support persistent memory programming. The proposed approach aims to enable existing software to benefit from faster persistent memory storage without requiring changes to the code, while also providing safety during system crashes and...
- This National Science Foundation (NSF) Project Grant, awarded under the Computer and Information Science and Engineering (CFDA #47.070) program, supports the development and study of a novel parallel architecture designed to harness irregular parallelism in various applications. The $207,470 award to the University of Maryland, College Park aims to create a hardware system capable of efficiently processing irregular parallel workloads, such as those found in domains like hardware/software...
- 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...
- 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 $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...
- This Project Grant award of $375,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support collaborative research at the University of Utah to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers as formal requirements. The project will also develop formal models capable of capturing non-standard hardware behaviors and enable end-to-end correctness...
- This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
- 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...