Volgen
Heiko Becker
Heiko Becker
itemis AG
Geverifieerd e-mailadres voor itemis.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Daisy-framework for analysis and optimization of numerical programs (tool paper)
E Darulova, A Izycheva, F Nasir, F Ritter, H Becker, R Bastian
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
742018
A transfinite Knuth–Bendix order for lambda-free higher-order terms
H Becker, JC Blanchette, U Waldmann, D Wand
International Conference on Automated Deduction, 432-453, 2017
362017
Comparing repositories visually with repograms
D Rozenberg, I Beschastnikh, F Kosmale, V Poser, H Becker, M Palyart, ...
Proceedings of the 13th International Conference on Mining Software …, 2016
352016
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
H Becker, N Zyuzin, R Monat, E Darulova, MO Myreen, A Fox
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
282018
Combining tools for optimization and analysis of floating-point computations
H Becker, P Panchekha, E Darulova, Z Tatlock
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
182018
Icing: Supporting fast-math style optimizations in a verified compiler
H Becker, E Darulova, MO Myreen, Z Tatlock
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
132019
Verified compilation and optimization of floating-point programs in cakeml
H Becker, R Rabe, E Darulova, MO Myreen, Z Tatlock, R Kumar, YK Tan, ...
European Conference on Object-Oriented Programming (ECOOP 2022), 2022
62022
Formally verified roundoff errors using SMT-based certificates and subdivisions
J Bard, H Becker, E Darulova
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
62019
IsaFoL: Isabelle Formalization of Logic
H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ...
52018
Dandelion: Certified Approximations of Elementary Functions
H Becker, M Tekriwal, E Darulova, A Volkova, JB Jeannin
arXiv preprint arXiv:2202.05472, 2022
32022
Formalization of Knuth–Bendix orders for lambda-free higher-order terms
H Becker, JC Blanchette, U Waldmann, D Wand
Archive of Formal Proofs, 2016
32016
Verified compilation and optimization of floating-point kernels
H Becker
Saarländische Universitäts-und Landesbibliothek, 2022
2022
Lassie: HOL4 tactics by example
H Becker, N Bos, I Gavran, E Darulova, R Majumdar
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
2021
Verified SMT-based Translation Validation
H Becker
Saarland University, 2015
2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14