Regime Inference for Sound Floating-Point Optimizations. - Robert Rabe; Anastasiia Izycheva; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2021)

Verified Compilation and Optimization of Floating-Point Programs in CakeML. - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (ECOOP, 2022)

Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (Dagstuhl Artifacts Ser., 2022)