From: Ralf Jung <post@ralfj.de>
Date: Thu, 23 Oct 2025 13:14:12 +0000 (+0200)
Subject: mention most influential paper award for iris paper
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/88433de5ac48ce5243ce18205902268f03047f87?ds=sidebyside;hp=27452daa29f8757e4249c6f63e6487ecb100fa7e

mention most influential paper award for iris paper
---

diff --git a/research/publications.html b/research/publications.html
index 17e4d33..608689c 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -170,7 +170,7 @@ slug: Publications
 <ul><li>
   <b>Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning</b><br>
   Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer<br>
-  <i>In <a href="https://popl.mpi-sws.org/2015/">POPL 2015</a></i><br>
+  <i>In <a href="https://popl.mpi-sws.org/2015/">POPL 2015</a>, <b>Most Influential Paper Award</b></i><br>
   [<a href="https://iris-project.org/pdfs/2015-popl-iris1-final.pdf">paper</a>] [<a href="https://iris-project.org">project website</a>] [<a href="iris/talk-popl2015.pdf">talk (slides)</a>]
 </li></ul>