Project Grant 2348490
Award Date
9/15/24
Completion Date
8/31/26
Dollars Obligated
$175K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Portland, OR 97201, USA
Similar Awards
The National Science Foundation awarded Portland State University a $499,838 Project Grant under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for the period of April 1, 2021 through March 31, 2024. The grant funds research to specify and verify secure compilation of C code to tagged hardware. Specifically, the university will conduct investigator-initiated research to develop techniques for formally specifying the semantics of secure compilation and...
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, 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 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 Award (CFDA 47.070) provides $145,557 to The Reed Institute, doing business as Reed College, to improve the verification of probabilistic programs. The project aims to develop novel abstract domains for verifying programs with complex, continuous probability distributions modeled by traditional programming constructs. This work will help improve the safety and reliability of systems...
The National Science Foundation (NSF) awarded a $400,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to the University of Delaware. The 4-year project, titled "CS2: Modular Verification of Scientific Software Using Model Checking, Symbolic Execution, and Abstraction," aims to develop tools that help developers easily find and fix defects in scientific software code. Key products and services to be delivered include: New...
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 $389,494 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support fundamental research at Northeastern University to advance the field of probabilistic programming languages. The key objectives are to: (1) develop new high-level, ergonomic probabilistic programming languages that can compile to low-level, tractable probabilistic models to enable scalable probabilistic inference; (2) create new...
This $600,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 bridge the gap between high-level control theory and low-level implementation details for control systems. The project aims to develop a comprehensive framework for end-to-end verification of control systems, encompassing high-level hybrid models down to the verification of embedded C code. Key focus areas include...
This $174,999 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) project grant was awarded to Monmouth University Inc. to develop a formal verification framework for precisely analyzing relational quantitative properties in software programs that use mutable arrays. The project aims to create better tools for verifying important software qualities like security, privacy, and efficiency by addressing key challenges in existing techniques for...