[Iris-Club] Iris on top of "real-world" languages

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Thu Oct 11 05:28:15 CEST 2018

I'm also wondering if anyone is interested in Iris + VST :)  I'm eager to
use it, if exists, in verifying real-world concurrent programs.


2018년 10월 11일 (목) 오전 5:41, Gregory Malecha <gmalecha at gmail.com>님이 작성:

> Hello --
> I'm wondering how much work there has been applying Iris to reason about
> "real-world" languages. I was really impressed with the RustBelt work, and
> was wondering if there has been any work applying it to build program
> logics on top of languages such as C, C++, Rust, or even assembly.
> Any pointers would be greatly appreciated. Even if there isn't any work
> right now, if there is anyone interested either in producing or consuming
> this sort of work, it would be great to know about interest.
> Thank you.
> --
> gregory malecha
> gmalecha.github.io
> --
> 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/20181011/0a329373/attachment.html>

More information about the Iris-Club mailing list