Automated Software Integration
George Gamblin | 21-SI-005
Executive Summary
We aim to accelerate component-based software development by creating a machine-solvable, verifiable model to automate the integration of components that enable developers to reuse software, saving them years of effort. If successful, we will expand the limits of software complexity, reduce maintenance and deployment time, and improve realized code performance for exascale computing environments.
Publications, Presentations, and Patents
Gamblin, T., M. Culpo, G. Becker, and S. Shudler. "Using Answer Set Programming for HPC Dependency Solving." In Press, Supercomputing 2022 (SC’22), Dallas, Texas, November 13-18 2022. LLNL-CONF-839332.
Zakaria, F., T. R. W. Scogland, T. Gamblin, and C. Maltzhan. "Mapping Out the HPC Dependency Chaos." In Press, Supercomputing 2022 (SC’22), Dallas, Texas, November 13-18 2022. LLNL-CONF-840119.
Menon, H., K. Parasyris, T. Scogland, and T. Gamblin. "Searching for High-Fidelity Builds Using Active Learning." In Mining Software Repositories Conference (MSR’22), Pittsburgh, PA, May 18-24 2022. LLNL-CONF-831078.
Jeter, T. R., M. J. Bobbitt, and B. L. Rountree. "SpackNVD: A Vulnerability Audit Tool for Spack Packages." In Press, 2022 International Workshop on Performance, Portability & Productivity in HPC (P3HPC). Dallas, TX. November 13, 2022. LLNL-CONF-840117.
