[www-pubs] r282416 - [pubs] Adding Verificarlo paper, 07-2016

[Renato Golin via llvm-commits]

Author: rengolin
Date: Mon Sep 26 11:21:08 2016
New Revision: 282416

URL: http://llvm.org/viewvc/llvm-project?rev=282416&view=rev
Log:
[pubs] Adding Verificarlo paper, 07-2016

Modified:
    www-pubs/trunk/pubs.js

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=282416&r1=282415&r2=282416&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Mon Sep 26 11:21:08 2016
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "https://hal.archives-ouvertes.fr/hal-01192668",
+    author: "Christophe Denis, Pablo de Oliveira Castro, and Eric Petit",
+    title: "Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic.",
+    published: "23rd IEEE International Symposium on Computer Arithmetic (ARITH)",
+    month: 07,
+    year: 2016
+  },
+
   { url: "http://www.cse.unsw.edu.au/~ysui/papers/fse16.pdf",
     author: "Yulei Sui and Jingling Xue",
     title: "On-Demand Strong Update Analysis via Value-Flow Refinement",