Details

Autor(en) / Beteiligte

• Chatelain, Yohan
• De Oliveira Castro, Pablo
• Petit, Eric
• Defour, David
• Bieder, Jordan
• Torrent, Marc

Titel

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

Ist Teil von

• 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), 2018, p.61-68

Ort / Verlag

IEEE

Erscheinungsjahr

2018

Quelle

IEEE Electronic Library Online

Beschreibungen/Notizen

• 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.