From 7cb03409bd1bc5df15dddb77f9cf37d03f8af6eb Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Thu, 28 Mar 2019 19:19:07 -0500
Subject: [PATCH] Update bibs.

---
 bibs/header.bib |  5 ++++
 bibs/myrefs.bib | 62 ++++++++++++++++++++++++++-----------------------
 2 files changed, 38 insertions(+), 29 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index 491424b..63c1038 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -261,6 +261,7 @@
 @STRING{lics14      = lics # ", Vienna, Austria" }
 @STRING{lics16      = lics # ", New York, New York" }
 @STRING{lics17      = lics # ", Reykjavik, Iceland" }
+@STRING{lics19      = lics # ", Vancouver, British Columbia" }
 % ----
 @STRING{pldi        = "{ACM SIGPLAN Conference on Programming Language Design
                       and Implementation (PLDI)}" }
@@ -654,6 +655,8 @@
 @STRING{concur01    = concur # ", Aalborg, Denmark" }
 @STRING{concur06    = concur # ", Bonn, Germany" }
 @STRING{concur07    = concur # ", Lisbon, Portugal" }
+@STRING{concur09    = concur # ", Bologna, Italy" }
+@STRING{concur14    = concur # ", Rome, Italy" }
 @STRING{concur17    = concur # ", Berlin, Germany" }
 % ---
 @STRING{calco13     = concur # ", Warsaw, Poland" }
@@ -734,6 +737,7 @@
 @STRING{fm12        = fm # ", Paris, France" }
 % ---
 @STRING{fmco06      = fmco # ", Amsterdam, The Netherlands" }
+@STRING{fmco09      = fmco # ", Eindhoven, The Netherlands" }
 % ---
 STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
@@ -830,6 +834,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{tacs01      = tacs # ", Sendai, Japan" }
 % ---
 @STRING{tacas98     = tacas # ", Lisbon, Portugal" }
+@STRING{tacas01     = tacas # ", Genova, Italy" }
 @STRING{tacas06     = tacas # ", Vienna, Austria" }
 @STRING{tacas08     = tacas # ", Budapest, Hungary" }
 @STRING{tacas11     = tacas # ", Saarbr{\"u}cken, Germany" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index b59a8f2..2203c7e 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -30,35 +30,6 @@
   jh     = yes,
 }
 
-@unpublished{ACGHK19,
-  title  = {Probabilistic Relational Reasoning via Metrics},
-  author = {Azevedo de Amorim, Arthur and
-            Gaboardi, Marco and
-            Hsu, Justin and
-            Katsumata, {Shin-ya}},
-  year   = 2019,
-  url    = {https://arxiv.org/abs/1807.05091},
-  eprint = {1807.05091},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-  jh     = yes,
-}
-
-@unpublished{SBGHK17,
-  title  = {Approximate Span Liftings},
-  author = {Sato, Tetsuya and
-            Barthe, Gilles and
-            Gaboradi, Marco and
-            Hsu, Justin and
-            Katsumata, {Shin-ya}},
-  year   = {2018},
-  url    = {https://arxiv.org/abs/1710.09010},
-  jh     = yes,
-  eprint = {1710.09010},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
@@ -123,6 +94,39 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{ACGHK19,
+  title  = {Probabilistic Relational Reasoning via Metrics},
+  author = {Azevedo de Amorim, Arthur and
+            Gaboardi, Marco and
+            Hsu, Justin and
+            Katsumata, {Shin-ya}},
+  booktitle = lics19,
+  year   = 2019,
+  url    = {https://arxiv.org/abs/1807.05091},
+  eprint = {1807.05091},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  jh     = yes,
+  note   = "To appear."
+}
+
+@inproceedings{SBGHK17,
+  title  = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy},
+  author = {Sato, Tetsuya and
+            Barthe, Gilles and
+            Gaboradi, Marco and
+            Hsu, Justin and
+            Katsumata, {Shin-ya}},
+  booktitle = lics19,
+  year   = 2019,
+  url    = {https://arxiv.org/abs/1710.09010},
+  eprint = {1710.09010},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  jh     = yes,
+  note   = "To appear."
+}
+
 @inproceedings{SKFHKKS18,
   title     = {Scalable Verification of Probabilistic Network Programs},
   author    = {Smolka, Steffen and