From 36a92d67e3fd0d82a4e80ae0e8fe5f42e10555fd Mon Sep 17 00:00:00 2001
From: Cyrus Omar <cyology@gmail.com>
Date: Thu, 26 Oct 2023 12:31:26 +0100
Subject: [PATCH] added paper award

---
 index.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 5a76069..c14d692 100644
--- a/index.html
+++ b/index.html
@@ -228,6 +228,11 @@
       margin-left: 20px;
       line-height: 1.5;
     }
+
+    .award {
+      color: purple;
+      font-weight: bold;
+    }
   </style>
 </head>
 
@@ -314,7 +319,7 @@ <h2>News and Publications</h2>
           <div class="news-text"><a href="https://2023.splashcon.org/">OOPSLA 2023</a> published <a
               href="https://victoryyw.github.io/assets/pdfs/pattern.pdf">Live Pattern
               Matching with Typed Holes</a>
-            describing our work on reasoning about programs with pattern holes.</div>
+            describing our work on reasoning about programs with pattern holes. This paper was awarded a <span class="award">Distinguished Paper Award</span>!</div>
           <div class="date">Oct 2023</div>
           <div class="news-text"><a href="https://conf.researchr.org/home/vlhcc-2023">VL/HCC 2023</a> published <a href="https://tylr.fun/vlhcc23.pdf">Gradual Structure Editing with Obligations</a> describing our work on natural keyboard-driven structure editing.</div>
           <div class="date">Jan 2023</div>