Project Grant 2616791
- The National Science Foundation Division of Information and Intelligent Systems awarded $300,000 to The Regents Of The University Of California (UC Riverside) on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) for research into documentation-guided static analysis of software. The project develops approaches to automatically translate framework documentation into formal specifications and use those specifications to verify whether application...
- The National Science Foundation Division of Information and Intelligent Systems awarded the University of Kentucky Research Foundation $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop documentation-guided static analysis techniques for modern software applications. The project translates informal framework documentation into formal specifications, then uses those specifications to verify whether application code complies...
- The National Science Foundation Division of Computer and Network Systems awarded Louisiana State University $300,912 on April 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop practical methods for securing software systems against quantum computing threats. The project creates a quantitative quantum-readiness index that measures system-level quantum risk, a dependency-aware analysis connecting vulnerable cryptography to surrounding software...
- The National Science Foundation awarded Louisiana State University $274,244 on September 15, 2025, under the STEM Education program (CFDA 47.076) to design, develop, and pilot prototype instructional materials integrating computer science into elementary grades 3–5 core content areas in South Louisiana public and charter schools. The project, TIME4CSFORLOUISIANA, establishes a research-practice partnership among traditional public schools and public charter schools in urban and rural South...
- The National Science Foundation awarded Louisiana State University $302,955 on September 1, 2026, under the Integrative Activities program (CFDA 47.083) to develop a systematic measure of AI-mediated appropriability risk—the extent to which a field's open scientific record, combined with frontier AI capabilities, allows outsiders to predict and potentially preempt near-term research outputs. The project addresses three connected research questions. The team develops a measurement instrument...
- The National Science Foundation Division of Computer and Network Systems awarded Louisiana State University $471,822 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to research and develop methods for measuring, characterizing, and mitigating malicious bot campaigns operated through bot farms. The project develops a longitudinal bot farm measurement framework to collect forensic data on real-world campaigns targeting websites across multiple...
- The National Science Foundation Division of Information and Intelligent Systems awarded Louisiana State University $499,896 under the Computer and Information Science and Engineering program (CFDA 47.070) on September 1, 2026, to develop integrated compiler-runtime systems that coordinate scheduling, memory placement, and communication across heterogeneous high-performance computing architectures. The HELIX project addresses fragmentation in supercomputer software, where diverse processors and...
- The National Science Foundation Division of Mathematical Sciences awarded Louisiana State University $299,847 on August 15, 2026, under the Mathematical and Physical Sciences program (CFDA 47.049) to develop mathematical foundations for machine learning applied to complex stochastic systems. Work performance runs through July 31, 2029, at Baton Rouge, Louisiana. The project addresses learning and inference challenges for systems that evolve over time in the presence of randomness, with...
- The National Science Foundation Division of Information and Intelligent Systems awarded Tulane University $376,008 on June 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to conduct collaborative research on fault localization techniques for deep learning models. The project addresses the gap between traditional software fault localization methods and their applicability to deep neural networks, which operate on fundamentally different computational...
- The National Science Foundation Division of Computer and Network Systems awarded the University of California, Los Angeles $229,687 on March 15, 2026, to develop fully automated, ahead-of-time program analysis techniques for detecting bugs in shell scripts before execution. The project, supported under the Computer and Information Science and Engineering program (CFDA 47.070), draws on methods from programming languages, type systems, and program analysis to catch correctness issues in shell...
The National Science Foundation Division of Information and Intelligent Systems awarded Louisiana State University $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop documentation-guided static analysis approaches for framework compliance verification. The project translates informal framework documentation into formal specifications using targeted retrieval and controlled generation, then applies those specifications to check application code for violations. The research methodology combines framework behavior models with reachability analysis to support witness-based checking, safety violation detection, obligation discharge reasoning, and object-sensitive protocol conformance analysis. The work addresses the challenge that modern software frameworks scatter security and reliability rules across textual descriptions, diagrams, and code examples, leaving violations undetected until they cause crashes, security vulnerabilities, or performance problems. By automating the extraction of rules from documentation and checking compliance at development time, the project aims to improve software reliability, security, and performance while creating tools that adapt as frameworks evolve. Performance occurs in Baton Rouge, Louisiana through September 30, 2029. LSU serves as the prime recipient on this project grant.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $300.0k | 7/30/26 |