The National Science Foundation (NSF) has awarded a $533,995 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Iowa State University of Science and Technology (Iowa State University). The 4-year grant, spanning from October 1, 2023 to September 30, 2027, aims to improve the performance, robustness, generalizability, and efficiency of deep learning models for critical software assurance tasks such as bug detection, debugging, test input generation, and test suite prioritization. The researchers will focus on encoding program semantics into deep learning models by combining program analysis, software engineering, and deep learning expertise. Key research thrusts include: 1) learning with abstract semantics by combining static analysis algorithms with deep learning, 2) learning with concrete semantics using program execution traces, and 3) identifying and mitigating the use of spurious features by deep learning models through causal learning approaches. The research results, datasets, and tools will be disseminated to the broader research community through workshops and other channels.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $534.0k | 6/23/23 |