Update ICALP acceptance.

bibs/myrefs.bib

@@ -16,20 +16,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{ABHS18,
-  title    = {Almost Sure Productivity},
-  author   = {Aguirre, Alejandro and
-              Barthe, Gilles and
-              Hsu, Justin and
-              Silva, Alexandra},
-  year     = {2018},
-  jh       = yes,
-  url      = {https://arxiv.org/abs/1802.06283},
-  eprint   = {1802.06283},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
 @unpublished{SBGHK17,
   title  = {Reasoning about Divergences for Relaxations of Differential Privacy},
   author = {Sato, Tetsuya and
@@ -109,6 +95,23 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{ABHS18,
+  title    = {Almost Sure Productivity},
+  author   = {Aguirre, Alejandro and
+              Barthe, Gilles and
+              Hsu, Justin and
+              Silva, Alexandra},
+  year     = {2018},
+  booktitle = icalp18,
+  jh       = yes,
+  reviewed = yes,
+  url      = {https://arxiv.org/abs/1802.06283},
+  eprint   = {1802.06283},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  note     = "To appear.",
+}
+
 @inproceedings{AH18,
   title     = {Constraint-Based Synthesis of Coupling Proofs},
   author    = {Albarghouthi, Aws and