Well-deserved! Iris is also a really great example of how well-engineered artifacts make it dramatically easier to pursue technically deep research.
Reposted from Derek Dreyer
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...

Comments