From 745415e7a20b410e0316a015deacdea103c5313a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sat, 13 Apr 2024 14:59:49 -0400 Subject: [PATCH] Update news. --- content/news.md | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/content/news.md b/content/news.md index 5cee677..24b3e69 100644 --- a/content/news.md +++ b/content/news.md @@ -1,13 +1,7 @@ -+ **09/2023** **Expressive Policies for Microservice Networks** to appear at - **HotNets 2023**. Congrats Karuna! ++ **04/2024** **Verifying Cake Cutting, Faster** to appear at **CAV 2024**. + Congrats Noah and Tean! ++ **04/2024** **Numerical Fuzz: A Type System for Rounding Error Analysis** to + appear at **PLDI 2024**. Congrats Ariel! + **08/2023** This fall, I am once again co-teaching 🐫[**Data Structures and Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023fa/)🐫 with Dexter Kozen. -+ **03/2023** **Cutting the Cake: A Language for Fair Division** to appear at - **PLDI 2023**. Congrats Noah! -+ **01/2023** This spring, I am co-teaching 🐫[**Data Structures and Functional - Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫 - with Dexter Kozen. -+ **11/2022** My domain is moving to `www.justinhsu.net`. You can reach me at - **new email address** `email@justinhsu.net`, or at `justin@cs.cornell.edu`. My - current email **will soon stop working**!