Communication Dans Un Congrès Année : 2023

VERROU: New stochastic rounding modes for numerical verification

Bruno Lathuilìère
  • Fonction : Auteur
  • PersonId : 868410
Nestor Demeure

Résumé

In the context of industrial code verification, the use of stochastic rounding modes allows to estimate the numerical quality of the results through multiple independent executions of the software. But in some rare cases, the introduction of stochastic rounding can lead to a runtime error because the software implicitly relies on the determinism of IEEE floating-point operations. To overcome this problem, we propose new deterministic stochastic rounding modes: these maintain the stochastic properties between different executions of the software while guaranteeing the determinism of the floating operations having the same parameters within one execution. Results based on an implementation of the method in the Verrou tool will be presented.

presentation_verrou_ICIAM_24august2023.pdf (716.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05446368 , version 1 (07-01-2026)

Identifiants

  • HAL Id : hal-05446368 , version 1

Citer

Bruno Lathuilìère, Nestor Demeure. VERROU: New stochastic rounding modes for numerical verification. 10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``When random comes to the rescue of numerical computation”, Aug 2023, TOKYO, Japan. ⟨hal-05446368⟩

Collections

10 Consultations
9 Téléchargements

Partager

  • More