added POPL 2024 announcement and missing HATRA 2020 paper link

index.html

@@ -307,13 +307,16 @@ <h2>Hazel</h2>
       <div class="card" id="news">
         <h2>News and Publications</h2>
         <div class="news-list">
-          <div class="date">June 2023</div>
-          <div class="news-text"><a href="https://conf.researchr.org/home/vlhcc-2023">VL/HCC 2023</a> will publish <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>
-          <div class="news-text"><a href="https://2023.splashcon.org/">OOPSLA 2023</a> will publish <a
+          <div class="date">Jan 2024</div>
+          <div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> conditionally accepted <a>Total Type Error Localization and Recovery with Holes</a>
+            describing a principled approach to localizing errors in ill-typed programs.</div>
+          <div class="date">Oct 2023</div>
+          <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>
+          <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>
           <div class="news-text"><a href="https://www.nsf.gov/">NSF</a> awarded Cyrus the <a
               href="https://new.nsf.gov/funding/opportunities/faculty-early-career-development-program-career">NSF
@@ -345,6 +348,10 @@ <h2>News and Publications</h2>
               href="./papers/livelits-paper.pdf">Filling Typed Holes with Live GUIs</a> describing <a
               href="#livelits">live
               literals (livelits)</a> in Hazel.</div>
+
+          <div class="date">Oct 2020</div>
+          <div class="news-text"><a href="https://2020.splashcon.org/home/hatra-2020">HATRA 2020</a> published <a href="hazeltutor-hatra2020.pdf">Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
+          </a> describing our work on teaching type-driven development with Hazel.</div>
 
           <div class="date">Aug 2020</div>
           <div class="news-text">