From 5660c81d72a1d5cfd1dc9a77c24f0cf0b79a77da Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 11 Apr 2018 20:58:25 -0400
Subject: [PATCH] Add preprint for CAV.

---
 bibs/myrefs.bib | 4 ++++
 content/news.md | 2 ++
 2 files changed, 6 insertions(+)

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