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

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Sun Jun 25 14:54:42 CEST 2017


I kinda expected it :)  Congratulations!  I hope this line of work will
lead us to the formal verification of real-world concurrent programs!

2017-06-25 21:33 GMT+09:00 Lars Birkedal <birkedal at cs.au.dk>:

> 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
>
> --
> 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
>



-- 
Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20170625/a9856336/attachment-0001.html>


More information about the Iris-Club mailing list