Project Grant 2313024
Award Date
7/1/23
Completion Date
6/30/26
Dollars Obligated
$267K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Seattle, WA 98195, USA
Similar Awards
This $533,000 Project Grant, awarded by the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering (CFDA 47.070) program, supports collaborative research by the Massachusetts Institute of Technology (MIT) to develop end-to-end formal verification techniques for hardware accelerators, specifically tensor processing units (TPUs). The key objectives are to dramatically reduce the costs of developing and iterating on...
This Project Grant award of $450,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop novel approaches to electronic design automation (EDA) for creating high-performance and efficient computer hardware. The research introduces a strategy that combines formal techniques with learning-based optimization to enable differentiable hardware synthesis, particularly suited for heterogeneous computing. This new...
This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
This $375,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of practical formal methods and models to address two key challenges facing numerical computing: (1) increasingly complex problems leading to solver failures, and (2) emerging hardware architectures with suboptimal numerical precision. The primary goals are to: (1) create formal requirements to capture the...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop an efficient compilation and synthesis flow for translating high-level programs into domain-specific reconfigurable heterogeneous acceleration systems. The $127,484 award to the University of California, Irvine will fund research to create a framework that combines hardened digital accelerators, reconfigurable digital logic, and...
This $125,000 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA #47.070) supports research at the University of California, Merced on developing optimized sparse tensor network algorithms and specialized accelerator architectures. The one-year award beginning October 1, 2022 aims to address challenges in high-dimensional data computation and analytics using tensor representations by exploring memory heterogeneity-aware data...
The National Science Foundation awarded a $1.2 million project grant to the University of Washington under the Computer and Information Science and Engineering program (CFDA 47.070) to support research titled "FET: MEDIUM: A HYBRID CO-PROCESSING UNIT (HCU) USING PHASE-CHANGE PHOTONICS IN CMOS FOR LARGE-SCALE AND ULTRA-FAST MACHINE LEARNING ACCELERATION" from July 2021 through June 2025. The grant funds research to develop a hybrid co-processing unit using phase-change photonics...
This $900,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) will fund research at Virginia Polytechnic Institute & State University to develop a comprehensive framework for efficient, scalable, and performance-portable tensor applications. The five-year award beginning July 2022 aims to address challenges in sustaining improved computing performance and developer productivity as hardware customization increases due...
This federal Project Grant from the National Science Foundation's Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $549,999 to Arizona State University to develop automated methods for near-hardware run-time optimization, bug repair, and program synthesis. Specifically, the university will adapt higher-level automated program improvement techniques to optimize general-purpose GPU code runtimes,...
This three-year National Science Foundation project grant of $546,610 will fund the development of static verification tools to improve the accessibility, correctness, and performance of graphics processing unit (GPU) programming. Awarded on June 1, 2022 to the University of Massachusetts Boston under the Computer and Information Science and Engineering program (CFDA 47.070), the project aims to advance the state of the art in static verification for GPUs and other accelerator architectures. Key...