[www-pubs] r211387 - Added papers on Revgen, S2E, and SecondWrite (all of which use LLVM).

[John Criswell]

Author: criswell
Date: Fri Jun 20 13:36:50 2014
New Revision: 211387

URL: http://llvm.org/viewvc/llvm-project?rev=211387&view=rev
Log:
Added papers on Revgen, S2E, and SecondWrite (all of which use LLVM).

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=211387&r1=211386&r2=211387&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Fri Jun 20 13:36:50 2014
@@ -90,6 +90,14 @@ var PUBS =
     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",
+    published: "Proceedings of the Eighth ACM European Conference on Computer Systems (Eurosys 2013)",
+    month: 4,
+    year: 2013,
+  },
+
   { url: "http://dl.acm.org/citation.cfm?id=2451131",
     author: "Swarup Kumar Sahoo, John Criswell, Chase Geigle, and Vikram Adve",
     title: "Using Likely Invariants for Automated Software Fault Localization",
@@ -307,6 +315,14 @@ var PUBS =
     year: 2011,
   },
 
+  { url: "http://dslab.epfl.ch/pubs/revgen.pdf",
+    author: "Vitaly Chipounov and George Candea",
+    title: "Enabling Sophisticated Analysis of x86 Binaries with RevGen",
+    published: "Seventh Workshop on Hot Topics in System Dependability (HotDep)",
+    month: 6,
+    year: 2011,
+  },
+
   { url: "http://llvm-md.org/pldi.pdf",
     author: "Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett",
     title: "Evaluating Value-Graph Translation Validation for LLVM",
@@ -372,6 +388,14 @@ var PUBS =
     year: 2011,
   },
 
+  { url: "http://dslab.epfl.ch/pubs/s2e.pdf",
+    author: "Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea",
+    title: "S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems",
+    published: "Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)",
+    month: 3,
+    year: 2011,
+  },
+
   { url: "http://dx.doi.org/10.1002/spe.1059",
     author: "James Stanier and Des Watson",
     title: "A study of irreducibility in C programs",