<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 4/23/15 2:04 PM, Sean Silva wrote:<br>
</div>
<blockquote
cite="mid:CAHnXoanKJEpSdCkuHVWDFn=bsnUUqtTGpVDJD8hx8AMT03zadg@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<div dir="ltr">Is there something in particular you want reviewed?</div>
</blockquote>
<br>
I only ask for review because, technically, everything committed
should be reviewed.<br>
<br>
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.<br>
:)<br>
<br>
Thanks for review, Sean.<br>
<br>
-- John T.<br>
<br>
<blockquote
cite="mid:CAHnXoanKJEpSdCkuHVWDFn=bsnUUqtTGpVDJD8hx8AMT03zadg@mail.gmail.com"
type="cite">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Apr 23, 2015 at 7:56 AM, John
Criswell <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:jtcriswel@gmail.com" target="_blank">jtcriswel@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote">Dear All,<br>
<br>
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.<br>
<br>
Apologies for being pedantic,<br>
<br>
John Criswell<span class="im HOEnZb"><br>
<br>
On 4/3/15 10:08 AM, John Criswell wrote:<br>
</span>
<div class="HOEnZb">
<div class="h5">
<blockquote class="gmail_quote">
Author: criswell<br>
Date: Fri Apr 3 09:08:45 2015<br>
New Revision: 234012<br>
<br>
URL: <a moz-do-not-send="true"
href="http://llvm.org/viewvc/llvm-project?rev=234012&view=rev"
target="_blank">http://llvm.org/viewvc/llvm-project?rev=234012&view=rev</a><br>
Log:<br>
Added Mingxing Zhang's FSE 2014 paper on Anticipating
Invariants.<br>
<br>
Modified:<br>
www-pubs/trunk/pubs.js<br>
<br>
Modified: www-pubs/trunk/pubs.js<br>
URL: <a moz-do-not-send="true"
href="http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=234012&r1=234011&r2=234012&view=diff"
target="_blank">http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=234012&r1=234011&r2=234012&view=diff</a><br>
==============================================================================<br>
--- www-pubs/trunk/pubs.js (original)<br>
+++ www-pubs/trunk/pubs.js Fri Apr 3 09:08:45 2015<br>
@@ -2,6 +2,14 @@<br>
// the page in the order listed.<br>
var PUBS =<br>
[<br>
+ { url: "<a moz-do-not-send="true"
href="http://james0zan.github.io/resource/fse14_zhang.pdf"
target="_blank">http://james0zan.github.io/resource/fse14_zhang.pdf</a>",<br>
+ author: "Mingxing Zhang, Yongwei Wu, Shan Lu,
Shanxiang Qi, Jinglei Ren, and Weimin Zheng",<br>
+ title: "AI: A Lightweight System for Tolerating
Concurrency Bugs",<br>
+ published: "Proceedings of the Twenty Second ACM
SIGSOFT International Symposium on Foundations of
Software Engineering",<br>
+ month: 11,<br>
+ year: 2014,<br>
+ },<br>
+<br>
{ url: "<a moz-do-not-send="true"
href="http://www.icir.org/robin/papers/imc14-hilti.pdf"
target="_blank">http://www.icir.org/robin/papers/imc14-hilti.pdf</a>",<br>
author: "Robin Sommer, Matthias Vallentin,
Lorenzo De Carli, Vern Paxson",<br>
title: "HILTI: An Abstract Execution Environment
for Deep, Stateful Network Traffic Analysis",<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a moz-do-not-send="true"
href="mailto:llvm-commits@cs.uiuc.edu"
target="_blank">llvm-commits@cs.uiuc.edu</a><br>
<a moz-do-not-send="true"
href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits"
target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</blockquote>
<br>
<br>
</div>
</div>
<span class="im HOEnZb">
-- <br>
John Criswell<br>
Assistant Professor<br>
Department of Computer Science, University of Rochester<br>
<a moz-do-not-send="true"
href="http://www.cs.rochester.edu/u/criswell"
target="_blank">http://www.cs.rochester.edu/u/criswell</a><br>
<br>
</span>
<div class="HOEnZb">
<div class="h5">
_______________________________________________<br>
llvm-commits mailing list<br>
<a moz-do-not-send="true"
href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a><br>
<a moz-do-not-send="true"
href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits"
target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="http://www.cs.rochester.edu/u/criswell">http://www.cs.rochester.edu/u/criswell</a></pre>
</body>
</html>