Project Grant 2446143
Award Date
7/1/25
Completion Date
6/30/28
Dollars Obligated
$389K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
This $900,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) will fund research at Virginia Polytechnic Institute & State University to develop a comprehensive framework for efficient, scalable, and performance-portable tensor applications. The five-year award beginning July 2022 aims to address challenges in sustaining improved computing performance and developer productivity as hardware customization increases due...
The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
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 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 $400,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is developing tools to help developers easily verify and find defects in scientific software. The project is taking a modular approach to specify program components based on mathematical abstractions familiar to scientists, and creating automated methods to verify program components adhere to their specifications. These techniques are...
This $125,000 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA #47.070) supports research at the University of California, Merced on developing optimized sparse tensor network algorithms and specialized accelerator architectures. The one-year award beginning October 1, 2022 aims to address challenges in high-dimensional data computation and analytics using tensor representations by exploring memory heterogeneity-aware data...
Carnegie Mellon University was awarded a $465,848 project grant from the National Science Foundation on July 15, 2021 to complete work by June 30, 2024. The grant falls under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically, the grant will fund CMU's "Solving the Parallel Functional Programming Challenge"...
Carnegie Mellon University was awarded a $350,000 project grant from the National Science Foundation for the period of April 1, 2021 through March 31, 2024. The grant was awarded under the NSF's Computer and Information Science and Engineering program, which supports investigator-initiated research and education in all areas of computing, communications, and information science and engineering. Specifically, the grant will fund research into foundations and constructions for securely executing...
Carnegie Mellon University was awarded a $500,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The university will deliver research and education services focused on developing programming language techniques to make Bayesian inference algorithms more usable, accessible and reliable for challenging data science problems. Specifically, the university aims to apply static analysis, type systems...
This $122,000 Project Grant award, funded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop new mathematical tools and techniques for analyzing sampling algorithms used to manipulate and understand complex, high-dimensional probability distributions. The project will focus on three foundational problems in theoretical computer science, with the goal of designing fast, efficient sampling...