Comparing repositories visually with repograms. - Daniel Rozenberg; Ivan Beschastnikh; Fabian Kosmale; Valerie Poser; Heiko Becker; Marc Palyart; Gail C. Murphy (MSR, 2016)

Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms. - Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand (Arch. Formal Proofs, 2016)

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. - Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand (CADE, 2017)

A Verified Certificate Checker for Floating-Point Error Bounds. - Heiko Becker; Eva Darulova; Magnus O. Myreen (CoRR, 2017)

Combining Tools for Optimization and Analysis of Floating-Point Computations. - Heiko Becker; Pavel Panchekha; Eva Darulova; Zachary Tatlock (FM, 2018)

A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. - Heiko Becker; Nikita Zyuzin; Raphaël Monat; Eva Darulova; Magnus O. Myreen; Anthony C. J. Fox (FMCAD, 2018)

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). - Eva Darulova; Anastasiia Izycheva; Fariha Nasir; Fabian Ritter 002; Heiko Becker; Robert Bastian (TACAS (1), 2018)

Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. - Heiko Becker; Eva Darulova; Magnus O. Myreen; Zachary Tatlock (CAV (2), 2019)

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. - Joachim Bard; Heiko Becker; Eva Darulova (FM, 2019)

Lassie: HOL4 tactics by example. - Heiko Becker; Nathaniel Bos; Ivan Gavran; Eva Darulova; Rupak Majumdar (CPP, 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)

Dandelion: Certified Approximations of Elementary Functions. - Heiko Becker; Mohit Tekriwal; Eva Darulova; Anastasia Volkova; Jean-Baptiste Jeannin (ITP, 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)

Verified compilation and optimization of floating-point kernels. - Heiko Becker (2022)