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 🎉