<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Dear Zvonimir,<br>
<br>
I've added the entry to the publications page. Please take a look
and let me know if any changes are required.<br>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
On 8/19/15 12:47 AM, Zvonimir Rakamaric via llvm-dev wrote:<br>
</div>
<blockquote
cite="mid:CAKe6Wq-hztOss06jfMYAg0bgz8wEhCFvYzX7sqEK6z_5TPqrAA@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<div dir="ltr">Hi,
<div><br>
</div>
<div>We recently published another paper that leverages LLVM
(through our SMACK software verifier and novel tool called
Whoop), and this time we focus on detecting concurrency bugs
in device drivers:</div>
<div><a moz-do-not-send="true"
href="http://soarlab.org/2015/08/ase2015-ddr/">http://soarlab.org/2015/08/ase2015-ddr/</a><br>
</div>
<div><br>
</div>
<div>You can find all the required info (PDF, title, abstract,
etc.) at the above webpage.</div>
<div><br>
</div>
<div>I would appreciate if you could add this paper to your list
of LLVM-based publications.</div>
<div><br>
</div>
<div>Thanks!</div>
<div><br>
</div>
<div>Best,</div>
<div>-- Zvonimir</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</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>