From 2fb6ce9dd3e195dd6ae64157e1236e5a51482c1f Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 23 May 2018 23:05:50 -0400
Subject: [PATCH] Tweak bibs.

---
 bibs/header.bib |  3 +++
 bibs/myrefs.bib | 30 +++++++++++++++---------------
 2 files changed, 18 insertions(+), 15 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index cebd072..430a718 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -349,6 +349,7 @@
 
 % ----
 @STRING{focs        = "{IEEE} {S}ymposium on {F}oundations of {C}omputer {S}cience (FOCS)"}
+@STRING{focs77      = focs # ", Providence, Rhode Island"}
 @STRING{focs79      = focs # ", San Juan, Puerto Rico"}
 @STRING{focs82      = focs # ", Chicago, Illinois"}
 @STRING{focs89      = focs # ", Triangle Park, North Carolina"}
@@ -628,6 +629,7 @@
 @STRING{concur01    = concur # ", Aalborg, Denmark" }
 @STRING{concur06    = concur # ", Bonn, Germany" }
 @STRING{concur07    = concur # ", Lisbon, Portugal" }
+@STRING{concur17    = concur # ", Berlin, Germany" }
 % ---
 @STRING{calco13     = concur # ", Warsaw, Poland" }
 @STRING{calco15     = concur # ", Nijmegen, The Netherlands" }
@@ -707,6 +709,7 @@
 % ---
 STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
+@STRING{fossacs03   = fossacs # ", Warsaw, Poland" }
 @STRING{fossacs09   = fossacs # ", York, England" }
 @STRING{fossacs11   = fossacs # ", Saarbr{\"u}cken, Germany" }
 @STRING{fossacs15   = fossacs # ", London, England" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index de2b7d5..ebec9bd 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -95,6 +95,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% 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,
+  url       = {https://arxiv.org/abs/1804.04052},
+  eprint    = {1804.04052},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+}
+
 @inproceedings{ABHS18,
   title    = {Almost Sure Productivity},
   author   = {Aguirre, Alejandro and
@@ -112,21 +127,6 @@
   note     = "To appear.",
 }
 
-@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,
-  url       = {https://arxiv.org/abs/1804.04052},
-  eprint    = {1804.04052},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
 @inproceedings{BEGGHS16,
   title  = {An Assertion-Based Program Logic for Probabilistic Programs},
   author = {Barthe, Gilles and