( en | de | ru )

 

Disambiguation of "Becker, Heiko"

Author of the publication

copydeleteadd this publication to your clipboard
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).

, , , , , , , and . Dagstuhl Artifacts Ser., 8 (2): 10:1-10:2 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heiko Becker

Heiko Becker

Heiko Becker

Heiko Jentsch

Konzeption eines integrierten Qualitätsmanagements für den Stadtverkehr. TU Darmstadt, (2009)

Heiko Henning

Charakterisierung der funktionellen Integrität konservierter Eberspermatozoen in dynamischen Testsystemen. TierH Hannover, (2009)
 

Other publications of authors with the same name

A Verified Certificate Checker for Floating-Point Error Bounds., , and . CoRR, (2017)Uncoupled Responses of Smad4-deficient Cancer Cells to TNFalpha Result in Secretion of Monomeric Laminin-Gamma2., , , , , , , , , and . Molecular cancer, 9 (1): 65 (March 2010)Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)., , , , , , , and . Dagstuhl Artifacts Ser., 8 (2): 10:1-10:2 (2022)Combining Tools for Optimization and Analysis of Floating-Point Computations., , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 355-363. Springer, (2018)Verified Compilation and Optimization of Floating-Point Programs in CakeML., , , , , , , and . ECOOP, volume 222 of LIPIcs, page 1:1-1:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Lassie: HOL4 tactics by example., , , , and . CPP, page 212-223. ACM, (2021)Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions., , and . FM, volume 11800 of Lecture Notes in Computer Science, page 38-44. Springer, (2019)A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4., , , , , and . FMCAD, page 1-10. IEEE, (2018)Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler., , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 155-173. Springer, (2019)Verified compilation and optimization of floating-point kernels.. Saarland University, Saarbrücken, Germany, (2022)