Project Grant 2315363
Award Date 10/1/23
Completion Date 9/30/26
Dollars Obligated $593K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Hoboken, NJ 07030, USA
Similar Awards
- 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 Trustees of the Stevens Institute of Technology received a $399,995 Project Grant award from the National Science Foundation on July 15, 2021 to support research activities concluding on June 30, 2024. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which aims to advance computing and information sciences through investigator-initiated research and cyberinfrastructure development. Specifically, the grant will fund a collaborative...
- 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 National Science Foundation (NSF) Division of Computing and Communication Foundations grant award, under CFDA Program 47.070 "Computer and Information Science and Engineering", provides $600,000 over 3 years starting October 1, 2023 to New York University (NYU) to develop new reasoning principles and static program analysis techniques for verifying the correctness of concurrent search data structures. The key products and services to be delivered include: A modular library of...
- 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) awarded a $339,977 Project Grant to the University of California, Santa Cruz (UCSC) for the "COLLABORATIVE RESEARCH: SHF: SMALL: RUI: KEYSTONE: MODULAR CONCURRENT SOFTWARE VERIFICATION" project under the NSF's Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 3-year project aims to advance the field of multi-threaded software verification by developing new specification techniques and verification tools. The key...
- 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 of $300,000.00 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research at Carnegie Mellon University to develop techniques and tools for reliable, efficient, and reproducible testing of concurrent software applications. The project aims to create a controlled concurrency testing solution for multi-threaded programs running on managed runtime systems like the Java Virtual Machine. Key objectives...
- 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...
- 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...