Project Grant 2422128
Award Date
9/1/24
Completion Date
8/31/27
Dollars Obligated
$360K
Funding Federal Agency
Division of Computer and Network Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Chicago, IL 60612, USA
Similar Awards
This Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is intended to improve the reliability and performance of parallelizing compilers used in modern scientific computing. The $640,000 award to Iowa State University of Science and Technology will fund research to develop automated verification tools that can check if translated parallel code maintains the same functionality as the original sequential...
This federal Project Grant award of $620,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop tools for mathematically proving the correctness of concurrent C programs. The project will extend the Verified Software Toolchain (VST) to support semi-automatic end-to-end verification of concurrent C programs, including those using the latest high-performance concurrency features. This will help ensure more...
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,...
This Project Grant award in the amount of $750,000 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The award will fund a research project titled "Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing" at the Regents of the University of Michigan. The key products and services to be delivered under this award...
The National Science Foundation awarded Northwestern University a $600,000 project grant under the Computer and Information Science and Engineering program (CFDA 47.070) for collaborative research on automatic parallelization of medium-scale applications from October 1, 2021 to September 30, 2025. The university will work with other institutions to develop techniques for automatically parallelizing applications involving tens to hundreds of thousands of lines of code, to make them efficiently...
This $207,470 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development and evaluation of a novel parallel computing architecture to address "irregular parallelism" in applications. The University of Maryland, College Park is the prime awardee and will design and simulate an integrated accelerator that enables low-overhead nested spawning of threads to efficiently process...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
This federal Project Grant award, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, aims to develop a framework for automatically rewriting programs to run more efficiently on modern high-performance computing (HPC) systems. The $420,000 award to Iowa State University of Science and Technology will fund research to gain a deeper understanding of complex programs using advanced machine learning techniques,...
The National Science Foundation (NSF) awarded a $366,160 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) program to the University of Rochester. The grant will fund a collaborative research project titled "CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War" from April 2025 through March 2029. The project aims to develop practical formal methods for capturing the correctness expectations of numerical...
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...