Project Grant 2409005
Award Date
7/15/24
Completion Date
6/30/27
Dollars Obligated
$600K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Los Angeles, CA 90089, USA
Similar Awards
This $600,000 National Science Foundation project grant supports the development of a generalized framework for responsive static analysis to verify software correctness. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), this three-year award to the University of Colorado Boulder aims to advance abstract interpretation techniques. Researchers will develop novel algorithms enabling abstract interpretation to run more quickly for common use cases while...
This $1,164,216 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports Washington State University's research to develop a unified, tunable full-stack foundation for highly expressive declarative programming systems. The project aims to scale the use of declarative reasoning approaches to structured, higher-order, and probabilistic problems, enabling applications in areas such as precision...
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,...
This Project Grant award from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....
This National Science Foundation Project Grant of $349,276 supports research at Worcester Polytechnic Institute to develop innovative machine learning and natural language processing techniques for automated analysis of documentation related to networked systems security. Funded under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), the project aims to leverage documentation sources like specifications, developer guides, and other materials to discover security...
This $174,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support a research project at the University of Central Missouri. The project aims to develop a unified, large language model (LLM)-empowered framework to systematically address software performance challenges. Key objectives include automating performance testing, issue localization, and optimization. The research will integrate...
This three-year project grant from the National Science Foundation's Computer and Information Science and Engineering program provides $600,000 to develop a generalized framework for responsive static analysis. The awardee, the Regents of the University of California at Riverside, will build on recent work in demanded abstract interpretation to extend the framework's capabilities to handle compositional and refinement-based analysis. These enhancements will facilitate provable guarantees of...
This $439,112 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program aims to advance the state of knowledge in software quality assurance for multi-language software systems. The key technical objectives are to: 1) characterize multi-language code construction mechanisms and their effects on software behavior and quality, 2) develop practical and scalable analyses for cross-language dependence reasoning, 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 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 $566,953 project grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address critical challenges in fine-grained information flow control (IFC) within software systems. The research primarily focuses on developing a novel IFC system tailored to the Rust programming language, leveraging its unique features. Key objectives include designing a static IFC library to minimize programming model...