Project Grant 2505223
Award Date
2/1/25
Completion Date
5/31/25
Dollars Obligated
$439K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Buffalo, NY 14228, USA
Similar Awards
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 Project Grant award, with a total funding of $453,903, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program. The award aims to bring the power of synchronous programming, which is widely used in safety-critical systems, to general-purpose programming systems. The investigators plan to solve technical challenges that currently limit the adoption of these programming languages, such as the...
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 $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 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...
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 $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...
This five-year, $205,899 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop a new method for evaluating programming languages called the Rational Programmer approach. The principal investigator at Northwestern University will conduct automated simulations to test hypotheses about how well a programming language supports developers in different work contexts like testing, performance profiling, and ensuring language...
This three-year National Science Foundation Project Grant of $1,048,850 will fund the development of new techniques for translating English language specifications into formal specifications accepted by software quality tools. Drexel University will receive the funding under the Computer and Information Science and Engineering program (CFDA 47.070) to pursue approaches connecting natural language software behavior descriptions to semi-formal specifications used in property-based testing...
This National Science Foundation (NSF) $900,000 "COLLABORATIVE RESEARCH: SHF: MEDIUM: NATURAL LANGUAGE MODELS WITH EXECUTION DATA FOR SOFTWARE TESTING" Project Grant, awarded under the Computer and Information Science and Engineering program (CFDA 47.070), aims to develop natural language processing (NLP) models to simplify the development and maintenance of software tests. Key objectives include test generation, completion, update, and migration across programming languages, targeting...