[www-pubs] r210341 - Added the CAV 2014 SMACK publication.

[John Criswell]

Author: criswell
Date: Fri Jun  6 10:11:31 2014
New Revision: 210341

URL: http://llvm.org/viewvc/llvm-project?rev=210341&view=rev
Log:
Added the CAV 2014 SMACK publication.

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=210341&r1=210340&r2=210341&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Fri Jun  6 10:11:31 2014
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations",
+    author: "Zvonimir Rakamaric and Michael Emmi",
+    title: "SMACK: Decoupling Source Language Details from Verifier Implementations",
+    published: "Proceedings of the Twenty Sixth International Conference on Computer Aided Verification (CAV 2014)",
+    month: 7,
+    year: 2014,
+  },
+
   { url: "http://sva.cs.illinois.edu/pubs/KCoFI-Oakland-2014.pdf",
     author: "John Criswell, Nathan Dautenhahn, and Vikram Adve",
     title: "KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels",