From f15001af8126f7e13931a3eb310cc78235a649b2 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 1 Apr 2018 16:54:20 -0400
Subject: [PATCH] Add CAV accept.

---
 bibs/header.bib |  1 +
 bibs/myrefs.bib | 19 +++++++++++--------
 content/news.md |  2 ++
 3 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index 732fe31..9685748 100644
--- a/bibs/header.bib
+++ b/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)" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 54c2349..e228b49 100644
--- a/bibs/myrefs.bib
+++ b/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
diff --git a/content/news.md b/content/news.md
index 6ba1a11..21e4c07 100644
--- a/content/news.md
+++ b/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.