The following publications are possibly variants of this publication:
- Verified Compilation and Optimization of Floating-Point Programs in CakeMLHeiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox. ECOOP 2022: [doi]
- 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. darts, 8(2), 2022. [doi]