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

Trim news.

This commit is contained in:
Justin Hsu 2017-05-12 08:02:16 -04:00
parent e490409776
commit 7217e389fa
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
content/news.md
View File

@ -16,11 +16,3 @@
mechanism design**. mechanism design**.
+ **11/2016** Our preprint **Relational expectation properties by probabilistic + **11/2016** Our preprint **Relational expectation properties by probabilistic
coupling** is now available. coupling** is now available.
+ **10/2016** Slides now available for **Advanced probabilistic couplings for
differential privacy**.
+ **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**!