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

[Sean Silva]

Page looks fine to me. No errors on the javascript console or anything.

On Thu, Apr 23, 2015 at 11:04 AM, Sean Silva <chisophugis at gmail.com> wrote:

> 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/8bd7dd15/attachment.html>