Project Grant 2232339
Award Date
6/15/23
Completion Date
5/31/26
Dollars Obligated
$2M
Funding Federal Agency
Division of Computing and Communication Foundations
Awarding Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Seattle, WA 98195, USA
Similar Awards
This $800,000 Project Grant was awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program on October 1, 2023. The grant funding will support research at the University of Washington to develop a new framework for checking expression equivalence using a technique called "equality saturation." This capability is expected to improve optimization in compilers, query optimizers, theorem provers, and other computer science applications...
The University of Washington was awarded a $500,000 Project Grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award will support the University's efforts to evolve the Defects4J benchmark and infrastructure to enable sustained innovation and reproducibility in software engineering research. Specifically, the University will work to enhance Defects4J, an...
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 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $1,164,216 to Washington State University to investigate full-stack implementation methodologies for expressive programming systems. The goal is to effectively bridge the gap between human-level specification and high-performance implementation of complex reasoning tasks at scale. The project aims to scale declarative reasoning to...
The University of Washington was awarded a two-year, $165,949 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support collaborative research on natural language (variety) processing from October 1, 2021 to September 30, 2023. The Computer and Information Science and Engineering program aims to advance computing and communication sciences and technologies through...
The National Science Foundation (NSF) awarded a $249,998 Project Grant under the Computer and Information Science and Engineering program (CFDA 47.070) to the University of Georgia Research Foundation, Inc. The grant supports research and development of the "EASER" paradigm - a framework for dealing with extreme heterogeneity in high-performance computing systems. Key components include: 1) compiler-driven performance prediction models, 2) an integrated job scheduling and...
The National Science Foundation awarded a $581,783 Project Grant to the University of Washington under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) to support research titled "CAREER: NEW APPROACHES TO MANAGING LIFECYCLES OF DIGITAL KNOWLEDGE COMMONS" from April 1, 2021 through March 31, 2026. The grant funding will support the University of Washington's investigation into new techniques for managing the lifecycles of digital materials shared...
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 University of Washington was awarded a three-year, $599,995 Project Grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research titled "COLLABORATIVE RESEARCH: CNS CORE: MEDIUM: RECONFIGURABLE KERNEL DATAPATHS WITH ADAPTIVE OPTIMIZATIONS" to be conducted between October 1, 2021 and September 30, 2024. Specifically, the University will investigate...
The National Science Foundation awarded a $499,945 project grant to the University of Washington from October 1, 2021 to September 30, 2024 under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research investigating lower bounds on the complexity of concrete computational problems. The Computer and Information Science and Engineering program aims to advance computing and communication sciences and engineering. This award furthers that goal by...