René's URL Explorer Experiment


Title: Heiko Becker

direct link

Domain: heikobecker.github.io

Links:

https://twitter.com/HeyHeiko
https://github.com/HeikoBecker/
https://www.linkedin.com/in/heiko-becker/
onlinehttps://heikobecker.github.io/assets/thesis.pdf
Homehttps://heikobecker.github.io
Bloghttps://heikobecker.github.io/blog
itemishttps://itemis.com
IETS3.opensourcehttps://github.com/IETS3/iets3.opensource
mbeddr platformhttps://github.com/mbeddr
Eva Darulovahttps://malyzajko.github.io/
GitHub profilehttps://github.com/HeikoBecker/
Dandelion https://github.com/HeikoBecker/Dandelion/
RealCake (integrated into CakeML) https://github.com/CakeML/cakeml
Icing https://gitlab.mpi-sws.org/AVA/Icing
FloVer https://gitlab.mpi-sws.org/AVA/FloVer
our GitLab server https://gitlab.mpi-sws.org/AVA/FloVer
Joachim Bardhttps://people.mpi-sws.org/~jbard/
Nikita Zyuzinhttp://software.imdea.org/~nikita.zyuzin
Raphael Monathttp://rmonat.fr/
Dandelion: Certified Approximations of Elementary Functions (Under publication) https://arxiv.org/abs/2202.05472
Verified Compilation and Optimization of Floating-Point Programs in CakeML https://doi.org/10.4230/LIPIcs.ECOOP.2022.1
https://doi.org/10.4230/DARTS.8.2.10https://doi.org/10.4230/DARTS.8.2.10
Lassie: HOL4 Tactics by Example https://cloud.mpi-sws.org/index.php/s/jD7gaqnZHDETLyg
Video https://youtu.be/mAbvIzqet4w
Slides https://cloud.mpi-sws.org/index.php/s/qEB3CQKpNZTpn85
Formally Verified Roundoff Errors using SMT-based Certificates and Subdivisions (Tool Paper) https://cloud.mpi-sws.org/index.php/s/CqAr2t5mZgH3Ncf
Video https://youtu.be/5vZpEXVJUJg?t=1459
Slides https://cloud.mpi-sws.org/index.php/s/A7BQDWn3ebHpRrn
Icing - Supporting Fast-math Style Optimizations in a Verified Compiler https://cloud.mpi-sws.org/index.php/s/mrGJqkT3fjRAyjC
Slides https://cloud.mpi-sws.org/index.php/s/rWrWpPxEK7r4RN6
A Verified Certificate Checker for Finite-Precision Error Bounds https://arxiv.org/abs/1707.02115
Slides https://cloud.mpi-sws.org/index.php/s/Tz73KyDX33zN5EK
Combining Tools for Optimization and Analysis of Floating-Point Computations https://arxiv.org/pdf/1805.02436
Slides https://cloud.mpi-sws.org/index.php/s/j8isPS8GaKwjMqa
Daisy-Framework for Analysis and Optimization of Numerical Programs (Tool Paper) https://people.mpi-sws.org/~eva/papers/tacas18_daisy_toolpaper.pdf
Lightning Talk at DeepSpec Summer School 2017 https://cloud.mpi-sws.org/index.php/s/CnY2C9GwJZxabKZ
Talk at Universite de Nantes and LRI https://cloud.mpi-sws.org/index.php/s/6pLHQQ2Scmb2NDA
Flash Talk at FPTalks 2020 https://cloud.mpi-sws.org/index.php/s/o56i9HnKz7NG7pY
Video https://youtu.be/pS5JWndz7tM

Viewport: width=device-width, initial-scale=1.0

URLs of crawlers that visited me.