January 2024 updates

index.html

@@ -273,14 +273,20 @@ <h2>Motivation</h2>
           around parts of the program that are erroneous or, in the collaborative setting, conflicted.
         </p>
 
-        <p>The following paper describes our research vision in more detail.
+        <p>The following papers describes our research vision in more detail.
         <div class="paper">
           <a class="major-paper" href="https://arxiv.org/pdf/1703.08694">Toward Semantic Foundations for Program
             Editors</a><br />
           <strong>SNAPL 2017</strong> [<a href="./hazel.bib">.bib</a>]
           [<a href="./hazel-snapl17.pdf">slides</a>]
         </div>
         </p>
+        <p>
+        <div class="paper">
+          <a class="major-paper" href="./papers/propl24.pdf">Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine</a><br />
+          <strong>PROPL 2024</strong> [<a href="./hazel.bib">.bib</a>]
+        </div>
+        </p>
       </div>
       <div class="card">
         <h2>Hazel</h2>
@@ -314,7 +320,13 @@ <h2>News and Publications</h2>
         <div class="news-list">
           <div class="date">Jan 2024</div>
           <div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> accepted <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
-            describing a principled approach to localizing errors in ill-typed programs.</div>
+            describing a principled approach to localizing errors in ill-typed programs. This paper was awarded a <span class="award">Distinguished Paper Award</span>!</div>
+          <div class="date">Jan 2024</div>
+          <div class="news-text"><a href="https://popl24.sigplan.org/home/propl-2024">PROPL 2024</a> accepted <a href="./papers/propl24.pdf">Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine</a>
+            describing our vision for tooling for the future of large-scale computational climate science.</div>  
+          <div class="date">Jan 2024</div>
+          <div class="news-text"><a href="https://trendsfp.github.io/index.html">TFP 2024</a> accepted <a href="./papers/polymorphism-tfp24.pdf">Polymorphism with Typed Holes</a>, a draft paper 
+            describing our approach to explicitly implicit polymorphism in Hazel.</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
@@ -324,9 +336,9 @@ <h2>News and Publications</h2>
           <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
-              CAREER</a>
-            award for the
+              href="https://new.nsf.gov/funding/opportunities/faculty-early-career-development-program-career" class="award">NSF
+              CAREER award</a>
+            for the
             project <a href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=2238744&HistoricalAwards=false">Live
               and
               Direct Programming Environments</a> which will support <a