Project Grant 2509839
Award Date 8/1/25
Completion Date 7/31/27
Dollars Obligated $199K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Lewisburg, PA 17837, USA
Similar Awards
- The National Science Foundation (NSF) awarded a $269,310 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Ohio State University to develop a unified, tunable full-stack foundation for highly expressive chain-forward programming that can be deployed at scale. The 5-year project, which commenced on August 1, 2023, aims to advance declarative reasoning capabilities by scaling to structured, higher-order, and probabilistic formulations, as well as...
- The National Science Foundation awarded a Project Grant of $174,470.00 to Texas A&M University-Corpus Christi under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The project, titled "CRII: SHF: TOWARDS AN AUTOMATED DISTRIBUTED CONCURRENCY TESTING FRAMEWORK FOR RUST", aims to develop an automated tool to help developers identify and fix concurrency issues in distributed systems built using the Rust programming language. Key objectives...
- 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) provides $298,660 to the University of Massachusetts (UMass) to conduct collaborative research on developing resilient data stream algorithms. The project aims to design algorithms that are less dependent on assumptions and more reliable in practice, addressing key challenges such as adversarial robustness, parameter-free non-adaptive algorithms, and...
- The National Science Foundation (NSF) awarded a $592,937 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Utah. The grant supports the development of cache-coherent accelerators to efficiently support persistent memory programming. The proposed approach aims to enable existing software to benefit from faster persistent memory storage without requiring changes to the code, while also providing safety during system crashes and...
- This federal Project Grant award of $453,903 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) grant program (CFDA 47.070). The award aims to bring the power of synchronous programming to general-purpose programming systems by solving technical challenges that currently limit the adoption of these important programming languages. The investigators at Northwestern University plan to develop implementation strategies that...
- The National Science Foundation (NSF) has awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Duke University. The grant, titled "Collaborative Research: CIF: SMALL: New Frontiers of Approximate Message Passing: Distributed Processing, Stochastic Updates, and Non-Asymptotic Bounds", will fund research to develop efficient iterative algorithms capable of analyzing large, distributed datasets with performance guarantees....
- 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...
- The National Science Foundation (NSF) awarded a $311,529 Project Grant to Princeton University under the CISE: Core Programs from the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The project, titled "CAREER: ENCAPSULATING UNSAFE CODE IN LOW-LEVEL SYSTEMS", seeks to develop strategies and mechanisms to safely utilize legacy software libraries with unsafe programming languages by combining hardware-based and language-based techniques. This will...
- 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....