diff --git a/index.html b/index.html
index 5400cc8..30b0867 100644
--- a/index.html
+++ b/index.html
@@ -91,7 +91,9 @@
About Links
Publications
-
+
+ - Soundly Handling Linearity. Wenhao Tang, Daniel Hillerström, Sam Lindley, and J. Garrett Morris. POPL 2024 (distinguished paper).
+
- Language-Integrated Query for Temporal Data. Simon Fowler, Vashti Galpin, and James Cheney. GPCE 2022.
- A Typed Slicing Compilation of the Polymorphic RPC Calculus.
Kwanghoon Choi, James Cheney, Sam Lindley, and Bob Reynders.
@@ -270,10 +272,9 @@
Core team
- Simon Fowler.
- Vashti Galpin.
- Daniel Hillerström.
- - Rudi Horn.
- Sam Lindley.
- Wilmer Ricciotti.
- - Jan Stolarek.
+ - Wenhao Tang.
- Philip Wadler.
Alumni
@@ -281,7 +282,9 @@ Alumni
- Ezra Cooper.
- Gilles Dubochet.
- Stefan Fehrenbach.
+ - Rudi Horn.
- Garrett Morris.
+ - Jan Stolarek.
- Jeremy Yallop.