Project Grant 2204986
Award Date
6/1/22
Completion Date
5/31/25
Dollars Obligated
$547K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02125, USA
Similar Awards
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 Project Grant award, valued at $613,400.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program. The award, with a performance period from July 1, 2024 to June 30, 2027, supports research by the Massachusetts Institute of Technology (MIT) to leverage graphics processing units (GPUs) to improve the speed, efficiency, and scalability of geometric data processing. The key research focus areas...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) is developing new tools and techniques to help developers easily verify and validate the correctness of scientific software programs. The $400,000 award to the University of Delaware, with a project period from June 1, 2025 to May 31, 2029, focuses on creating a modular verification approach using model checking, symbolic execution, and...
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 $281,385 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of advanced software developer tools to enable the use of heterogeneous computing hardware, including graphics processing units (GPUs), field programmable gate arrays (FPGAs), and application-specific integrated circuits (ASICs). The goal is to lower the barriers for software engineers with varying levels...
The National Science Foundation Division of Computing and Communication Foundations awarded Michigan Technological University a $190,397 Project Grant under the Computer and Information Science and Engineering program (CFDA 47.070) on May 15, 2021. The grant supports research into GPU-accelerated finite state machine computations with advanced speculation techniques. The award funds the development of speculative parallel algorithms and hardware designs to improve the performance and...
This $600,000 National Science Foundation project grant supports the development of a generalized framework for responsive static analysis to verify software correctness. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), this three-year award to the University of Colorado Boulder aims to advance abstract interpretation techniques. Researchers will develop novel algorithms enabling abstract interpretation to run more quickly for common use cases while...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $600,000 to New Mexico State University (NMSU) will develop a scalable and accurate simulation framework for multi-GPU (graphics processing unit) systems as part of the Structural Simulation Toolkit (SST). The project aims to enable computational scientists and system designers to estimate performance gains and overheads of accelerating applications on GPU...
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...
This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...