Project Grant 2422130
Award Date
9/1/24
Completion Date
8/31/28
Dollars Obligated
$875K
Funding Federal Agency
Division of Computer and Network Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Austin, TX 78712, 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 $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) 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...
The National Science Foundation (NSF) awarded a $387,341 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to The Trustees of the Stevens Institute of Technology. The grant aims to develop theory, algorithms, and prototype tools for extending auto-active verification techniques to cover security hyperproperties. This research has the potential to transform computing practice by supporting accountability and trustworthiness of software...
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 $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 National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CFDA 47.070) program will provide $227,500 to the University of Texas at Arlington (UTA) from October 1, 2024 to July 31, 2027. The project aims to develop an accelerated computation architecture for state modeling techniques and apply them to critical smart environment applications. Key research thrusts include: 1) designing efficient computation techniques to accelerate...
This $406,143 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) grant award to Northeastern University focuses on developing novel methodologies to improve the reliability and assurance of distributed computing systems. The project aims to create composable semantic models that can capture a variety of weakly consistent distributed system behaviors and enable scalable formal verification of complex, large-scale distributed systems. Key...
This $375,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program will fund the development of new technology to verify network-wide properties of dynamic data planes at Princeton University from October 2022 through September 2025. Specifically, the researchers will create formal specification and verification tools to check network configurations prior to deployment and monitor configurations as they execute. These tools will use a...
This $900,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop the VERITAS framework for formally verifying performance properties of network control algorithms. Led by the Massachusetts Institute of Technology, researchers will create a means to encode algorithms in first-order logic, specify hypotheses about performance, and test hypotheses through simulation in a customizable network model. Additionally, given...