Tom Hubrecht

PhD student at ENS Lyon
5
Documents
Affiliations actuelles
  • Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC)
  • Laboratoire de l'Informatique du Parallélisme (LIP)
  • École normale supérieure de Lyon (ENS de Lyon)
  • Arithmétique des ordinateurs, calcul formel et vérification formelle (PASCALINE)
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

Useful applications of correctly-rounded operators of the form ab + cd + e

Tom Hubrecht , Claude-Pierre Jeannerod , Jean-Michel Muller

2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain

Communication dans un congrès hal-04461089v2
Deposit thumbnail

Towards a correctly-rounded and fast power function in binary64 arithmetic

Tom Hubrecht , Claude-Pierre Jeannerod , Paul Zimmermann

2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States

Communication dans un congrès hal-04326201v1