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

[Sean Silva]

Is there something in particular you want reviewed?

On Thu, Apr 23, 2015 at 7:56 AM, John Criswell <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
>> 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
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150423/e284cd5f/attachment.html>