Project Grant 2504171
Award Date
10/1/25
Completion Date
9/30/29
Dollars Obligated
$234K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Iowa City, IA 52242, USA
Similar Awards
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 $109,999.00 from the National Science Foundation's (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049) supports research to develop new techniques for analyzing the computational strength of the theory of second order arithmetic. The project aims to introduce the use of self-modifying computer programs to characterize this abstract mathematical theory and translate its strength into concrete computational...
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 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of California, Davis (UC Davis) for the project "EAGER: PROOF-CARRYING CODE COMPLETIONS." The $300,000 award, with a project period running from February 15, 2024 to July 31, 2025, will support the development of tools, techniques, and empirical results for using large language models to generate trustworthy code completions...
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...
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...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award of $145,557 supports research to improve the practice of verifying probabilistic programs. The project, awarded to The Reed Institute (also known as Reed College), aims to develop novel abstract domains and order-theoretic operators to handle programs with complex, continuous probability distributions and unbounded loops. This research will...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $406,143 to Northeastern University to conduct research on formal verification of stateful distributed systems and their compositions. The key focus is developing composable semantic models that capture a variety of weakly consistent distributed system semantics, along with reusable correctness proofs and methodologies to simplify and scale...
This Project Grant award of $366,160 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the University of Rochester. The funding will support the development of practical formal methods capable of capturing the correctness expectations of numerical algorithm designers as formal requirements, as well as formal models that can represent non-standard hardware and bridge behavioral differences...
This $174,999 Project Grant was awarded by the National Science Foundation (NSF) through its Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Monmouth University Inc. The project aims to develop a formal verification framework to enable precise and general reasoning about relational quantitative properties in programs that use mutable arrays. Key objectives include leveraging fine-grained analysis techniques to improve the accuracy of verification results, and...