Project Grant 2529911

Award Date 10/1/24
Completion Date 7/31/28
Dollars Obligated $1.2M
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pullman, WA 99164, USA
Similar Awards
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,...
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 $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 $600,000 federal Project Grant award was issued by the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CFDA 47.070) program. The purpose of the grant is to lay the foundations for building tools that will enable data scientists to more effectively manage and process large datasets for machine learning applications. The key focus is extending relational database technology with the ability to...
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...
The National Science Foundation awarded Washington State University a $300,153 project grant under the Geosciences program (CFDA 47.050) for the period of August 1, 2021 through July 31, 2024. The grant will support the collaborative research project "CORRELATED VELOCITY MODELS AS DYNAMIC UPSCALING AND MODEL TRANSLATION TOOLS FOR WATERSHED-SCALE HYDROBIOGEOCHEMICAL CYCLING" to be conducted in Pullman, Washington. The Geosciences program seeks to strengthen understanding of Earth's...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $500,000 in funding to the University of Washington to develop novel techniques for estimating the amount of data produced by computer programs. The goal is to help modern computer programs better provision resources and avoid waste, while ensuring successful program execution. The project will build a "pessimistic"...
This $550,000 award from the National Science Foundation's (NSF) Technology, Innovation, and Partnerships (CFDA 47.084) program supports the development of a hybrid, scalable data management system to improve access to scientific knowledge in data science. The project aims to create an intelligent, user-friendly interface that can extract, organize, and provide deep access to relevant concepts from peer-reviewed scientific literature. Key objectives include: Building a comprehensive knowledge...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund the development of a general-purpose static analysis framework named WAF (WebAssembly Analysis Framework) to enable a broad spectrum of static analyses for the WebAssembly programming language. The framework will be built on three key intermediate representations (IRs) - WAF-Low, WAF-Mid, and WAF-High - to model WebAssembly...
This $400,000 National Science Foundation Project Grant, awarded under the Mathematical and Physical Sciences program (CFDA 47.049), will support the development of statistical methods and machine learning techniques for analyzing complex structured and count data. Over a three-year period ending in August 2025, the University of Washington will advance the state of knowledge in big structured and count data analysis through two tracks of research. The first track will focus on revising and...

This Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports a collaborative research project titled "A Full-Stack Approach to Declarative Analytics at Scale". The $1,164,216 award to Washington State University (WSU) will investigate methodologies for scaling up expressive declarative programming systems to enable high-performance reasoning and analytics on next-generation supercomputers and cloud-based clusters. The project aims to develop open-source tools, programming languages, and frameworks capable of enabling truly scalable reasoning across disciplines such as precision medicine, stochastic modeling, software verification, graph analytics, and security. The award period runs from October 1, 2024 to July 31, 2028. No subawards are planned under this grant.

Generated 7/15/25, 9:30 AM