<div dir="ltr">I kinda expected it :)  Congratulations!  I hope this line of work will lead us to the formal verification of real-world concurrent programs!</div><div class="gmail_extra"><br><div class="gmail_quote">2017-06-25 21:33 GMT+09:00 Lars Birkedal <span dir="ltr"><<a href="mailto:birkedal@cs.au.dk" target="_blank">birkedal@cs.au.dk</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Excellent. Congratulations!<br>
<br>
Best,<br>
Lars.<br>
<br>
--<br>
Lars Birkedal<br>
Professor, Head of Department<br>
<a href="http://www.cs.au.dk/~birke" rel="noreferrer" target="_blank">www.cs.au.dk/~birke</a><br>
<a href="mailto:birkedal@cs.au.dk">birkedal@cs.au.dk</a><br>
<br>
<br>
<br>
<br>
<br>
On 25/06/2017, 14.26, "Iris-Club on behalf of Derek Dreyer"<br>
<<a href="mailto:iris-club-bounces@lists.mpi-sws.org">iris-club-bounces@lists.mpi-<wbr>sws.org</a> on behalf of <a href="mailto:dreyer@mpi-sws.org">dreyer@mpi-sws.org</a>><br>
wrote:<br>
<div class="HOEnZb"><div class="h5"><br>
>Hi, all.  This is just to let all the Iris fans out there know that<br>
>our ECOOP'17 paper, "Strong Logic for Weak Memory: Reasoning About<br>
>Release-Acquire Consistency in Iris" received a Best Paper Award at<br>
>ECOOP this Thursday.  The PC chair, Peter Müller, said that giving the<br>
>award to this paper was a clear decision and complimented Janno on his<br>
>excellent talk.<br>
><br>
>So congratulations to Janno, Hai, and Ori on this recognition of their<br>
>hard work!  And of course many thanks go to all the core developers of<br>
>Iris (esp. Ralf, Robbert, and Jacques-Henri) for building such a great<br>
>tool.<br>
><br>
>Here's the link to the final version of the paper:<br>
><br>
><a href="http://drops.dagstuhl.de/opus/volltexte/2017/7275/pdf/LIPIcs-ECOOP-2017-17" rel="noreferrer" target="_blank">http://drops.dagstuhl.de/<wbr>opus/volltexte/2017/7275/pdf/<wbr>LIPIcs-ECOOP-2017-17</a><br>
>.pdf<br>
><br>
>Thanks,<br>
>Derek<br>
><br>
>--<br>
><a href="mailto:iris-club@lists.mpi-sws.org">iris-club@lists.mpi-sws.org</a> - Mailing List for the Iris Logic<br>
>Management: <a href="https://lists.mpi-sws.org/listinfo/iris-club" rel="noreferrer" target="_blank">https://lists.mpi-sws.org/<wbr>listinfo/iris-club</a><br>
>Unsubscribe: <a href="mailto:iris-club-unsubscribe@lists.mpi-sws.org">iris-club-unsubscribe@lists.<wbr>mpi-sws.org</a><br>
<br>
--<br>
<a href="mailto:iris-club@lists.mpi-sws.org">iris-club@lists.mpi-sws.org</a> - Mailing List for the Iris Logic<br>
Management: <a href="https://lists.mpi-sws.org/listinfo/iris-club" rel="noreferrer" target="_blank">https://lists.mpi-sws.org/<wbr>listinfo/iris-club</a><br>
Unsubscribe: <a href="mailto:iris-club-unsubscribe@lists.mpi-sws.org">iris-club-unsubscribe@lists.<wbr>mpi-sws.org</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><a href="http://sf.snu.ac.kr/jeehoon.kang" target="_blank">Jeehoon Kang (Ph.D. student)</a><div><a href="http://sf.snu.ac.kr" target="_blank">Software Foundations Laboratory</a><div><a href="http://www.snu.ac.kr" target="_blank">Seoul National University</a></div></div></div></div>
</div>