[llvm-commits] [www-pubs] r150420 - /www-pubs/trunk/pubs.js

[John Criswell]

Author: criswell
Date: Mon Feb 13 16:23:26 2012
New Revision: 150420

URL: http://llvm.org/viewvc/llvm-project?rev=150420&view=rev
Log:
Added a link to Jianzhou Zhao et. al.s' Vellvm 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=150420&r1=150419&r2=150420&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Mon Feb 13 16:23:26 2012
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://www.cis.upenn.edu/~stevez/papers/ZNMZ12.pdf",
+    author: "Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic",
+    title: "Formalizing the LLVM Intermediate Representation for Verified Program Transformations",
+    published: "SIGACT Symposium on Principles of Programming Languages (POPL)",
+    month: 1,
+    year: 2012,
+  },
+
   { url: "http://systems.cs.columbia.edu/files/wpid-peregrine-sosp11.pdf",
     author: "Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang",
     title: "Efficient Deterministic Multithreading through Schedule Relaxation",