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

[Derek Dreyer]

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