Project Grant 2316158
Award Date
8/1/23
Completion Date
7/31/28
Dollars Obligated
$269K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Columbus, OH 43210, USA
Similar Awards
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) 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 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) provides $1,164,216.00 to Washington State University (WSU) to develop a unified, full-stack foundation for highly expressive chain-forward programming that can be deployed at scale. The project investigates methodologies for implementing declarative programming systems that can effectively bridge the gap between high-level human specifications and high-performance...
The National Science Foundation (NSF) awarded a $582,269 project grant to Syracuse University, a private university in Syracuse, New York, under the Computer and Information Science and Engineering (CFDA 47.070) program. The 5-year grant, awarded on August 1, 2023, supports the development of a "full-stack approach to declarative analytics at scale." The research investigates methodologies for implementing expressive programming systems that can effectively bridge the gap between...
The Ohio State University was awarded a $900,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) to develop performance-engineered versions of seismic simulation and fast Fourier transform applications. The University will optimize communication in these high-performance computing applications through co-design of the MVAPICH2 communication library and TAU profiling tool. Researchers aim to...
The Ohio State University received a three-year, $375,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support collaborative research on developing accountable software systems for safety-critical applications from October 2021 through September 2024. The Computer and Information Science and Engineering program aims to advance computing research and education, as well as development of...
This $389,494 Project Grant awarded by the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) to Northeastern University supports research to develop new high-level probabilistic programming languages (PPLs) that can be efficiently compiled to low-level tractable probabilistic models. The goal is to bridge the gap between expressive, ergonomic PPLs and scalable inference capabilities, enabling new applications in software verification and artificial...
This $875,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is developing a probabilistic programming framework for modeling hybrid systems that combine continuous state evolution and discrete state changes. The project is applying this framework to domains such as epidemiology, medical devices, and autonomous systems, with the goal of enabling rigorous model-based decision-making. Key project...
The National Science Foundation awarded The Ohio State University a $600,000 Project Grant under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund development of an open-source GPU-accelerated software tool for topological data analysis applications from August 1, 2023 through July 31, 2026. Specific objectives include designing enhanced algorithms to efficiently parallelize computations and minimize data movement; enabling the...
This $597,201 federal Project Grant awarded on June 1, 2024 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of a novel programming language ecosystem for higher-order software contracts. The project aims to investigate the design, theory, implementation, and practice of a contract-centric ecosystem that can help developers better visualize, debug, and understand the interactions between software...