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

[John Criswell]

On 4/23/15 2:04 PM, Sean Silva wrote:
> Is there something in particular you want reviewed?

I only ask for review because, technically, everything committed should 
be reviewed.

Also, to be fair to the review policy, it's not a bad idea to have a 
second pair of eyes on the pubs page, every now and then.  Rumor has it 
that I do make mistakes from time to time.
:)

Thanks for review, Sean.

-- John T.

>
> On Thu, Apr 23, 2015 at 7:56 AM, John Criswell <jtcriswel at gmail.com 
> <mailto:jtcriswel at gmail.com>> wrote:
>
>     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 <mailto: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
>
>     _______________________________________________
>     llvm-commits mailing list
>     llvm-commits at cs.uiuc.edu <mailto: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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150424/a3c39082/attachment.html>