From f49d186123d07ad88b4d95c16e81240d4823d344 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sat, 23 Dec 2017 16:26:36 +0000
Subject: [PATCH] Add ESOP acceptance.

---
 bibs/header.bib |  1 +
 bibs/myrefs.bib | 33 ++++++++++++++++++---------------
 content/news.md |  2 ++
 3 files changed, 21 insertions(+), 15 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index bf6e74c..994d3bd 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -674,6 +674,7 @@
 @STRING{esop13      = esop # ", Rome, Italy" }
 @STRING{esop14      = esop # ", Grenoble, France" }
 @STRING{esop16      = esop # ", Eindhoven, The Netherlands" }
+@STRING{esop18      = esop # ", Thessaloniki, Greece" }
 % ---
 @STRING{esorics03   = esorics # ", Gj{\o}vic, Norway" }
 % ---
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 13a0052..8297f66 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -14,19 +14,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{BEGGHS16,
-  title  = {A Program Logic for Probabilistic Programs},
-  author = {Barthe, Gilles and
-            Espitau, Thomas and
-            Gaboardi, Marco and
-            Gr{\'e}goire, Benjamin and
-            Hsu, Justin and
-            Strub, {Pierre}-{Yves}},
-  year   = {2017},
-  jh     = yes,
-  url    = {https://justinh.su/files/papers/ellora.pdf},
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @phdthesis{JHThesis,
@@ -91,6 +78,22 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BEGGHS16,
+  title  = {A Program Logic for Probabilistic Programs},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Gaboardi, Marco and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {Pierre}-{Yves}},
+  year   = {2018},
+  jh     = yes,
+  reviewed = yes,
+  booktitle = esop18,
+  url    = {https://justinh.su/files/papers/ellora.pdf},
+  note     = "To appear.",
+}
+
 @article{AH17,
   title    = {Synthesizing Coupling Proofs of Differential Privacy},
   author   = {Albarghouthi, Aws and
@@ -103,7 +106,7 @@
   number   = {POPL},
   articleno = {58},
   url      = {https://arxiv.org/abs/1709.05361},
-  note     = "To appear at " # popl18,
+  note     = "To appear at " # popl18 # ".",
   reviewed = yes,
   doi      = {10.1145/3158146},
   eprint   = {1709.05361},
@@ -127,7 +130,7 @@
   articleno = {57},
   doi      = {10.1145/3158145},
   url      = {https://arxiv.org/abs/1708.02537},
-  note     = "To appear at " # popl18,
+  note     = "To appear at " # popl18 # ".",
   reviewed = yes,
   eprint   = {1708.02537},
   archivePrefix = {arXiv},
diff --git a/content/news.md b/content/news.md
index 92a59ff..3f7b5ba 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **12/2017** **A Program Logic for Probabilistic Programs** will eppear at
+  **ESOP 2018**!
 + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
   Reasoning** is now available.
 + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of