Project Grant 2312195
Award Date 10/1/23
Completion Date 9/30/26
Dollars Obligated $800K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Seattle, WA 98195, USA
Similar Awards
- The National Science Foundation awarded a $1,999,107 Project Grant to the University of Washington under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund the development of an open-source ecosystem around the Equality Saturation tool EGG to unify advances in program analysis and transformation techniques. Key activities include implementing novel algorithms for more efficiently applying rewrite rules to programs, supporting...
- Federal Grant Award Summary The University of Washington received a $601,001 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective May 1, 2026 through April 30, 2030. The award funds development of machine-checked, formally verified meshing algorithms that decompose geometric models into triangles or tetrahedra for computational simulations. The...
- This $290,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (MPS) program supports research in computable model theory and invariant descriptive computability theory. The award, spanning July 2024 to June 2027, will fund work that explores connections between computability theory and the fields of model theory and set theory within mathematical logic. Key objectives include investigating cases where mathematically equivalent objects have...
- This federal Project Grant award, totaling $300,000.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant supports a collaborative research project that aims to develop new semantic metrics to measure code complexity and guide software developers in writing more comprehensible code. The key objectives are to: (1) validate the correlation between code verifiability and human comprehension, (2)...
- 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...
- Federal Project Grant Award Summary The University of Washington received a $500,000 project grant from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective October 1, 2025, through September 30, 2028. This project develops novel cardinality estimation techniques using information theory to optimize resource provisioning and query execution in database management...
- This Project Grant award, valued at $600,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award, with a performance period from January 1, 2026 to December 31, 2028, is supporting research by the Regents of the University of Michigan in the areas of extremal combinatorics and the analysis of algorithms. The primary goals are to solve basic classification questions in the theory of...
- This Project Grant award from the National Science Foundation (NSF)'s Computer and Information Science and Engineering (CISE) program totaling $174,966 will support research to develop techniques for embedding and reasoning about existing computer programs using formal verification methods. The project aims to create tools that translate C code to mixed embeddings enabling equational reasoning, generalize mixed embeddings to support programs written in both C and Haskell, and explore...
- This $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...
- Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded $321,874 to The Research Foundation for The State University of New York (RF SUNY), doing business as SUNY at Binghamton, under the Computer and Information Science and Engineering (CFDA 47.070) program on June 15, 2025. This Small Project Grant supports research to optimize the runtime efficiency of symbolic execution engines for functional programming languages through June 31,...