Project Grant 2446130
Award Date
6/1/25
Completion Date
5/31/29
Dollars Obligated
$400K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Newark, DE 19716, 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 $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 $366,160 Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CFDA 47.070) program aims to develop practical formal methods for verifying the correctness of numerical algorithms and hardware used in scientific computing and data-enabled discoveries. The key products and services to be delivered include: Novel formal methods to capture the correctness expectations of numerical algorithm designers as formal requirements. Formal models...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) will fund a $1,200,000 project to develop practical, systematic fuzzing tools that enhance the security of scientific software. The 3-year project, led by the University of Utah, aims to address vulnerabilities in complex, multi-language scientific software by introducing (1) performant cross-language instrumentation, (2) automated...
This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
The National Science Foundation (NSF) awarded a $339,977 Project Grant to the University of California, Santa Cruz (UCSC) for the "COLLABORATIVE RESEARCH: SHF: SMALL: RUI: KEYSTONE: MODULAR CONCURRENT SOFTWARE VERIFICATION" project under the NSF's Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 3-year project aims to advance the field of multi-threaded software verification by developing new specification techniques and verification tools. The key...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund research to develop a formal verification framework for precisely analyzing relational quantitative properties in software programs that utilize mutable arrays. The $174,999 award to Monmouth University Inc. will address limitations in existing verification techniques, enabling more detailed and accurate assessment of software...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
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,...