Project Grant 2243636
Award Date
10/1/23
Completion Date
9/30/26
Dollars Obligated
$260K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Williamstown, MA 01267, USA
Similar Awards
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...
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, 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 $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
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 $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, totaling $406,143, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program. The award will support research at Northeastern University to develop composable semantic models and methodologies for formally verifying the correctness of weakly consistent distributed systems and their compositions. The key objectives are to create reusable verification frameworks that can scale to large-scale distributed...
This $174,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research to develop a formal verification framework for precisely analyzing relational quantitative properties in software programs that use mutable arrays. The research aims to improve the security, privacy, and efficiency of software systems by enabling more accurate analysis of how programs handle sensitive data and perform tasks consistently....
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
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...