This commit is contained in:
Justin Hsu
2020-01-13 10:27:07 -06:00
parent a062156ffe
commit 02ef453eb8
3 changed files with 24 additions and 16 deletions
+2
View File
@@ -1,3 +1,5 @@
+ **10/2019** **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**.
+ **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra