If something goes wrong with this update, I can't really say I wasn't warned.

Lia Schütze, a student at MPI-SWS, presented this poster at our recent retreat. I was blown away. Not only is it a work of art (which she designed herself), but the visuals actually made sense as a structural device for explaining the work.

Look, ma, I'm a hacker! 🤣

Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators.

www.youtube.com/live/ZKwpY0g...