Project Grant 2312263
Award Date
7/1/23
Completion Date
6/30/27
Dollars Obligated
$289K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Riverside, CA 92521, USA
Similar Awards
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...
This $500,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop new techniques for software vulnerability discovery. Specifically, the University of California, Riverside will receive funding from February 2022 through January 2025 to create a fast binary code concolic execution engine and dual concolic execution approach that combines source code and binary code analysis. These new methods seek to significantly...
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 four-year, $750,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems will support the development of foundational principles for modular probabilistic programming and inference. Funded under the Computer and Information Science and Engineering program, the grant aims to advance scalable and efficient machine learning model design through the creation of a new probabilistic programming language called MODPPL. Key deliverables include the...
The Regents of the University of California, doing business as the University of California, Berkeley, received a three-year, $750,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA #47.070). The grant funds the "DASS: Legally & Locally Legitimate: Designing & Evaluating Software Systems to Advance Equal Opportunity" project. The project aims to advance equal opportunity through the design and...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award in the amount of $263,900 to the Regents of the University of California at Riverside (UC Riverside) supports the development of new automated code transpilation, testing, and debugging technologies to lower the barriers of developing heterogeneous computing applications. The project aims to improve developer productivity and accessibility to...
The Regents of the University of California, doing business as the University of California, Berkeley, was awarded a $249,563 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program. The grant will fund a three-year collaborative research project from July 2021 to June 2024 to develop graphical modeling techniques for multivariate functional data. The Computer and Information Science and Engineering program supports...
This five-year Project Grant award of $446,455 from the National Science Foundation's Division of Information and Intelligent Systems supports research in variational inference for resource-efficient learning under the agency's Computer and Information Science and Engineering program (CFDA 47.070). The University of California Irvine will conduct investigator-initiated research from September 2021 through August 2026 to advance the development of variational inference techniques that enable more...
The Trustees of the University of Pennsylvania received a three-year, $540,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program. The grant aims to improve the expressiveness of dependently-typed programming languages through developing novel type systems using dependency tracking. The University will investigate integrating dependency tracking with dependent type systems and apply the analysis to track relevance, termination,...
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...