Heiko Becker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ECOOP | 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 |
| 2022 | ITP | Dandelion: Certified Approximations of Elementary Functions. | Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin |
| 2021 | CPP | Lassie: HOL4 tactics by example. | Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar |
| 2019 | CAV | Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. | Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock |
| 2019 | FM | Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. | Joachim Bard, Heiko Becker, Eva Darulova |
| 2018 | FM | Combining Tools for Optimization and Analysis of Floating-Point Computations. | Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
| 2018 | FMCAD | A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. | Heiko Becker, Nikita Zyuzin, Raphal Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox |
| 2018 | TACAS | Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). | Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian |
| 2017 | CADE | A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. | Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
| 2016 | MSR | Comparing repositories visually with repograms. | Daniel Rozenberg, Ivan Beschastnikh, Fabian Kosmale, Valerie Poser, Heiko Becker, Marc Palyart, Gail C. Murphy |