From 88433de5ac48ce5243ce18205902268f03047f87 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 23 Oct 2025 15:14:12 +0200
Subject: [PATCH 1/1] mention most influential paper award for iris paper

---
 research/publications.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
 
-- 
2.39.5