Project Grant 2446083
Award Date
4/15/25
Completion Date
3/31/29
Dollars Obligated
$366K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Rochester, NY 14611, USA
Similar Awards
This $375,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers and formal models for non-standard hardware. The project aims to carry out end-to-end correctness verification to help establish that the formal models of the underlying hardware meet the numerical algorithm...
The National Science Foundation awarded a $301,689 project grant to the University of Rochester under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will fund research from September 2021 through August 2024 related to the design, programming, and prototyping of programmable hierarchical caches to support investigator-initiated research and education in computing, communications, and information science and engineering. The grant aims to advance the...
This $377,694 Project Grant awarded by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of innovative lightweight simulation techniques to enable faster design and optimization of next-generation, large-scale computing systems. The University of Rochester is leading this collaborative research project, which introduces behavior modeling, sampled simulations, and data-driven simulation approaches to...
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...
This federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $212,983 to the Rochester Institute of Technology (RIT) over a 3-year period from October 2024 to September 2027. The award supports the development and dissemination of self-contained interactive Jupyter notebook exercises that introduce formal methods concepts to students across various STEM disciplines, including computer science,...
This federal Project Grant award of $550,000 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to advance the scalability and usability of formal verification techniques for computer architectures. The key objectives are: Developing architecture-driven abstractions, component interfaces, and invariants to enable modular functional verification of complex processors. Leveraging architectural insights to...
The National Science Foundation awarded Princeton University $1,118,988 under the Computer and Information Science and Engineering program (CFDA 47.070) for a three-year project grant titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: FORMALLY VERIFIED NUMERICAL METHODS." The grant aims to advance the development of formally verified numerical methods through a layered approach integrating reasoning about numerical software correctness and accuracy from mathematics to software code....
Cornell University was awarded a $381,012 Project Grant from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support research to formally verify the correctness and accuracy of numerical software used in applications such as planetary modeling, self-driving vehicles, rocketry, wireless technology, and medicine. The researchers will take a layered...
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 $281,635 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund research at the University of Rochester to develop a novel paradigm for model-driven data cleaning. The project aims to introduce theoretically rigorous model-aware data quality constraints and create an extensible suite of data acquisition and coreset construction techniques that jointly optimize data quality and model...