Project Grant 2316161
Award Date
8/1/23
Completion Date
7/31/28
Dollars Obligated
$257K
Funding Federal Agency
Division of Information and Intelligent Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Austin, TX 78712, 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 $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 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...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $439,112 will support a research project to advance practical dynamic program reasoning across language boundaries for multi-language software systems. The project aims to characterize how modern multi-language software is constructed, develop scalable analyses for cross-language dependence reasoning, and create efficient techniques for...
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, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
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 National Science Foundation awarded a $275,000 Project Grant to the University of Texas at Austin under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support the development of program synthesis techniques to help software developers manage schema changes to databases. The project aims to simplify the schema modification process through automated techniques for migrating data between formats and updating code to reflect schema...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $453,903 project grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to bring the reliability and responsiveness advantages of synchronous programming languages, such as Esterel, to general-purpose programming systems. The key objective is to address technical challenges that have limited the broader adoption of these specialized programming languages, which have seen success in safety-critical...