Add CAV accept.

bibs/header.bib

@@ -644,6 +644,7 @@
 @STRING{cav15       = cav # ", San Francisco, California" }
 @STRING{cav16       = cav # ", Toronto, Ontario" }
 @STRING{cav17       = cav # ", Heidelberg, Germany" }
+@STRING{cav18       = cav # ", Oxford, England" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }

bibs/myrefs.bib

@@ -30,14 +30,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{AH18,
-  title    = {Constraint-Based Synthesis of Coupling Proofs},
-  author   = {Albarghouthi, Aws and
-              Hsu, Justin},
-  year     = {2018},
-  jh       = yes,
-}
-
 @unpublished{SBGHK17,
   title  = {Reasoning about Divergences for Relaxations of Differential Privacy},
   author = {Sato, Tetsuya and
@@ -117,6 +109,17 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{AH18,
+  title     = {Constraint-Based Synthesis of Coupling Proofs},
+  author    = {Albarghouthi, Aws and
+               Hsu, Justin},
+  year      = {2018},
+  note      = "To appear.",
+  jh        = yes,
+  reviewed  = yes,
+  booktitle = cav18,
+}
+
 @inproceedings{BEGGHS16,
   title  = {A Program Logic for Probabilistic Programs},
   author = {Barthe, Gilles and

content/news.md

@@ -1,3 +1,5 @@
++ **04/2018** **Constraint-Based Synthesis of Coupling Proofs** will appear at
+  **CAV 2018**!
 + **03/2018** Our preprint **Probabilistic Program Equivalence for NetKAT** is
   now available.
 + **02/2018** Our preprint **Almost Sure Productivity** is now available.