From bc11166cbb634279321cb94d3dbf6fceaca6b5cf Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 10 Jan 2023 18:05:52 -0500 Subject: [PATCH] Update. --- content/news.md | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/content/news.md b/content/news.md index 5369013..1ec2b43 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,6 @@ ++ **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**! @@ -11,11 +14,3 @@ appear at **CAV 2022**. + **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI 2022**. -+ **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/) - with Christine Tasson, planned to be hybrid with an in-person meeting in - **Ithaca, New York**. Submit your best papers! -+ **01/2022** This spring, I am co-teaching 🐫[**Data Structures and Functional - Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2022sp/)🐫 - with Nate Foster. -+ **11/2021** **A Separation Logic for Negative Dependence** to appear at **POPL - 2022**.