Add PrivInfer draft.

bibs/myrefs.bib

@@ -9,7 +9,9 @@
             Hsu, Justin and
             Strub, Pierre-Yves},
   year   = {2016},
+  url    = {https://arxiv.org/abs/1605.00283},
   jh     = yes,
+  eprint = yes,
 }
 
 @unpublished{HKM-verif16,
@@ -3700,3 +3702,16 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf}
   year      = {2012},
   url       = {http://www.di.ens.fr/~cousot/publications.www/Cousot-Monerau-ESOP2012-extended.pdf}
 }
+
+@incollection{dwork2006our,
+  title={Our data, ourselves: Privacy via distributed noise generation},
+  author={Dwork, Cynthia and
+          Kenthapadi, Krishnaram and
+          McSherry, Frank and
+          Mironov, Ilya and
+          Naor, Moni},
+  booktitle=eucrypt06,
+  pages={486--503},
+  year={2006},
+  publisher={Springer}
+}

content/news.md

@@ -1,3 +1,5 @@
++ **05/2016** Our preprint **Differentially private Bayesian programming** is
+  now available on `arXiv`.
 + **04/2016** Our paper **Synthesizing probabilistic invariants via Doob's
   decomposition** will appear at **CAV 2016**!
 + **04/2016** Our paper **A program logic for union bounds** will appear at