@doctoralThesis{Becker_2022,
title={Verified compilation and optimization of floating-point kernels},
author={Becker, Heiko},
doi={http://dx.doi.org/10.22028/D291-38688},
year={2022}
}