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

Caps.

This commit is contained in:
Justin Hsu 2018-04-01 16:54:39 -04:00
parent f15001af81
commit 3799db6397
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/news.md
View File

@ -14,8 +14,8 @@
+ **10/2017** Our preprints **Reasoning about Divergences for Relaxations of + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
Differential Privacy** and **A Program Logic for Probabilistic Programs** are Differential Privacy** and **A Program Logic for Probabilistic Programs** are
now available. now available.
+ **09/2017** **Synthesizing Coupling proofs of Differential Privacy** and + **09/2017** **Synthesizing Coupling Proofs of Differential Privacy** and
**Proving Expected Sensitivity of Probabilistic Programs** will appear at **Proving Expected Sensitivity of Probabilistic Programs** will appear at
**POPL 2018**! **POPL 2018**!
+ **09/2017** Our preprint **Synthesizing Coupling proofs of Differential + **09/2017** Our preprint **Synthesizing Coupling Proofs of Differential
Privacy** is now available. Privacy** is now available.