From 9b73987dc8e1b4fbfe4bf66fe45498a304c09c29 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Mon, 2 May 2016 21:15:08 -0400
Subject: [PATCH] Add PrivInfer draft.

---
 bibs/myrefs.bib | 15 +++++++++++++++
 content/news.md |  2 ++
 2 files changed, 17 insertions(+)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index c1050b4..0e0e93d 100644
--- a/bibs/myrefs.bib
+++ b/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}
+}
diff --git a/content/news.md b/content/news.md
index a491311..312dc88 100644
--- a/content/news.md
+++ b/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