From f65381494ae511060cd2386e60befca3b79bee99 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 1 Feb 2017 21:25:02 -0500
Subject: [PATCH] Update link.

---
 bibs/myrefs.bib | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 0720d32..239ec02 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -93,6 +93,7 @@
   jh     = yes,
   plclub    = yes,
   reviewed = yes,
+  acceptance = {64/282=0.22},
 }
 
 @inproceedings{ACGHK16,
@@ -104,10 +105,11 @@
             Cherigui, Ikram},
   booktitle = popl17,
   year   = 2017,
-  url    = {http://justinh.su/files/papers/metric-sem.pdf},
+  url    = {http://arxiv.org/abs/1702.00374},
   jh     = yes,
   plclub    = yes,
   reviewed = yes,
+  acceptance = {64/282=0.22},
 }
 
 @inproceedings{HKM-verif16,
@@ -3371,7 +3373,7 @@ year           = {2011}
 }
 
 @article{HartogVink02,
-  title        = {Verifying probabilistic programs using a Hoare like logic},
+  title        = {Verifying probabilistic programs using a {H}oare like logic},
   author       = {den Hartog, J I and de Vink, Erik P},
   journal      = {International Journal of Foundations of Computer Science},
   volume       = {13},
@@ -3395,7 +3397,7 @@ year           = {2011}
 
 @misc{RandZdancewic15,
   author       = {Rand, Robert and Zdancewic, Steve},
-  title        = {A Formally Verified Probabilistic Hoare Logic with Non-Termination},
+  title        = {A Formally Verified Probabilistic {H}oare Logic with Non-Termination},
   year         = 2015
 }
 
@@ -4257,7 +4259,7 @@ archivePrefix = "arXiv",
 }
 
 @inproceedings{sousa2016cartesian,
-  title={Cartesian hoare logic for verifying k-safety properties},
+  title={Cartesian {H}oare logic for verifying $k$-safety properties},
   author={Sousa, Marcelo and Dillig, Isil},
   booktitle=pldi16,
   pages={57--69},
@@ -4301,7 +4303,7 @@ archivePrefix = "arXiv",
 @article{DBLP:journals/rsa/Jerrum95,
   author    = {Mark Jerrum},
   title     = {A Very Simple Algorithm for Estimating the Number of
-    k-Colorings of a Low-Degree Graph},
+    $k$-Colorings of a Low-Degree Graph},
   journal   = {Random Struct. Algorithms},
   volume    = {7},
   number    = {2},