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

[Gregory Malecha]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20181010/491e672d/attachment.html>