Ensuring Deterministic Outputs in Distributed Build Systems Through Runtime-Based Verification
Abstract
Distributed build systems are used for building large codebases, which generate many files. These can becompiled more efficiently in parallel. Builds on single machines cannot scale to larger software projects.Spreading compilation across multiple machines can improve performance. However, achieving this consistency and reproducibility for different builds
Fields of Study & Subjects
Formal Methods in Verification
Logic
programming
and type systems
Distributed systems and fault tolerance
Publication details
- Journal / source
- Journal of Computational Analysis and Applications
- Volume
- 35
- Issue
- 1
- Publication date
- 1 January 2026