Project Grant 2524668
Award Date 10/1/25
Completion Date 9/30/29
Dollars Obligated $606K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Cambridge, MA 02139, 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) provides $303,209 to New York University (NYU) to develop new techniques for verifying the absence of liveness bugs in distributed systems with malicious or "Byzantine" participants. The project aims to create an automation-friendly approach for modularly verifying the liveness of such distributed systems, including the development of novel...
- This $482,482 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address fundamental challenges in proving the liveness properties of complex computer systems. The goal is to develop new techniques and tools that enable engineers to more effectively verify liveness, which is critical for ensuring the reliability and availability of critical systems. The project will explore a novel approach...
- The Massachusetts Institute of Technology (MIT) received a $500,000 Project Grant award from the National Science Foundation Division of Computer and Network Systems to support research titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: COMPOSABLE VERIFICATION OF CRASH-SAFE DISTRIBUTED SYSTEMS WITH GROVE" from October 1, 2021 to September 30, 2025. The research is part of the Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated...
- 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...
- 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) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $400,000.00 will support a collaborative research project titled "FMITF: TRACK I: AVA: ARCHITECTURAL INSIGHTS FOR FORMAL VERIFICATION OF COMPUTER ARCHITECTURES" at the Massachusetts Institute of Technology (MIT) from October 1, 2024 to September 30, 2027. The key objectives of this project are to: Develop architecture-driven abstractions,...
- 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 $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
- 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 $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...