[www-pubs] r218984 - Added the -Overify paper from HotOS 2013.

[John Criswell]

Author: criswell
Date: Fri Oct  3 07:59:11 2014
New Revision: 218984

URL: http://llvm.org/viewvc/llvm-project?rev=218984&view=rev
Log:
Added the -Overify paper from HotOS 2013.

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=218984&r1=218983&r2=218984&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Fri Oct  3 07:59:11 2014
@@ -139,6 +139,14 @@ var PUBS =
     year: 2013,
   },
 
+  { url: "http://infoscience.epfl.ch/record/186012?ln=en",
+    author: "Jonas Wagner, Volodymyr Kuznetsov, and George Candea",
+    title: "-Overify: Optimizing Programs for Fast Verification",
+    published: "Proceedings of the Fourteenth Workshop on Hot Topics in Operating Systems (HotOS XIV)",
+    month: 5,
+    year: 2013,
+  },
+
   { url: "http://dl.acm.org/citation.cfm?id=2465380",
     author: "Kapil Anand, Matthew Smithson, Khaled Elwazeer, Aparna Kotha, Jim Gruen, Nathan Giles, and Rajeev Barua",
     title: "A Compiler-Level Intermediate Representation Based Binary Analysis and Rewriting System",