Project Grant 2422127
Award Date
9/1/24
Completion Date
8/31/27
Dollars Obligated
$640K
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
Ames, IA 50011, USA
Similar Awards
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 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award to Iowa State University of Science and Technology provides $420,000 in funding over a 3-year period from May 2025 to April 2028. The project aims to develop a framework that can automatically rewrite programs to run more efficiently on modern high-performance computing (HPC) systems. Key objectives include employing advanced machine learning techniques, such...
This $620,000 Project Grant awarded by the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop an end-to-end toolchain for verifying the correctness of concurrent C programs. The project will extend the Verified Software Toolchain (VST) to support concurrent C programs, including those using the latest high-performance concurrency features introduced in the C11 standard. This will involve integrating the RefineC...
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 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 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $500,000 over 4 years to the University of California, Los Angeles (UCLA) to develop a verifiable quantum compiler that integrates formal methods with quantum computing. The project aims to advance fault-tolerant quantum computing by automating the generation of fault-tolerant quantum programs and ensuring their accuracy...
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 $406,143 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) grant award to Northeastern University focuses on developing novel methodologies to improve the reliability and assurance of distributed computing systems. The project aims to create composable semantic models that can capture a variety of weakly consistent distributed system behaviors and enable scalable formal verification of complex, large-scale distributed systems. Key...
This Project Grant award, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), aims to enable practical dynamic program reasoning across language boundaries for improving the quality of multi-language software systems. The $439,112 award to The Research Foundation For The State University Of New York will fund research to characterize multi-language code-construction mechanisms, develop scalable cross-language...
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 support the development of a verifiable quantum compiler that integrates formal methods to enable fault-tolerant quantum computing. The $500,000 award, with a period of performance from September 1, 2024 to August 31, 2028, will fund research to optimize the translation of quantum algorithms into fault-tolerant...