Displaying 1 result from an estimated 1 matches for "f30a2cd6".
2016 Sep 26
2
Publication & Project: Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
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