From d72667da01f842e89729413b095b426cb5bfe41f Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sat, 10 Jul 2021 23:36:18 +0100 Subject: [PATCH] Add PCs. --- content/about.md | 1 + content/news.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/content/about.md b/content/about.md index 4ba4210..9e3f767 100644 --- a/content/about.md +++ b/content/about.md @@ -54,6 +54,7 @@ differential privacy to optimization, machine learning, and mechanism design. - **Topics in Security and Privacy Technologies (CS 839)**: [F18](teaching/f18/cs839/) ## Service ## +- **2022** POPL, PLDI - **2021** ESOP, PLMW@POPL, CSF, AAAI, COLT, WoLLIC, MFPS - **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL, OOPSLA (ERC) - **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair) diff --git a/content/news.md b/content/news.md index 86239fd..cc26666 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**. + Submit your best papers! + **06/2021** I gave four lectures at this year's (virtual) [Oregon PL Summer School](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php). Slides and lecture recordings are [available @@ -27,5 +29,3 @@ (OWLS-YR)**](https://www.cs.bham.ac.uk/~vicaryjo/owls/) on probabilistic separation logic. Slides are available [here](https://justinh.su/files/slides/owls-yr.pdf). -+ **04/2020** I received an **NSF CAREER** award for **Cara: Compositional - Analysis for Randomized Algorithms**!