Heiko Becker

17 papers A 3B 5Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2022 B conf
Dandelion: Certified Approximations of Elementary Functions.
ITP
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Dandelion: Certified Approximations of Elementary Functions.
CoRR
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).
Dagstuhl Artifacts Ser.
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
2022 A conf
Verified Compilation and Optimization of Floating-Point Programs in CakeML.
ECOOP
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
2022 — —
Verified compilation and optimization of floating-point kernels.
Heiko Becker
2021 J jnl
Lassie: HOL4 Tactics by Example.
CoRR
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2021 B conf
Lassie: HOL4 tactics by example.
CPP
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2019 B conf
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.
FM
Joachim Bard, Heiko Becker, Eva Darulova
2019 — conf
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.
CAV (2)
Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
2018 B conf
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.
FMCAD
Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox
2018 B conf
Combining Tools for Optimization and Analysis of Floating-Point Computations.
FM
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
2018 J jnl
Combining Tools for Optimization and Analysis of Floating-Point Computations.
CoRR
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
2018 — conf
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).
TACAS (1)
Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
2017 A conf
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.
CADE
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
2017 J jnl
A Verified Certificate Checker for Floating-Point Error Bounds.
CoRR
Heiko Becker, Eva Darulova, Magnus O. Myreen
2016 A conf
Comparing repositories visually with repograms.
MSR
Daniel Rozenberg, Ivan Beschastnikh, Fabian Kosmale, Valerie Poser, Heiko Becker, Marc Palyart, Gail C. Murphy
2016 J jnl
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms.
Arch. Formal Proofs
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand