Project Grant 2441284
Award Date
2/1/25
Completion Date
1/31/30
Dollars Obligated
$274K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Charlottesville, VA, USA
Similar Awards
The National Science Foundation (NSF) Division of Computer and Network Systems awarded a $750,000 Project Grant to the Regents of the University of Michigan, Office of Research and Sponsored Projects (doing business as the University of Michigan) from October 1, 2023 to September 30, 2027. The grant aims to design new end-to-end methods to automatically synthesize high-quality semantic checkers for detecting silent failures in modern distributed systems. The project will result in a framework...
This federal Project Grant award, with a total funding amount of $376,450.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) grant program. The award, titled "CAREER: A Semantic Framework for Verifying Heterogeneous Applications," aims to develop a framework for verifying compliance of heterogeneous distributed systems, such as cloud computing and Internet of Things (IoT) applications, with intended...
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 $212,345.00 was provided by the National Science Foundation (NSF) under its Computer and Information Science and Engineering (CFDA 47.070) program. The primary objectives of this 5-year project are to investigate and mitigate the risks of metastable failures in large, distributed software systems such as cloud platforms. The research aims to: 1) study the patterns of metastable failures in vulnerable distributed algorithms and systems, 2) design new...
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 $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 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 $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 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 $600,000 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) supports research at the University of California, Davis to address security vulnerabilities in cloud computing infrastructure and develop defenses against targeted microarchitectural attacks. Over a four-year period from July 2022 to June 2026, the university will conduct a comprehensive threat analysis of cloud schedulers and investigate software-based and...