diff --git a/content/news.md b/content/news.md index 9c2d018..22103ba 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,6 @@ ++ **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**! + **09/2020** This fall, I'm teaching a graduate seminar on **Security and @@ -10,8 +13,9 @@ [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 at - **POPL 2020**. Slides are available ++ **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 diff --git a/files/slides/cmcs20-tutorial.pdf b/files/slides/cmcs20-tutorial.pdf new file mode 100644 index 0000000..5d04f5f Binary files /dev/null and b/files/slides/cmcs20-tutorial.pdf differ