diff --git a/bibs/header.bib b/bibs/header.bib
index 8fdfe21..a2015f6 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -165,6 +165,7 @@
 @STRING{popl14      = popl # ", San Diego, California" }
 @STRING{popl15      = popl # ", Mumbai, India" }
 @STRING{popl16      = popl # ", Saint Petersburg, Florida" }
+@STRING{popl17      = popl # ", Paris, France" }
 % ----
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 5d6e718..887f240 100644
--- a/bibs/myrefs.bib
+++ b/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
diff --git a/content/news.md b/content/news.md
index fe19e6c..b9c94cc 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,7 @@
++ **10/2016** Our paper **Coupling proofs are probabilistic product
+  programs** will appear at **POPL 2017**!
++ **10/2016** Our paper **Computer-aided verification in mechanism design** will
+  appear at **POPL 2017**!
 + **09/2016** Our paper **Computer-aided verification in mechanism design** will
   appear at **WINE 2016**!
 + **07/2016** Our paper **Advanced probabilistic couplings for differential