Project Grant 2402449
Award Date 5/1/24
Completion Date 4/30/27
Dollars Obligated $1M
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Philadelphia, PA 19104, USA
Similar Awards
- 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 $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 $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 key objectives are to: (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 $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
- The National Science Foundation (NSF) awarded a $448,410 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. The grant aims to address key challenges in unit testing for software engineering, including knowledge gaps in mocking best practices and the high level of expertise required to effectively use mocking frameworks. The research team will: 1) conduct an empirical study...
- This $262,754 federal Project Grant award was made by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to The Pennsylvania State University, doing business as Penn State. The grant aims to evaluate practical defense mechanisms against memory errors and attacks, with a focus on techniques to improve the robustness of existing software defense systems. Key research activities include investigating approaches to identify...
- The National Science Foundation (NSF) awarded the University of Connecticut (UConn) a $101,190 Project Grant under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The objective of this 6-month grant, with a period of performance from November 15, 2023 to May 31, 2024, is to create a novel architecture-modeling framework that bridges the gap between software architecture and software testing. The project will develop three key components: 1) a...
- The National Science Foundation (NSF) awarded a 5-year, $119,764 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Trustees of the University of Pennsylvania on June 1, 2025. The grant aims to develop formal specifications, verification frameworks, and certified artificial intelligence (AI) systems that can provide trustworthy and explainable reasoning behind model predictions. The project's key objectives are to bridge the gap between formal...
- Purdue University was awarded a $599,999 Project Grant from the National Science Foundation's Division of Computer and Network Systems under the Computer and Information Science and Engineering (CFDA #47.070) program. The funding will support research to develop techniques for testing and detecting software upgrade failures in data-intensive distributed systems, which are critical components of many cloud-based computing services. Key objectives include implementing differential testing...
- The National Science Foundation (NSF) awarded a $134,150 Project Grant under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program to The Trustees of the University of Pennsylvania, doing business as the Clinical Practices of the University of Pennsylvania. The grant, awarded on March 15, 2025, supports the investigator's research into developing and analyzing nonconvex optimization algorithms for statistical estimation and machine learning applications. The overarching goal...