Project Grant 2442888
Award Date
5/1/25
Completion Date
4/30/30
Dollars Obligated
$406K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02115, USA
Similar Awards
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program (CFDA 47.070) project grant, awarded to Princeton University, aims to develop technology for refuting and proving consistency properties of distributed system designs. The $900,000 award, effective from August 1, 2024 to July 31, 2028, seeks to create a "pay-as-you-go" workflow that allows distributed systems designers to incrementally increase their verification efforts to gain...
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 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...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program project grant award (CFDA 47.070) provides $249,867 to New York University (NYU) from October 1, 2023 to September 30, 2027. Under this award, NYU will develop a prototype distributed database called VDDB and a new verification framework called PHLOX to formally specify and verify the correctness of VDDB. The goal is to demonstrate the feasibility of using formal verification to improve the...
The National Science Foundation (NSF) Division of Computing and Communication Foundations awarded a $593,022 Project Grant to The Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. This grant, under NSF's Computer and Information Science and Engineering (CFDA 47.070) program, supports a project focused on developing new formal verification techniques for concurrent software. The project aims to bridge the gap between intuitive scenario-based reasoning and rigorous...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will develop advanced performance verification techniques to evaluate the reliable operation of complex networked systems. The $875,000 award to the University of Texas at Austin will create a formal modeling and automated reasoning framework to analyze system behaviors and identify potential performance degradation, enabling engineers to design...
This $400,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports a collaborative research project led by the Massachusetts Institute of Technology (MIT) to advance formal verification techniques for computer architectures.
The key objectives are to: 1) develop architecture-driven abstractions, interfaces, and invariants to enable scalable functional verification of complex processors; 2)...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $369,897 to New York University (NYU) to develop new methods for formally verifying the security and privacy of distributed software applications.
The key products and services to be delivered under this 5-year award include:
Developing a new logic for program verification that combines techniques for reasoning about distributed,...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $387,341 to the Trustees of the Stevens Institute of Technology to develop theory, algorithms, and prototype tools for extending auto-active software verification to include security hyperproperties. The key objectives are to advance the science of security through deductive logics and algebras to support automated reasoning about...
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...