[www-pubs] r190760 - Adding LLVMVF Paper

[Renato Golin]

Author: rengolin
Date: Sat Sep 14 18:00:53 2013
New Revision: 190760

URL: http://llvm.org/viewvc/llvm-project?rev=190760&view=rev
Log:
Adding LLVMVF Paper

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=190760&r1=190759&r2=190760&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Sat Sep 14 18:00:53 2013
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://rd.springer.com/article/10.1007/s10836-013-5405-9",
+    author: "Marcelo Sousa, Alper Sen",
+    title: "LLVMVF: A Generic Approach for Verification of Multicore Software",
+    published: "Journal of Electronic Testing: Theory and Applications",
+    month: 9,
+    year: 2013,
+  },
+
   { url: "http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf",
     author: "Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin, and Steve Zdancewic",
     title: "Formal Verification of SSA Optimizations for LLVM",