Project Grant 2453432
Award Date
10/1/25
Completion Date
9/30/28
Dollars Obligated
$300K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The key objectives are to: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
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,...
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 $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This three-year, $600,000 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop scalable concolic testing techniques for parallel applications with shared dynamic data structures. Specifically, the awardee, the Regents of the University of California at Riverside, will pursue two key objectives. First, the researchers will generalize concolic testing to automatically test parallel programs running on heterogeneous, massively...
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 (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 of $647,993 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program aims to strengthen the correctness of date and time computations in software systems. The project, conducted by Carnegie Mellon University, will involve a systematic study of date and time-related issues in open-source software repositories, the development of static and dynamic program analysis techniques to uncover date and time bugs in open-source...
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 $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...