Thanks !<div><br></div><div>Pablo<br><br><div class="gmail_quote"><div dir="ltr">Le lun. 26 sept. 2016 18:30, Renato Golin <<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Added on r282416.<br>
<br>
<a href="http://llvm.org/pubs/" rel="noreferrer" target="_blank">http://llvm.org/pubs/</a><br>
<br>
cheers,<br>
--renato<br>
<br>
On 26 September 2016 at 08:13, Pablo Oliveira via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> Hi,<br>
><br>
> We have recently published a paper on floating point accuracy analysis<br>
> through Monte Carlo Arithmetic. We also released the open-source tool<br>
> Verificarlo (<a href="https://github.com/verificarlo/verificarlo" rel="noreferrer" target="_blank">https://github.com/verificarlo/verificarlo</a>) that relies on<br>
> LLVM for instrumenting floating point operations.<br>
><br>
> Could you please add our paper to <a href="http://llvm.org/pubs/" rel="noreferrer" target="_blank">http://llvm.org/pubs/</a> ?<br>
><br>
> Verificarlo: checking floating point accuracy through Monte Carlo<br>
> Arithmetic. Christophe Denis, Pablo de Oliveira Castro, and Eric Petit.<br>
> 23rd IEEE International Symposium on Computer Arithmetic (ARITH), July<br>
> 2016.<br>
><br>
> The preprint is available online at<br>
> <<a href="https://hal.archives-ouvertes.fr/hal-01192668" rel="noreferrer" target="_blank">https://hal.archives-ouvertes.fr/hal-01192668</a>>.<br>
><br>
><br>
> Could you please also add our tool to <a href="http://llvm.org/ProjectsWithLLVM" rel="noreferrer" target="_blank">http://llvm.org/ProjectsWithLLVM</a> ?<br>
><br>
> Verificarlo: A tool for automatic Montecarlo Arithmetic analysis.<br>
><br>
> <a href="https://github.com/verificarlo/verificarlo" rel="noreferrer" target="_blank">https://github.com/verificarlo/verificarlo</a><br>
><br>
> Verificarlo is an LLVM based tool to automatically use the Monte Carlo<br>
> arithmetic in place of IEEE-754 floating point arithmetic. Verificarlo<br>
> instruments floating operations point at the LLVM Intermediate<br>
> Representation level replacing all floating point operations by their<br>
> Monte Carlo Arithmetic counterpart. It forces the results of floating<br>
> point operations to behave like random variables turning executions of a<br>
> program into trials of a Monte Carlo simulation and allowing statistics<br>
> on the effects of rounding error to be obtained over a number of<br>
> executions. In particular, Verificarlo tracks rounding and catastrophic<br>
> cancellation errors at a given virtual precision.<br>
><br>
> Thanks,<br>
><br>
> Pablo<br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div></div>