Heiko Becker

According to our database, Heiko Becker authored at least 14 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verified compilation and optimization of floating-point kernels.

Heiko Becker

PhD thesis, 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

Dandelion: Certified Approximations of Elementary Functions.

Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

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

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Lassie: HOL4 tactics by example.

Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.

Joachim Bard, Heiko Becker, Eva Darulova

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.

Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).

Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Combining Tools for Optimization and Analysis of Floating-Point Computations.

Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

A Verified Certificate Checker for Floating-Point Error Bounds.

Heiko Becker, Eva Darulova, Magnus O. Myreen

CoRR, 2017

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.

Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Proceedings of the Automated Deduction - CADE 26, 2017

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

Comparing repositories visually with repograms.

Daniel Rozenberg, Ivan Beschastnikh, Fabian Kosmale, Valerie Poser, Heiko Becker, Marc Palyart, Gail C. Murphy

Proceedings of the 13th International Conference on Mining Software Repositories, 2016