Add martingales paper.

bibs/myrefs.bib

@@ -1,4 +1,14 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{BEFFH16,
+  title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Ferrer Fioriti, Luis Mar{\'i}a and
+            Hsu, Justin},
+  year    = 2016,
+  jh      = yes,
+  docs    = yes,
+}
 @unpublished{BGGHS16,
   title  = {Proving differential privacy via probabilistic couplings},
   author = {Barthe, Gilles and

content/news.md

@@ -1,3 +1,5 @@
++ **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
+  decomposition** is now available.
 + **01/2016** Our preprint **Proving differential privacy via probabilistic
   couplings** is now available on `arXiv`.
 + **01/2016** Slides now available for  **Jointly private convex programming**,