Rabe, R., Izycheva, A., & Darulova, E. (2021). Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems, 20(5s): 81, pp. 1-23. doi:10.1145/3477012.