[Iris-Club] Best Paper Award at ECOOP'17

[Lars Birkedal]

Excellent. Congratulations!

Best,
Lars.

--
Lars Birkedal
Professor, Head of Department
www.cs.au.dk/~birke
birkedal at cs.au.dk





On 25/06/2017, 14.26, "Iris-Club on behalf of Derek Dreyer"
<iris-club-bounces at lists.mpi-sws.org on behalf of dreyer at mpi-sws.org>
wrote:

>Hi, all.  This is just to let all the Iris fans out there know that
>our ECOOP'17 paper, "Strong Logic for Weak Memory: Reasoning About
>Release-Acquire Consistency in Iris" received a Best Paper Award at
>ECOOP this Thursday.  The PC chair, Peter Müller, said that giving the
>award to this paper was a clear decision and complimented Janno on his
>excellent talk.
>
>So congratulations to Janno, Hai, and Ori on this recognition of their
>hard work!  And of course many thanks go to all the core developers of
>Iris (esp. Ralf, Robbert, and Jacques-Henri) for building such a great
>tool.
>
>Here's the link to the final version of the paper:
>
>http://drops.dagstuhl.de/opus/volltexte/2017/7275/pdf/LIPIcs-ECOOP-2017-17
>.pdf
>
>Thanks,
>Derek
>
>-- 
>iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
>Management: https://lists.mpi-sws.org/listinfo/iris-club
>Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org