Test-of-Time Award at POPL 2025
Yesterday, the paper Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning was awarded the Test-of-Time Award at POPL 2025! This prestigious recognition highlights its profound and lasting impact on the field of programming languages over the past decade!

Professor and Villum Investigator Lars Birkedal played a pivotal role in this groundbreaking work. The paper presents Iris, a concurrent separation logic that has fundamentally reshaped how we reason about shared-state concurrency through the innovative use of monoids and invariants. Iris has since its publication been used in numerous research projects; over 100 papers and 18 PhD thesis using Iris have been published, see iris-project.org.
Read the award-winning paper here:️ https://dl.acm.org/doi/10.1145/2775051.2676980
A huge congratulations to Lars Birkedal and his co-authors – Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, and Derek Dreyer – for this well-deserved recognition of their outstanding contribution to computer science 🎉