Project Grant 2412400
Award Date
6/1/24
Completion Date
5/31/27
Dollars Obligated
$597K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Evanston, IL 60208, USA
Similar Awards
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to improve software reliability by developing contract-based specifications for the JavaScript programming language. The $150,000 award to Northwestern University will run from July 2024 to June 2026. The project will bring the well-known "contracts" technology, which provides detailed dynamic code specifications, from academic languages to...
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...
This $311,529 federal Project Grant award, issued by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop mechanisms for safely using legacy unsafe software libraries in critical computer systems. The project explores techniques to encapsulate and isolate unsafe code, combining hardware-based and language-based approaches to secure interactions between legacy software components and the overall system....
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 $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 $492,818 project grant to Stanford University from the Computer and Information Science and Engineering program (CFDA 47.070) for work titled "Efficient, Automatic, and Trustworthy Smart Contract Verification." The goal of this three-year project beginning October 1, 2021 is to develop techniques for formally verifying smart contracts to ensure they are efficient, automatically checked for security vulnerabilities, and produce trustworthy...
The National Science Foundation (NSF) awarded a $540,000 Project Grant to Northeastern University under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on July 1, 2023 with a completion date of June 30, 2026, supports research on programming and reasoning about "actors" that share state in concurrent software applications. The key products and services to be delivered under this grant include: Developing a novel notation and programming...
The National Science Foundation awarded New York University $800,000 under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for the period of July 1, 2021 through June 30, 2023. The Project Grant funding will support research to improve the security of the Python software development environment and supply chain. Specifically, the university will work to secure Python's software packages and dependencies from vulnerabilities and attacks. The research is...
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...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering program (CFDA 47.070) provides $279,614 to Washington State University from Aug 1, 2023 to Jul 31, 2028 to develop a full-stack implementation methodology for expressive programming systems that bridge the gap between high-level specifications and high-performance implementation of complex reasoning tasks at scale. The project aims to extend declarative programming languages to structured,...