added grove and wits papers

index.html

@@ -319,7 +319,9 @@ <h2>Hazel</h2>
         <h2>News and Publications</h2>
         <div class="news-list">
           <div class="date">Jan 2025</div>
-          <div class="news-text"><a href="https://conf.researchr.org/home/POPL-2025">POPL 2025</a> conditionally accepted <a>Grove: A Bidirectionally Typed Structure Editor Calculus</a> describing our work on reworking the foundations of collaborative editing around commutative edit actions.</div>
+          <div class="news-text"><a href="https://conf.researchr.org/home/POPL-2025">POPL 2025</a> published <a href="./papers/grove-popl25.pdf">Grove: A Bidirectionally Typed Structure Editor Calculus</a> describing our work on reworking the foundations of collaborative editing around commutative edit actions.</div>
+          <div class="date">Jan 2025</div>
+          <div class="news-text"><a href="https://popl25.sigplan.org/home/wits-2025">WITS 2025</a> accepted <a href="./papers/incremental-wits25.pdf">Incremental Bidirectional Typing via Order Maintenance</a> describing our work on a granularly incremental algorithm for bidirectional type checking.</div>
           <div class="date">Oct 2024</div>
           <div class="news-text"><a href="https://2024.splashcon.org/track/splash-2024-oopsla">OOPSLA 2024</a> published <a href="./papers/chatlsp-oopsla2024.pdf.pdf">Statically Contextualizing Large Language Models with Typed Holes</a> describing our work on combining language servers with large language models to dramatically improve AI code completion performance.</div>
           <div class="date">Oct 2024</div>