BUILD

LLNL is starting a new strategic initiative called BUILD ("Binary Understanding and Integration Logic for Dependencies"). BUILD aims to

1. study and formally specify ABI and other aspects of software compatibility
2. develop binary analysis techniques to extract compatibility information from arbitrary binaries
3. develop SMT-based methods to quickly find compatible-by-construction combinations of dependencies
4. to optimize constructed component graphs.

The BUILD project will leverage and ultimately contribute its techniques to LLNL’s package manager, Spack. See the [getting started](/build-notes/getting-started/) pages for an overview of how to take notes using this site.