added paper award

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>