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

Remove distinction between regular and arXiv.

This commit is contained in:
Justin Hsu 2016-10-13 12:27:37 -04:00
parent df7ef5d6e9
commit 302ae7368e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/news.md
View File

@ -9,7 +9,7 @@
+ **07/2016** Our paper **Differentially private Bayesian programming** will
appear at **CCS 2016**!
+ **07/2016** Our preprint **Coupling proofs are probabilistic product
programs** is now available on `arXiv`.
programs** is now available.
+ **07/2016** Slides now available for **Proving differential privacy via
probabilistic couplings**.
+ **07/2016** An updated version of our preprint **Formal verification of