Communication Dans Un Congrès Année : 2018

VeriTracer: Context-enriched tracer for floating-point arithmetic analysis

Résumé

VeriTracer automatically instruments a code and traces the accuracy of floating-point variables over time. VeriTracer enriches the visual traces with contextual information such as the call site path in which a value was modified. Contextual information is important to understand how the floating-point errors propagate in complex codes. VeriTracer is implemented as an LLVM compiler tool on top of Verificarlo. We demonstrate how VeriTracer can detect accuracy loss and quantify the impact of using a compensated algorithm on ABINIT, an industrial HPC application for Ab Initio quantum computation.

Fichier principal
Vignette du fichier
arith2018veritracer.pdf (606.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-01989607 , version 1 (28-11-2025)

Licence

Identifiants

Citer

Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, et al.. VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. ARITH 2018 - IEEE 25th Symposium on Computer Arithmetic, Jun 2018, Amherst, United States. pp.61-68, ⟨10.1109/ARITH.2018.8464687⟩. ⟨hal-01989607⟩
786 Consultations
91 Téléchargements

Altmetric

Partager

  • More