Replace coupling paper with arxiv link.

bibs/myrefs.bib

@@ -52,7 +52,8 @@
   booktitle = lpar15,
   year      = 2015,
   jh        = yes,
-  docs = yes,
+  eprint    = yes,
+  url       = {http://arxiv.org/abs/1509.03476},
   note      = {To appear.}
 }
 
@@ -639,8 +640,7 @@
 }
 
 @inproceedings{CM08,
-  author    = {Kamalika Chaudhuri and
+  author       = {Kamalika Chaudhuri and Claire Monteleoni},
-               Claire Monteleoni},
   title        = {Privacy-preserving logistic regression},
   booktitle    = nips08,
   pages        = {289--296},
@@ -658,16 +658,18 @@
   year         = {2011}
 }
 
-@inproceedings{certipriv,
+@article{certipriv,
-  author    = {Barthe, Gilles and K\"{o}pf, Boris and Olmedo, Federico and
+  author       = {Gilles Barthe and
-    Zanella B{\'e}guelin, Santiago},
+                  Boris K{\"{o}}pf and
-  title     = {Probabilistic relational reasoning for differential privacy},
+                  Federico Olmedo and
-  booktitle = popl12,
+                  Santiago Zanella B{\'{e}}guelin},
-  year      = {2012},
+  title        = {Probabilistic Relational Reasoning for Differential Privacy},
-  pages     = {97--110},
+  journal      = toplas,
-  numpages  = {14},
+  volume       = {35},
-  keywords  = {coq proof assistant, differential privacy, relational hoare logic},
+  number       = {3},
-  url       = {http://dl.acm.org/citation.cfm?id=2103670}
+  pages        = {9},
+  year         = {2013},
+  url          = {http://software.imdea.org/~bkoepf/papers/toplas13.pdf},
 }
 
 @inproceedings{ReedPierce10,
@@ -977,8 +979,7 @@
   journal = jmlr,
   volume  = {1},
   pages   = {281--309},
-  url     =
+  url     = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.7354&rep=rep1&type=pdf},
-  {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.7354&rep=rep1&type=pdf},
   year    = {2001}
 }
 
@@ -1040,8 +1041,7 @@
   booktitle = popl04,
   pages     = {281--292},
   year      = 2004,
-  url       =
+  url       = {http://www.cs.cmu.edu/~joshuad/papers/tridirectional-typechecking/Dunfield04_tridirectional.pdf}
-  {http://www.cs.cmu.edu/~joshuad/papers/tridirectional-typechecking/Dunfield04_tridirectional.pdf}
 }
 
 
@@ -1280,16 +1280,6 @@ url          = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pd
   url       = {http://research.microsoft.com/en-us/um/people/nswamy/papers/rfstar.pdf}
 }
 
-
-@inproceedings{BGZ09,
-	Address = {New York},
-	Author = {Barthe, Gilles and Gr{\'e}goire, Benjamin and {Zanella-B{\'e}guelin}, Santiago},
-	Booktitle = popl09,
-	Title = {Formal Certification of Code-Based Cryptographic Proofs},
-	Year = {2009},
-  url = {http://research.microsoft.com/pubs/185309/Zanella.2009.POPL.pdf}
-}
-
 @INPROCEEDINGS{polymonad,
   TITLE     = {Polymonadic Programming},
   AUTHOR    = {Michael Hicks and Gavin Bierman and Nataliya Guts and Daan Leijen and Nikhil Swamy},
@@ -1305,8 +1295,7 @@ url          = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pd
 	Pages        = {1--12},
 	Title        = {Differential Privacy},
 	Year         = {2006},
-  url =
+  url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.7534&rep=rep1&type=pdf}
-  {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.7534&rep=rep1&type=pdf}
 }
 
 @inproceedings{Benton04,
@@ -1561,8 +1550,7 @@ year = {2014}
 
 
 @inproceedings{DBLP:conf/esop/KnowlesF07,
-  author    = {Kenneth Knowles and
+  author       = {Kenneth Knowles and Cormac Flanagan},
-               Cormac Flanagan},
   title        = {Type Reconstruction for General Refinement Types},
   booktitle    = esop07,
   year         = {2007},
@@ -1571,8 +1559,7 @@ year = {2014}
 }
 
 @inproceedings{DBLP:conf/esop/WadlerF09,
-  author    = {Philip Wadler and
+  author       = {Philip Wadler and Robert Bruce Findler},
-               Robert Bruce Findler},
   title        = {Well-Typed Programs Can't Be Blamed},
   booktitle    = esop09,
   year         = {2009},
@@ -1581,9 +1568,7 @@ year = {2014}
 }
 
 @inproceedings{DBLP:conf/popl/GreenbergPW10,
-  author    = {Michael Greenberg and
+  author       = {Michael Greenberg and Benjamin C Pierce and Stephanie Weirich},
-               Benjamin C Pierce and
-               Stephanie Weirich},
   title        = {Contracts made manifest},
   booktitle    = popl10,
   year         = {2010},
@@ -1592,8 +1577,7 @@ year = {2014}
 }
 
 @inproceedings{DBLP:conf/sfp/GronskiF07,
-  author    = {Jessica Gronski and
+  author       = {Jessica Gronski and Cormac Flanagan},
-               Cormac Flanagan},
   title        = {Unifying Hybrid Types and Contracts},
   booktitle    = tfp07,
   year         = {2007},
@@ -1619,8 +1603,7 @@ year = {2014}
 }
 
 @inproceedings{FindlerF02,
-  author    = {Robert Bruce Findler and
+  author       = {Robert Bruce Findler and Matthias Felleisen},
-               Matthias Felleisen},
   title        = {Contracts for higher-order functions},
   booktitle    = icfp02,
   year         = {2002},
@@ -1674,8 +1657,7 @@ year = {2014}
     booktitle = {Scheme and Functional Programming Workshop},
     year      = {2006},
     pages     = {93--104},
-    url =
+    url       = {http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf}
-    {http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf}
 }
 
 @inproceedings{EignerM13,

content/news.md

@@ -1,3 +1,5 @@
++ **09/2015** Our preprint **Relational reasoning via probabilistic coupling**
+is now available on `arXiv`.
 + **09/2015** Our paper **Jointly private convex programming** has been accepted
 to **SODA 2016**!
 + **09/2015** Our paper **Relational reasoning via probabilistic coupling**