[www-pubs] r221105 - Added the Declarative, Temporal, and Practical Programming with Capabilities

[John Criswell]

Author: criswell
Date: Sun Nov  2 13:40:10 2014
New Revision: 221105

URL: http://llvm.org/viewvc/llvm-project?rev=221105&view=rev
Log:
Added the Declarative, Temporal, and Practical Programming with Capabilities
paper (which uses LLVM to transform programs to enforce security policies).

Modified another paper entry so that the cardinal number of the conference is
spelled out.

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=221105&r1=221104&r2=221105&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Sun Nov  2 13:40:10 2014
@@ -158,11 +158,19 @@ var PUBS =
   { 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",
-    published: "Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013)",
+    published: "Proceedings of the Thirty Fourth ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013)",
     month: 6,
     year: 2013,
   },
 
+  { url: "http://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201305-temporal-practical-capabilities.pdf",
+    author: "William R. Harris, Somesh Jha, Thomas Reps, Jonathan Anderson, and Robert N. M. Watson",
+    title: "Declarative, Temporal, and Practical Programming with Capabilities",
+    published: "Proceedings of the Thirty Fourth IEEE Symposium on Security and Privacy (Oakland 2013)",
+    month: 5,
+    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",