Project Grant 2304758
Award Date 10/1/23
Completion Date 9/30/26
Dollars Obligated $600K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
New York, NY 10012, USA
Similar Awards
- 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 provides $333,627 to New York University (NYU) to develop new techniques for reasoning about randomness in concurrent programs. The project aims to create program logics and reasoning tools that can enable more precise analysis of concurrent randomized programs, which is critical for high-stakes systems like those used in cryptography and machine learning. The...
- This Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $376,058 to Cornell University to develop new techniques for reasoning about randomness in concurrent software programs. The project aims to create program logics and reasoning tools that enable more precise, compositional analysis of concurrent randomized programs. The researchers will formally verify the soundness of the logic and build a...
- This $620,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of an end-to-end toolchain for formally verifying the correctness of concurrent C programs. The goal is to create tools that can mathematically prove the behavior of high-performance C programs that use advanced concurrency features, in order to improve software reliability and reduce failures. The project builds on the Verified...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $540,535 to Northeastern University to conduct research on formal verification of weakly consistent distributed systems. The key focus of the project is developing composable semantic models and methodologies to improve the scalability and modularity of verifying large-scale distributed systems. The research aims to enhance the reliability...
- 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...
- This Project Grant award from the National Science Foundation (NSF) Division of Computing and Communication Foundations under CFDA program 47.070 (Computer and Information Science and Engineering) is supporting collaborative research at Williams College to advance modular concurrent software verification capabilities for multi-core processors. The $259,949 award, effective October 1, 2023 through September 30, 2026, is focused on developing new specification notations, a program logic called...
- The National Science Foundation (NSF) awarded a $540,000 Project Grant to Northeastern University under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on July 1, 2023 with a completion date of June 30, 2026, supports research on programming and reasoning about "actors" that share state in concurrent software applications. The key products and services to be delivered under this grant include: Developing a novel notation and programming...
- The National Science Foundation Division of Computing and Communication Foundations awarded a $600,000 Project Grant to the New Jersey Institute of Technology from October 1, 2021 to September 30, 2025. The grant supports research titled "COLLABORATIVE RESEARCH: SHF: MEDIUM: PRECISE STATIC ANALYSIS OF EVENT-BASED SYSTEMS" under the Computer and Information Science and Engineering program (CFDA 47.070). This program aims to advance computing, communications, and information science...
- 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...