diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index a2868dc..9f42481 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -118,6 +118,10 @@
   jh        = yes,
   reviewed  = yes,
   booktitle = cav18,
+  url       = {http://arxiv.org/abs/1804.04052},
+  eprint    = {1804.04052},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
 }
 
 @inproceedings{BEGGHS16,
diff --git a/content/news.md b/content/news.md
index 1dcb512..3064555 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **04/2018** Our preprint **Constraint-Based Synthesis of Coupling Proofs** is
+  now available.
 + **04/2018** **Constraint-Based Synthesis of Coupling Proofs** will appear at
   **CAV 2018**!
 + **03/2018** Our preprint **Probabilistic Program Equivalence for NetKAT** is