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

Fix.

This commit is contained in:
Justin Hsu 2016-10-04 14:32:26 -04:00
parent 36d188ae53
commit 9f68d5f189
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
content/news.md
View File

@ -1,13 +1,13 @@
+ **10/2016** Our paper **Coupling proofs are probabilistic product
programs** will appear at **POPL 2017**!
+ **10/2016** Our paper **Computer-aided verification in mechanism design** will
+ **10/2016** Our paper **Coupling proofs are probabilistic product programs**
will appear at **POPL 2017**!
+ **10/2016** Our paper **A semantic account of metric preservation** will
appear at **POPL 2017**!
+ **09/2016** Our paper **Computer-aided verification in mechanism design** will
appear at **WINE 2016**!
+ **07/2016** Our paper **Advanced probabilistic couplings for differential
privacy** will appear at **CCS 2016**!
+ **07/2016** Our paper **Differentially private Bayesian programming**
will appear at **CCS 2016**!
+ **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`.
+ **07/2016** Slides now available for **Proving differential privacy via