Project Grant 2616793
Award Date 10/1/26
Completion Date 9/30/29
Dollars Obligated $300K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Riverside, CA 92521, USA
Similar Awards
- The National Science Foundation Division of Information and Intelligent Systems awarded the University of Kentucky Research Foundation $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop documentation-guided static analysis techniques for modern software applications. The project translates informal framework documentation into formal specifications, then uses those specifications to verify whether application code complies...
- The Regents of the University of California at Riverside received a $600,000 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations. The award will support research from October 1, 2021 to September 30, 2025 under the Computer and Information Science and Engineering program (CFDA #47.070). The grant funds collaborative research on precise static analysis of event-based systems. The Computer and Information Science and Engineering program aims...
- The National Science Foundation Division of Information and Intelligent Systems awarded the Regents of the University of California at Riverside $250,000 on August 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to support collaborative research on SHF: SENSABRIDGE, a learnable sensor-AI bridge for ubiquitous edge intelligent processing. Work will be performed in Riverside, California, with a period of performance extending through July 31, 2029. No...
- Federal Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded $450,000 under the Computer and Information Science and Engineering (CFDA 47.070) program to the Regents of the University of California at Riverside for a three-year project (October 1, 2025 – September 30, 2028). The project develops research outputs focused on integrating Large Language Models (LLMs) with existing program analysis tools to improve software vulnerability...
- The National Science Foundation Division of Computer and Network Systems awarded the Regents of the University of California at Riverside $384,000 on October 1, 2026, through the Computer and Information Science and Engineering program (CFDA 47.070) to develop theories and techniques for automating access control enforcement in decentralized microservice systems. The project addresses vulnerabilities in cloud computing architectures where policy definition and enforcement are separated and...
- The National Science Foundation Division of Information and Intelligent Systems awarded The Regents of the University of California at Riverside $315,154 on July 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop testing foundations for heterogeneity-aware AI compilation. The recipient will develop a cross-layer framework for testing the software stack that translates and executes deep learning models on heterogeneous hardware. The research...
- The National Science Foundation Division of Computer and Network Systems awarded the University of California, Los Angeles $229,687 on March 15, 2026, to develop fully automated, ahead-of-time program analysis techniques for detecting bugs in shell scripts before execution. The project, supported under the Computer and Information Science and Engineering program (CFDA 47.070), draws on methods from programming languages, type systems, and program analysis to catch correctness issues in shell...
- 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...
- The National Science Foundation Division of Information and Intelligent Systems awarded the University of California, San Diego $215,035 on May 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) for collaborative research on compiler infrastructure redesign to support scientific computing. The project develops methods to synthesize domain-specific and program-specific static analyses that enable scientists to express and statically enforce complex...
- The National Science Foundation awarded a $505,418 project grant to the Regents of the University of California at Riverside under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will fund research from July 2021 through June 2025 titled "COLLABORATIVE RESEARCH: SATC: CORE: MEDIUM: LEAKAGE-FREE ISOLATED EXECUTION: ARCHITECTURES AND SECURITY MODELS." The University of California at Riverside will conduct investigator-initiated research to develop...