<div dir="ltr"><div>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.</div><div><br></div><div>Thanks,</div><div>Jeehoon<br></div></div><br><div class="gmail_quote"><div dir="ltr">2018년 10월 11일 (목) 오전 5:41, Gregory Malecha <<a href="mailto:gmalecha@gmail.com">gmalecha@gmail.com</a>>님이 작성:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello --<div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><div>Thank you.</div><div><div><br></div>-- <br><div dir="ltr" class="m_-5891336899124328609gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>gregory malecha</div><div><a href="https://gmalecha.github.io" target="_blank">gmalecha.github.io</a></div></div></div></div></div></div></div>
-- <br>
<a href="mailto:iris-club@lists.mpi-sws.org" target="_blank">iris-club@lists.mpi-sws.org</a> - Mailing List for the Iris Logic<br>
Management: <a href="https://lists.mpi-sws.org/listinfo/iris-club" rel="noreferrer" target="_blank">https://lists.mpi-sws.org/listinfo/iris-club</a><br>
Unsubscribe: <a href="mailto:iris-club-unsubscribe@lists.mpi-sws.org" target="_blank">iris-club-unsubscribe@lists.mpi-sws.org</a><br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><a href="http://sf.snu.ac.kr/jeehoon.kang" target="_blank">Jeehoon Kang (Ph.D. student)</a><div><a href="http://sf.snu.ac.kr" target="_blank">Software Foundations Laboratory</a><div><a href="http://www.snu.ac.kr" target="_blank">Seoul National University</a></div></div></div></div>