Project Grant 2437952
Award Date
6/15/25
Completion Date
5/31/28
Dollars Obligated
$322K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Binghamton, NY 13902, USA
Similar Awards
This Project Grant award, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), will support research and development initiatives to accelerate symbolic execution, a type of program execution that maintains a description of each variable's value rather than the actual value. The $599,888 award to Duke University will enable innovations to reduce the cost and expand the applications of symbolic execution, with a focus on...
This National Science Foundation Project Grant of $1,199,992 will support the development of Scenario-Specific Symbolic Execution (S3E), a customizable symbolic execution framework, at Arizona State University from May 1, 2023 through April 30, 2027. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in all areas of computing, communications, and information science 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 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 $439,112 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program aims to advance the state of knowledge in software quality assurance for multi-language software systems. The key technical objectives are to: 1) characterize multi-language code construction mechanisms and their effects on software behavior and quality, 2) develop practical and scalable analyses for cross-language dependence reasoning, 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 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 $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 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 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 $143,139 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant award supports the development of an automated framework called REPSON for reproducing system-level concurrency bugs by analyzing bug reports. The project aims to address the challenges of manually reproducing these types of elusive software bugs, which require knowledge of specific system call interleavings. The framework will employ natural language processing, data...