From 44de92836927ee81a750806a99166d2bc0aa4f20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 19 Jul 2024 15:12:09 +0200
Subject: [PATCH] Some updates (#11)

* Some updates.

* Added Tang et al. (2024) to the publication list
* Moved Rudi and Jan to alumni list
* Added Wenhao to the core team

* Update index.html

Co-authored-by: James Cheney <jcheney@inf.ed.ac.uk>

---------

Co-authored-by: James Cheney <jcheney@inf.ed.ac.uk>
---
 index.html | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 5400cc8..30b0867 100644
--- a/index.html
+++ b/index.html
@@ -91,7 +91,9 @@ <h2>About Links</h2>
 
       <section class="publications-section">
         <h2>Publications</h2>
-      <ul>
+        <ul>
+          <li><a href="https://doi.org/10.1145/3632896">Soundly Handling Linearity</a>. Wenhao Tang, Daniel Hillerstr&ouml;m, Sam Lindley, and J. Garrett Morris. POPL 2024 (distinguished paper).
+          </li>
           <li><a href="https://arxiv.org/abs/2210.12077">Language-Integrated Query for Temporal Data</a>. Simon Fowler, Vashti Galpin, and James Cheney. GPCE 2022.</li>
 	      <li><a href="https://arxiv.org/abs/2107.10793">A Typed Slicing Compilation of the Polymorphic RPC Calculus</a>.
 	    Kwanghoon Choi, James Cheney, Sam Lindley, and Bob Reynders.
@@ -270,10 +272,9 @@ <h2>Core team</h2>
           <li><a href="http://simonjf.com/">Simon Fowler</a>.</li>
           <li><a href="https://homepages.inf.ed.ac.uk/vgalpin1/">Vashti Galpin</a>.</li>
           <li><a href="https://www.dhil.net/research/">Daniel Hillerstr&ouml;m</a>.</li>
-          <li><a href="http://rudi-horn.de/About">Rudi Horn</a>.</li>
           <li><a href="http://homepages.inf.ed.ac.uk/slindley/">Sam Lindley</a>.</li>
           <li><a href="http://www.wilmer-ricciotti.net/index.shtml">Wilmer Ricciotti</a>.</li>
-          <li><a href="http://ics.p.lodz.pl/~stolarek">Jan Stolarek</a>.</li>
+          <li><a href="http://https://thwfhk.github.io/">Wenhao Tang</a>.</li>
           <li><a href="http://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a>.</li>
         </ul>
         <h2>Alumni</h2>
@@ -281,7 +282,9 @@ <h2>Alumni</h2>
           <li>Ezra Cooper.</li>
           <li>Gilles Dubochet.</li>
           <li><a href="http://stefan-fehrenbach.net/">Stefan Fehrenbach</a>.</li>
+          <li><a href="http://rudi-horn.de/About">Rudi Horn</a>.</li>
           <li><a href="https://jgbm.github.io/">Garrett Morris</a>.</li>
+          <li><a href="https://jstolarek.github.io/">Jan Stolarek</a>.</li>
           <li>Jeremy Yallop.</li>
         </ul>
       </section>