This $274,942 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research at Arizona State University (ASU) to address the problem of metastable failures in large-scale distributed software systems. The project aims to: Study the patterns of metastable failures in vulnerable distributed algorithms and systems. Design new, more failure-resistant distributed system architectures and algorithms....
The National Science Foundation awarded a $249,591 Project Grant to the University System of New Hampshire's Office of Sponsored Research under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award beginning May 1, 2022 will support the development of resource-efficient, strongly consistent replication technologies for cloud computing environments. As the prime awardee, the University System of New Hampshire will deliver replication...
This federal Project Grant award of $273,563 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a framework for providing low-effort runtime assurance to detect, diagnose, mitigate, and prevent failures in cloud computing systems. The key products and services to be delivered under this 5-year award, which began on February 1, 2025, include: Synthesizing semantic checkers from test cases to enable timely...
The National Science Foundation (NSF) awarded a $298,101 Computer and Information Science and Engineering (CFDA 47.070) project grant to the University of Massachusetts Lowell. The grant, titled "TOWARDS FAULT-TOLERANT EDGE COMPUTING FOR CYBER-PHYSICAL SYSTEMS: DISTRIBUTED PRIMITIVES FOR COORDINATION UNDER CYBER ATTACKS," will fund research to develop distributed consensus primitives that enable fault-tolerant and secure edge computing for cyber-physical systems. The key objectives are...
This Project Grant from the National Science Foundation's $300,000 Computer and Information Science and Engineering program (CFDA 47.070) supports collaborative research on learning fault tolerance at scale from January 1, 2022 to December 31, 2024. Vanderbilt University is the primary awardee and will receive $300,000 to advance the development of state-of-the-art fault tolerance algorithms and deepen theoretical understanding of the problem. The University of Kansas Center for Research Inc....
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 University of Massachusetts Lowell's Office of Research Administration received a $600,000 three-year Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070). The grant funds research to develop mechanisms for detecting soft errors and silent data corruption in high-performance computing systems. The university will apply compressive sensing and machine learning techniques, including unsupervised anomaly detection, to...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $439,112 will support a research project to advance practical dynamic program reasoning across language boundaries for multi-language software systems. The project aims to characterize how modern multi-language software is constructed, develop scalable analyses for cross-language dependence reasoning, and create efficient techniques for...
The National Science Foundation (NSF) awarded the University of Connecticut (UConn) a $101,190 Project Grant under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The objective of this 6-month grant, with a period of performance from November 15, 2023 to May 31, 2024, is to create a novel architecture-modeling framework that bridges the gap between software architecture and software testing. The project will develop three key components: 1) a...
This federal Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will provide $256,157 to the University of California, Santa Cruz (UCSC) to improve the effectiveness and efficiency of post-mortem execution analysis for debugging software systems. The key innovations include embedding high-fidelity execution artifacts into low-fidelity artifacts, extrapolating low-fidelity artifacts into a set of...