diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index d55bb6e..2ae3fab 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,4 +1,17 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{BGGHS16b,
+  title  = {A program logic for union bounds},
+  author = {Barthe, Gilles and
+            Gaboardi, Marco and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {P}ierre-{Y}ves},
+  year    = 2016,
+  jh      = yes,
+  eprint  = yes,
+  url     = {http://arxiv.org/abs/1602.05681},
+}
+
 @unpublished{BEFFH16,
   title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
   author = {Barthe, Gilles and
@@ -9,6 +22,7 @@
   jh      = yes,
   docs    = yes,
 }
+
 @unpublished{BGGHS16,
   title  = {Proving differential privacy via probabilistic couplings},
   author = {Barthe, Gilles and
@@ -421,7 +435,7 @@
 
 @inproceedings{HR10,
   title     = {A multiplicative weights mechanism for privacy-preserving data analysis},
-  author    = {Hardt, Moritz and Rothblum, Guy N.},
+  author    = {Hardt, Moritz and Rothblum, Guy N},
   url       = {http://www.mit.edu/~rothblum/papers/pmw.pdf},
   booktitle = focs10,
   pages     = {61--70},
@@ -2148,7 +2162,7 @@ year           = {2014}
 }
 
 @article{alea,
-  title       = {Proofs of randomized algorithms in Coq},
+  title       = {Proofs of randomized algorithms in {C}oq},
   author      = {Audebaud, Philippe and Paulin-Mohring, Christine},
   journal     = {Science of Computer Programming},
   volume      = {74},
@@ -2950,7 +2964,7 @@ year           = {2011}
   booktitle    = cav13,
   pages        = {511--526},
   year         = {2013},
-  organization = springer
+  url          = {https://www.cs.colorado.edu/~srirams/papers/cav2013-martingales.pdf}
 }
 
 @inproceedings{FerrerHermanns15,
@@ -2960,6 +2974,7 @@ year           = {2011}
   booktitle    = popl15,
   pages        = {489--501},
   year         = {2015},
+  url          = {http://www.ae-info.org/attach/User/Hermanns_Holger/Publications/FH-POPL15.pdf},
   organization = {ACM}
 }
 
@@ -3619,3 +3634,29 @@ language={English}
 	Pages = {101--114},
 	Title = {Semantics of probabilistic programs},
 	Year = {1979}}
+
+@InProceedings{ChakarovS14,
+author = {Aleksandar Chakarov and Sriram Sankaranarayanan},
+title = {Expectation Invariants as Fixed Points of Probabilistic Programs},
+year = {2014},
+pages = {85--100},
+publisher = {Springer-Verlag},
+booktitle = sas14,
+series = {Lecture Notes in Computer Science},
+volume = {8723},
+url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf}
+}
+
+@inproceedings{CousotM12,
+  author    = {Patrick Cousot and
+               Michael Monerau},
+  editor    = {Helmut Seidl},
+  title     = {Probabilistic Abstract Interpretation},
+  booktitle = esop12,
+  series    = {Lecture Notes in Computer Science},
+  volume    = {7211},
+  pages     = {169--193},
+  publisher = {Springer},
+  year      = {2012},
+  url       = {http://www.di.ens.fr/~cousot/publications.www/Cousot-Monerau-ESOP2012-extended.pdf}
+}
diff --git a/content/news.md b/content/news.md
index 7923928..7625cae 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,5 +1,7 @@
-+ **01/2016** Our preprint **Do prices coordinate markets?** has been accepted
-  to **STOC 2016**!
++ **02/2016** Our preprint **A program logic for union bounds** is now available
+  on `arXiv`.
++ **01/2016** Our paper **Do prices coordinate markets?** has been accepted to
+  **STOC 2016**!
 + **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
   decomposition** is now available.
 + **01/2016** Our preprint **Proving differential privacy via probabilistic
@@ -12,9 +14,3 @@
   2016**.
 + **11/2015** Our preprint **Do prices coordinate markets?** is now available on
   `arXiv`.
-+ **09/2015** Our preprint **Relational reasoning via probabilistic coupling**
-  is now available on `arXiv`.
-+ **09/2015** Our paper **Jointly private convex programming** has been accepted
-  to **SODA 2016**!
-+ **09/2015** Our paper **Relational reasoning via probabilistic coupling** has
-  been accepted to **LPAR 2015**!