[llvm-dev] Publication & Project: Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic

Pablo Oliveira via llvm-dev llvm-dev at lists.llvm.org
Mon Sep 26 00:13:11 PDT 2016


We have recently published a paper on floating point accuracy analysis
through Monte Carlo Arithmetic. We also released the open-source tool
Verificarlo (https://github.com/verificarlo/verificarlo) that relies on
LLVM for instrumenting floating point operations.

Could you please add our paper to http://llvm.org/pubs/ ?

Verificarlo: checking floating point accuracy through Monte Carlo
Arithmetic. Christophe Denis, Pablo de Oliveira Castro, and Eric Petit.
23rd IEEE International Symposium on Computer Arithmetic (ARITH), July

The preprint is available online at

Could you please also add our tool to http://llvm.org/ProjectsWithLLVM ?

Verificarlo: A tool for automatic Montecarlo Arithmetic analysis.


Verificarlo is an LLVM based tool to automatically use the Monte Carlo
arithmetic in place of IEEE-754 floating point arithmetic. Verificarlo
instruments floating operations point at the LLVM Intermediate
Representation level replacing all floating point operations by their
Monte Carlo Arithmetic counterpart. It forces the results of floating
point operations to behave like random variables turning executions of a
program into trials of a Monte Carlo simulation and allowing statistics
on the effects of rounding error to be obtained over a number of
executions. In particular, Verificarlo tracks rounding and catastrophic
cancellation errors at a given virtual precision.



More information about the llvm-dev mailing list