diff --git a/content/news.md b/content/news.md index 22103ba..443ca78 100644 --- a/content/news.md +++ b/content/news.md @@ -1,8 +1,12 @@ ++ **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has + been selected as a **Distingiushed Paper** at **POPL 2021**! ++ **12/2020** **Learning Differentially Private Mechanisms** to appear at **S&P + 2021**. + **10/2020** I was happy to present a tutorial on probabilistic couplings at [**CMCS 2020**](https://www.coalg.org/cmcs20/). Slides are available [here](https://justinh.su/files/slides/cmcs20-tutorial.pdf). + **10/2020** **A Pre-Expectation Calculus for Probabilistic Sensitivity** to - appear at **POPL 2021**! + appear at **POPL 2021**. + **09/2020** This fall, I'm teaching a graduate seminar on **Security and Privacy in Data Science (CS 763)**. Follow along [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs763/)! @@ -11,17 +15,5 @@ (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**! -+ **01/2020** I was happy to present a [tutorial on probabilistic - couplings](https://popl20.sigplan.org/details/POPL-2020-tutorialfest/6/-T6-Verifying-Probabilistic-Properties-with-Couplings) - at **POPL 2020**. Slides are available - [here](https://justinh.su/files/slides/popl20-tutorial.pdf). -+ **01/2020** This spring, I'm teaching an undergraduate course **Introduction - to the Theory and Design of Programming Languages (CS 538)**, covering Haskell - and Rust. Follow along - [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)! -+ **01/2020** **Hypothesis Testing Interpretations and Rényi Differential - Privacy** to appear at **AISTATS 2020**! -+ **01/2020** **Guarded Kleene Algebra with Tests** has been selected as a - **Distingiushed Paper** at **POPL 2020**. ++ **04/2020** I received an **NSF CAREER** award for **Cara: Compositional + Analysis for Randomized Algorithms**!