Project Grant 2414111
Award Date
8/1/24
Completion Date
7/31/27
Dollars Obligated
$300K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Williamsburg, VA, USA
Similar Awards
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...
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 $100,000 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to develop a holistic benchmarking infrastructure for evaluating large language models used in software engineering. The key activities include: Conducting surveys and interviews with the software engineering and machine learning research communities to gather requirements and understand barriers in evaluating large language models for code....
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 Project Grant award of $675,000 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The award aims to improve the ability of large language models (LLMs) to generate high-quality source code by deeply integrating program analysis techniques into the LLM training, code generation, and evaluation processes. The key products and services to be delivered include: Developing novel quantitative program analysis...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The key objectives are to: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
The National Science Foundation (NSF) awarded a $300,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) federal grant program to Carnegie Mellon University (CMU). The grant funds a 3-year research project focused on developing logical and semantic foundations for compositional assurance reasoning about the safety, reliability, and security of software systems when heterogeneous analysis methods are applied. The project aims to create reasoning principles...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $225,000 to Colorado State University to improve the code generation capabilities of large language models (LLMs). The project aims to develop novel program analysis techniques that can provide meaningful feedback to LLMs during training and decoding, enabling them to generate higher-quality, semantically-aware code. Key research activities...
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...