Project Grant 2512151
Award Date
9/1/25
Completion Date
8/31/28
Dollars Obligated
$599K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Buffalo, NY 14260, USA
Similar Awards
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...
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...
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 $500,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of scalable software to realize "data polymorphism" - a novel paradigm that enables fast and adaptable scientific data retrieval with tailored error control. The key products and services to be delivered include: A generic framework to abstract the generation of progressive data representations, allowing for...
This $439,112 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program will support research to enable practical dynamic program reasoning across language boundaries in multi-language software systems. The award will fund the development of new foundations for dynamic analysis and application tools to diagnose cross-language correctness and security issues, helping to produce multi-language systems 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...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program, with CFDA Number 47.070, provides $174,470.00 to Texas A&M University-Corpus Christi to develop an automated distributed concurrency testing framework for Rust-based distributed software systems. The project aims to address challenges in identifying and fixing concurrency issues in distributed systems by conducting empirical studies,...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, provides $212,345.00 in funding to the University of New Hampshire to mitigate the risks of metastable failures in distributed software systems. The key objectives are to: 1) study failure patterns in vulnerable distributed systems, 2) design more failure-resistant systems, and 3) develop methods to eliminate feedback loops and reduce amplification...
This Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) will support collaborative research on developing new techniques for reasoning about randomness in concurrent programs. The $376,058 award, effective October 1, 2025 through September 30, 2029, will enable researchers from Cornell University to create program logics and reasoning tools to enable more precise analysis of concurrent randomized programs. This work aims to...
This Project Grant award for $311,529, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop strategies and mechanisms for encapsulating unsafe software libraries in a way that guarantees errors in the library do not result in system vulnerabilities, while retaining near-ideal speed and resource efficiency. The project aims to empower developers to transition to safer programming languages...