Project Grant 2346327
Award Date
7/1/24
Completion Date
6/30/26
Dollars Obligated
$247K
Funding Federal Agency
Division of Computing and Communication Foundations
Awarding Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Lincoln, NE 68588, USA
Similar Awards
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $485,773 to Boise State University to develop the Adaptable Realistic Benchmark Generator for Verification (ARG-V) infrastructure. The goal is to automate the process of locating, converting, and classifying benchmark programs from open-source repositories for use in software verification competitions. This will help strengthen the ability of...
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,...
The University of Nebraska-Lincoln was awarded a $198,944 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The two-year grant will support the development of domain-specific optimization tactics to enable scalable software verification. Specifically, the university will derive tactics tailored to specific application domains that can...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant award (CFDA 47.070) of $149,999 to Utah State University (USU) aims to advance probabilistic verification tool development for synthetic biology designs. The project will develop a unified and robust probabilistic model checking (PMC) framework with an easy-to-use graphical user interface, and integrate it with existing genetic design automation tools. This will strengthen the...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is providing $400,000 to the University of Delaware to develop tools that help developers easily verify and find defects in scientific software. The project aims to create a modular approach to specifying program components using mathematical abstractions, automated methods to verify program adherence to specifications, and apply these techniques to...
The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $420,000 in funding to the University of California, Davis to develop a workbench for scientists and engineers to address numerical issues in real-world applications. The goal is to build a set of standards, benchmarks, and user interfaces to make existing numerical software tools more interoperable and easier to use together. The project...
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 $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 $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...