<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="gmail_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>