justhsu/justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add drafts.

Browse Source
This commit is contained in:
Justin Hsu
2017-11-01 15:41:54 +00:00
parent 13769a70aa
commit 51577ac507
3 changed files with 23 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
content/news.md
+5 -2
View File
@@ -1,5 +1,8 @@
+ **09/2017** **Synthesizing coupling proofs of differential privacy** and
**Proving expected sensitivity of probabilistic programs** will appear at
+ **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
Differential Privacy** and **A Progra Logic for Probabilistic Programs** are
now available.
+ **09/2017** **Synthesizing Coupling proofs of Differential Privacy** and
**Proving Expected Sensitivity of Probabilistic Programs** will appear at
**POPL 2018**!
+ **09/2017** Our preprint **Synthesizing coupling proofs of differential
privacy** is now available.