Automated Software Integration

George Todd 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. 2021a. “Reusing dependencies across ecosystems: what stands in the way?” Free and Open Source Software Developers' European Meeting (FOSDEM’21), Virtual Event, 6-7 February 2021. LLNL-PRES-827299.

Gamblin, T. 2021b. “How Can Package Managers Handle ABI (In)compatibility in C++?” CppCon 2021. Aurora, Colorado. 24-29 October 2021.

Gamblin, T. 2021c. “Beyond version solving: implementing general package solvers with Answer Set Programming.” PackagingCon 2021. Virtual Event, 9-10 November 2021.

Pinckney, D. 2021. “MinNPM: Customizable Optimizing Dependency Resolution.” PackagingCon 2021. Virtual Event, 9-10 November 2021.