Project Grant 2315884
Award Date
7/1/23
Completion Date
6/30/26
Dollars Obligated
$540K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02115, USA
Similar Awards
The National Science Foundation (NSF) awarded a 4-year, $252,007 Project Grant under the Engineering (CFDA 47.041) program to Northeastern University. The grant supports the development and testing of AI-based programming tools to assist social and natural scientists with computer programming tasks. The research team is developing large language models and associated tools to support programming languages commonly used in the sciences, such as MATLAB and R, in order to make programming easier...
Northeastern University was awarded a $498,605 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award will support research into "BEYOND BEHAVIORAL SOFTWARE CONTRACTS" from July 2021 through June 2024. The Computer and Information Science and Engineering program aims to advance computing and communication sciences through investigator-initiated research and education. This...
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 $597,201 federal Project Grant awarded on June 1, 2024 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of a novel programming language ecosystem for higher-order software contracts. The project aims to investigate the design, theory, implementation, and practice of a contract-centric ecosystem that can help developers better visualize, debug, and understand the interactions between 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 $389,494 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is funding research at Northeastern University to advance the design and implementation of probabilistic programming languages (PPLs). The key objectives are to: Develop new high-level, ergonomic PPLs that can compile to low-level, tractable probabilistic models to enable scalable probabilistic inference. Create new compilation targets...
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...
This $212,345 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to mitigate the risks of metastable failures in large, distributed software systems like cloud computing platforms. The 5-year project, running from February 2025 to January 2030, will investigate patterns of metastable failures, design new failure-resistant systems, and develop techniques to reduce the amplification effects of feedback...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program (CFDA 47.070) Project Grant award in the amount of $174,470 to Texas A&M University-Corpus Christi (TAMU-CC) will fund the development of an automated distributed concurrency testing framework for Rust-based distributed software systems. The research project aims to address the challenges of finding and fixing concurrency bugs in distributed systems by developing innovative techniques to...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant award of $600,000 to Yale University will leverage the Rust programming language to enhance the correctness and reliability of systems software, such as operating systems. The project aims to develop innovative techniques for intralingual resource representation, design patterns for verifiable operating system implementation, and a hybrid approach combining formal and informal...