Floating-point Profiling of ACTS Using Verrou

Floating-point computations play a central role in scientific computing. Achieving high numerical stability in these computations affects not just correctness, but also computing efficiency, by accelerating the convergence of iterative methods and expanding the available choices of precision. The ACTS project aims at establishing an experiment-agnostic track reconstruction toolkit. It originates from the ATLAS Run2 tracking software and has already received strong adoption by FCC-hh. It is also being evaluated for possible use by the CLICdp and Belle 2 experiments. In this study, Verrou, a Valgrind-based tool for dynamic instrumentation of floating-point computations, was applied to the ACTS codebase for the dual purpose of evaluating its numerical stability and investigating possible avenues for use of reduced-precision arithmetic.