[www-pubs] r234012 - Added Mingxing Zhang's FSE 2014 paper on Anticipating Invariants.

[John Criswell]

Author: criswell
Date: Fri Apr  3 09:08:45 2015
New Revision: 234012

URL: http://llvm.org/viewvc/llvm-project?rev=234012&view=rev
Log:
Added Mingxing Zhang's FSE 2014 paper on Anticipating Invariants.

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=234012&r1=234011&r2=234012&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Fri Apr  3 09:08:45 2015
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://james0zan.github.io/resource/fse14_zhang.pdf",
+    author: "Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng",
+    title: "AI: A Lightweight System for Tolerating Concurrency Bugs",
+    published: "Proceedings of the Twenty Second ACM SIGSOFT International Symposium on Foundations of Software Engineering",
+    month: 11,
+    year: 2014,
+  },
+
   { url: "http://www.icir.org/robin/papers/imc14-hilti.pdf",
     author: "Robin Sommer, Matthias Vallentin, Lorenzo De Carli, Vern Paxson",
     title: "HILTI: An Abstract Execution Environment for Deep, Stateful Network Traffic Analysis",