Add POPL accepts.

bibs/myrefs.bib

@@ -1,15 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{BGHS16,
-  title  = {Coupling proofs are probabilistic product programs},
-  author = {Barthe, Gilles 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/1607.03455},
-}
 
 @unpublished{BEGGHS16,
   title  = {Formal certification of randomized algorithms},
@@ -24,19 +13,35 @@
   docs   = yes,
 }
 
-@unpublished{ACGHK16,
+%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BGHS16,
+  title  = {Coupling proofs are probabilistic product programs},
+  author = {Barthe, Gilles and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {P}ierre-{Y}ves},
+  booktitle = popl17,
+  year   = 2017,
+  jh     = yes,
+  eprint = yes,
+  url    = {http://arxiv.org/abs/1607.03455},
+  note   = {To appear.}
+}
+
+@inproceedings{ACGHK16,
   title  = {A semantic account of metric preservation},
   author = {de Amorim, Arthur Azevedo and
             Cherigui, Ikram and
             Gaboardi, Marco and
             Hsu, Justin and
             Katsumata, {Shin-ya}},
-  year   = 2016,
+  booktitle = popl17,
+  year   = 2017,
   jh     = yes,
   docs   = yes,
+  note   = {To appear.}
 }
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @inproceedings{HKM-verif16,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and