Project Grant 2223825
Award Date 10/1/22
Completion Date 9/30/25
Dollars Obligated $600K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Boulder, CO 80303, USA
Similar Awards
- This three-year project grant from the National Science Foundation's Computer and Information Science and Engineering program provides $600,000 to develop a generalized framework for responsive static analysis. The awardee, the Regents of the University of California at Riverside, will build on recent work in demanded abstract interpretation to extend the framework's capabilities to handle compositional and refinement-based analysis. These enhancements will facilitate provable guarantees of...
- 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 $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund the development of a general-purpose static analysis framework named WAF (WebAssembly Analysis Framework) to enable a broad spectrum of static analyses for the WebAssembly programming language. The framework will be built on three key intermediate representations (IRs) - WAF-Low, WAF-Mid, and WAF-High - to model WebAssembly...
- The National Science Foundation Division of Computing and Communication Foundations awarded a $600,000 Project Grant to the New Jersey Institute of Technology from October 1, 2021 to September 30, 2025. The grant supports research titled "COLLABORATIVE RESEARCH: SHF: MEDIUM: PRECISE STATIC ANALYSIS OF EVENT-BASED SYSTEMS" under the Computer and Information Science and Engineering program (CFDA 47.070). This program aims to advance computing, communications, and information science...
- The National Science Foundation (NSF) awarded a $300,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) federal grant program to Carnegie Mellon University (CMU). The grant funds a 3-year research project focused on developing logical and semantic foundations for compositional assurance reasoning about the safety, reliability, and security of software systems when heterogeneous analysis methods are applied. The project aims to create reasoning principles...
- The Regents of the University of California at Riverside received a $600,000 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations. The award will support research from October 1, 2021 to September 30, 2025 under the Computer and Information Science and Engineering program (CFDA #47.070). The grant funds collaborative research on precise static analysis of event-based systems. The Computer and Information Science and Engineering program aims...
- This three-year National Science Foundation project grant of $546,610 will fund the development of static verification tools to improve the accessibility, correctness, and performance of graphics processing unit (GPU) programming. Awarded on June 1, 2022 to the University of Massachusetts Boston under the Computer and Information Science and Engineering program (CFDA 47.070), the project aims to advance the state of the art in static verification for GPUs and other accelerator architectures. Key...
- 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 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,...
- 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...