Project Grant 2525271
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
Durham, NC 27705, USA
Similar Awards
- 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 $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...
- This $593,412 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of a formal verification framework, called QED, to verify the memory consistency behavior of modern, out-of-order processor designs with cache hierarchies. The project aims to address the challenge of comprehensively verifying memory consistency, a critical correctness requirement for high-performance, shared-memory multiprocessor...
- 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, 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...
- 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 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, with a total award of $406,143, supports research to develop composable semantic models and methodologies for formally verifying the correctness of weakly consistent distributed systems. The award, granted to Northeastern University, will focus on modeling and verifying the semantics of distributed systems rather than specific implementations, enabling reusable proofs and simplified...
- 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 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,...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...