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

Renato Golin via llvm-dev
Mon, 26 Sep 2016 16:30:29 -0000

Added on r282416.

http://llvm.org/pubs/

cheers,
--renato

On 26 September 2016 at 08:13, Pablo Oliveira via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> Hi,
>
> 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
> 2016.
>
> The preprint is available online at
> <https://hal.archives-ouvertes.fr/hal-01192668>.
>
>
> Could you please also add our tool to http://llvm.org/ProjectsWithLLVM ?
>
> Verificarlo: A tool for automatic Montecarlo Arithmetic analysis.
>
> https://github.com/verificarlo/verificarlo
>
> 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.
>
> Thanks,
>
> Pablo
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev