X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/11f166c45fc5047a7ac574caec8ca977d16c37a6..d8d1180841b7d1106dba147c3ebfc49146a8ef4c:/research/publications.html?ds=inline

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>