Project Grant 2403762
Award Date
2/15/24
Completion Date
7/31/25
Dollars Obligated
$300K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Davis, CA, USA
Similar Awards
This $875,000 Project Grant was awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the University of California, San Diego (UCSD). The project aims to develop new techniques for aligning large language models (LLMs) with formal specifications in order to generate high-quality computer code that provably matches user intent. Specifically, the project will: (1) develop grammar-aligned decoding...
The National Science Foundation (NSF) awarded a $300,000 Project Grant under the CFDA Program 47.070 - Computer and Information Science and Engineering. The grant was awarded on October 1, 2023 to the University of Tennessee, Knoxville to develop new curricular modules and hands-on exercises for computer science students and the software development workforce. The goal is to enhance their secure coding practices when using AI-powered coding assistant tools, such as ChatGPT and GitHub Copilot,...
The National Science Foundation (NSF) has awarded a $719,494 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to the University of California, San Diego (UCSD). The grant, titled "SHF: MEDIUM: COMPOSITIONAL SEMANTICS-GUIDED SYNTHESIS", aims to develop more scalable and general program synthesis algorithms that can create larger software systems than was previously possible. The project builds on the Semantics-Guided...
The National Science Foundation (NSF) awarded a $600,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to New York University (NYU) to investigate the risks of AI-generated code in the software supply chain. The 3-year project, which began on June 1, 2024, aims to: (i) develop techniques to distinguish human-written code from AI-generated code, (ii) measure the prevalence and security implications of AI-generated code in open-source software, and (iii)...
The National Science Foundation (NSF) awarded a $329,183 Project Grant to the College of William & Mary under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on October 1, 2023, will fund the development of a framework and methodology to enable researchers and software engineers to better interpret the behavior of AI-powered developer tools that leverage neural language models for source code. The project aims to generate global and local...
This $300,000 federal Project Grant award from the National Science Foundation's (NSF) STEM Education (CFDA 47.076) program aims to develop a course that teaches computer science students how to work with and comprehend large code bases. The project, awarded to the University of California, San Diego (UC San Diego), is designed to address the "academia-industry gap" where new computer science graduates are often underprepared for contributing to large, existing software code bases in...
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 $800,000 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant, awarded to the University of California, Berkeley on October 1, 2024, funds research to develop methods for certifying the safety of autonomous systems that use machine learning components. The key objectives are: (1) learning safety certificates and control policies, and (2) certifying the learned system. The project aims to use learning-based techniques to compute...
This National Science Foundation Project Grant of $250,000 supports research at the University of California, San Diego to develop automated techniques for lemma synthesis in interactive theorem provers. The goal is to reduce the manual proof effort required when using interactive theorem provers to prove correctness and security properties of software. The project will explore multiple formulations of reducing the lemma synthesis problem to data-driven program synthesis, where the objective...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $295,169 to Carnegie Mellon University (CMU) to develop an experimental approach that leverages large language models (LLMs) and rule-based symbolic AI to generate and verify high-performance math kernels. The project aims to address the challenge of ensuring the correctness of code snippets produced by generative AI systems, which lack the...