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

[John Criswell]

Dear All,

I should have asked earlier, but can someone do a post-commit review for 
the LLVM pubs page?  It looks like revisions 234012, 222086, 221105, and 
221100 could use a quick review.

Apologies for being pedantic,

John Criswell

On 4/3/15 10:08 AM, John Criswell wrote:
> 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",
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits


-- 
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
http://www.cs.rochester.edu/u/criswell