Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/ARITH.2018.8464687 | 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) |
Keywords | Field | DocType |
floating-point variables,visual traces,contextual information,floating-point errors,complex codes,Context-enriched tracer,floating-point arithmetic analysis,VeriTracer,LLVM compiler,Verificarlo,ABINIT,industrial HPC application,Ab Initio quantum computation | Computer science,Visualization,Floating point,Software bug,Parallel computing,Call site,Quantum computer,Compiler,Computational science,Code (cryptography),ABINIT | Conference |
ISSN | ISBN | Citations |
1063-6889 | 978-1-5386-2665-8 | 0 |
PageRank | References | Authors |
0.34 | 10 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yohan Chatelain | 1 | 4 | 0.80 |
Pablo de Oliveira Castro | 2 | 43 | 6.65 |
Eric Petit | 3 | 58 | 12.73 |
David Defour | 4 | 131 | 18.28 |
Jordan Bieder | 5 | 0 | 0.34 |
Marc Torrent | 6 | 42 | 6.61 |