justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update.

This commit is contained in:
Justin Hsu 2023-01-10 18:05:52 -05:00
parent 0ec7ff1bcf
commit bc11166cbb
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
content/news.md
View File

@ -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**.