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 kernelsHeiko Becker. PhD thesis, Saarland University, Saarbrücken, Germany, 2022. [doi]
- Verified compilation of CakeML to multiple machine-code targetsAnthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar. CPP 2017: 125-137 [doi]