Update news.
This commit is contained in:
parent
dacf190484
commit
c2c9f85ff9
|
@ -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**!
|
||||
|
|
Loading…
Reference in New Issue