Webpage update.

bibs/myrefs.bib

@@ -2508,12 +2508,15 @@ language={English}
   eprint    = yes
 } 
 
-@unpublished{AHJ15,
-  title     = {Online Assignment with Heterogeneous Tasks and Deadlines},
+@inproceedings{AHJ15,
+  title     = {Online Assignment with Heterogeneous Tasks in Crowdsourcing
+    Markets},
   author    = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
   year      = {2015},
+  booktitle = hcomp15,
+  url       = {http://arxiv.org/abs/1508.03593},
   jh        = yes,
-  docs      = yes
+  eprint    = yes
 }
 
 @unpublished{HKM-verif15,
@@ -2937,3 +2940,29 @@ year={2011}
   pages={159--169},
   year={2008},
 }
+
+@unpublished{BEGGHS15,
+  title     = {Formal Certification of Randomized Algorithms},
+  author    = {Barthe, Gilles and
+               Espitau, Thomas and
+               Gaboardi, Marco and
+               Gr{\'e}goire, Benjamin and
+               Hsu, Justin and
+               Strub, {P}ierre-{Y}ves},
+  year      = 2015,
+  jh        = yes,
+  docs      = yes,
+}
+
+@unpublished{BEGHSS15,
+  title     = {Relational reasoning via probabilistic coupling},
+  author    = {Barthe, Gilles and
+               Espitau, Thomas and
+               Gr{\'e}goire, Benjamin and
+               Hsu, Justin and
+               Stefanesco, L{\'e}o and
+               Strub, {P}ierre-{Y}ves},
+  year      = 2015,
+  jh        = yes,
+  docs      = yes,
+}