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.

https://www.youtube.com/live/ZKwpY0g9Lo8?si=scSr-qC9C44huJ_f&t=28949
Post image

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service