Project Grant 2316160

Award Date 8/1/23
Completion Date 7/31/28
Dollars Obligated $280K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pullman, WA 99164, USA
Similar Awards
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) grant, with the official CFDA program title 47.070, provides $1,164,216 in funding to Washington State University (WSU) from October 2024 through July 2028. The grant supports the development of a "full-stack approach to declarative analytics at scale," investigating methodologies for implementing expressive programming systems that bridge the gap between high-level specifications and...
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...
The National Science Foundation (NSF) awarded a $269,310 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Ohio State University to develop a unified, tunable full-stack foundation for highly expressive chain-forward programming that can be deployed at scale. The 5-year project, which commenced on August 1, 2023, aims to advance declarative reasoning capabilities by scaling to structured, higher-order, and probabilistic formulations, as well as...
This $389,494 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support fundamental research at Northeastern University to advance the field of probabilistic programming languages. The key objectives are to: (1) develop new high-level, ergonomic probabilistic programming languages that can compile to low-level, tractable probabilistic models to enable scalable probabilistic inference; (2) create new...
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...
This National Science Foundation project grant of $549,790 will fund the development of a full-system computing stack to support sparse computations through September 2027. Under the Computer and Information Science and Engineering program (CFDA 47.070), researchers at Washington University in University City, Missouri will create domain-specific languages, an integrated compiler and scheduler, specialized hardware architectures and high-performance computing systems. Their work aims to...
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...
This $453,903 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to bring the reliability and responsiveness benefits of synchronous programming languages, like Esterel, to general-purpose programming systems. The project aims to overcome technical challenges that limit the adoption of these languages by developing new compiler and tool-chain implementations that allow reuse of...
The National Science Foundation (NSF) awarded a $127,484 Project Grant under the CFDA 47.070 Computer and Information Science and Engineering program to the University of California, Irvine. The grant, awarded on January 15, 2025, aims to develop an efficient compilation and synthesis flow that can translate high-level programs, such as Python, into optimized domain-specific reconfigurable heterogeneous acceleration systems. The key innovations include creating a heterogeneous acceleration...
The National Science Foundation (NSF) awarded a 4-year, $252,007 Project Grant under the Engineering (CFDA 47.041) program to Northeastern University. The grant supports the development and testing of AI-based programming tools to assist social and natural scientists with computer programming tasks. The research team is developing large language models and associated tools to support programming languages commonly used in the sciences, such as MATLAB and R, in order to make programming easier...

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, higher-order, and probabilistic formulations and enable scalable reasoning capabilities for applications in precision medicine, stochastic modeling, software verification, graph analytics, and security. The university is creating open-source tools, programming languages, and frameworks to address the challenges of managing parallelism, heterogeneity, GPUs, memory hierarchies, and performance tuning in next-generation exascale computing systems.

Generated 4/30/24, 1:43 AM