Add updated draft, update news.

bibs/header.bib

@@ -174,6 +174,7 @@
 % ----
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }
+@STRING{icfp17      = icfp # ", Oxford, England" }
 @STRING{icfp14      = icfp # ", Gothenburg, Sweden" }
 @STRING{icfp13      = icfp # ", Boston, Massachusetts" }
 @STRING{icfp12      = icfp # ", Copenhagen, Denmark" }
@@ -268,6 +269,7 @@
 @STRING{pldi02      = pldi # ", Berlin, Germany" }
 @STRING{pldi03      = pldi # ", San Diego, California" }
 @STRING{pldi08      = pldi # ", Tucson, Arizona" }
+@STRING{pldi11      = pldi # ", San Jose, California" }
 @STRING{pldi12      = pldi # ", Beijing, China" }
 @STRING{pldi14      = pldi # ", Edinburgh, Scotland" }
 @STRING{pldi16      = pldi # ", Santa Barbara, California" }
@@ -462,6 +464,7 @@
                    ({CSF})" }
 @STRING{csf07    = csf # ", Venice, Italy" }
 @STRING{csf08    = csf # ", Pittsburgh, Pennsylvania" }
+@STRING{csf10    = csf # ", Edinburgh, Scotland" }
 @STRING{csf11    = csf # ", Domaine de l'Abbaye des Vaux de Cernay, France" }
 @STRING{csf13    = csf # ", New Orleans, Louisiana" }
 @STRING{csf14    = csf # ", Vienna, Austria" }
@@ -492,6 +495,7 @@
 @STRING{aplas     = {Asian Symposium on Programming Languages and Systems (APLAS)} }
 @STRING{asplos    = {International Conference on Architectural Support for
                     Programming Langauages and Operating Systems (ASPLOS)} }
+@STRING{calco     = {Conference on Algebra and Coalgebra in Computer Science ({CALCO})}}
 @STRING{cav       = {International Conference on Computer Aided Verification (CAV)} }
 @STRING{ceemas    = {International Central and Eastern European Conference on
                     Multi-Agent Systems} }
@@ -586,6 +590,7 @@
 @STRING{ascrypt15   = ascrypt # ", Auckland, New Zealand" }
 %----
 @STRING{asplos14    = aplas # ", Salt Lake City, Utah" }
+@STRING{asplos06    = aplas # ", San Jose, California" }
 %----
 @STRING{ceemas07    = ceemas # ", Leipzig, Germany" }
 % ---
@@ -596,9 +601,13 @@
 % ---
 @STRING{concur07    = concur # ", Lisbon, Portugal" }
 % ---
+@STRING{calco15     = concur # ", Nijmegen, The Netherlands" }
+% ---
 @STRING{cav96       = cav # ", New Brunswick, New Jersey" }
+@STRING{cav97       = cav # ", Haifa, Israel" }
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
 @STRING{cav03       = cav # ", Boulder, Colorado" }
+@STRING{cav06       = cav # ", Seattle, Washington" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
 @STRING{cav11       = cav # ", Snowbird, Utah" }
 @STRING{cav12       = cav # ", Berkeley, California" }
@@ -658,6 +667,7 @@
 % ---
 @STRING{fm08        = fm # ", Turku, Finland" }
 @STRING{fm11        = fm # ", Limerick, Ireland" }
+@STRING{fm12        = fm # ", Paris, France" }
 % ---
 @STRING{fmco06      = fmco # ", Amsterdam, The Netherlands" }
 % ---
@@ -740,8 +750,11 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{tacs94      = tacs # ", Sendai, Japan" }
 @STRING{tacs01      = tacs # ", Sendai, Japan" }
 % ---
+@STRING{tacas98     = tacas # ", Lisbon, Portugal" }
 @STRING{tacas06     = tacas # ", Vienna, Austria" }
 @STRING{tacas08     = tacas # ", Budapest, Hungary" }
+@STRING{tacas12     = tacas # ", Tallinn, Estonia" }
+@STRING{tacas15     = tacas # ", London, England" }
 @STRING{tacas16     = tacas # ", Eindhoven, The Netherlands" }
 % ---
 @STRING{tapsoft93   = tapsoft # ", Orsay, France" }

bibs/myrefs.bib

@@ -1,12 +1,12 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @unpublished{BEGHS16,
-  title  = {Relational expectation properties by probabilistic coupling},
+  title  = {Proving expected sensitivity of probabilistic programs},
   author = {Barthe, Gilles and
             Espitau, Thomas and
             Gr{\'e}goire, Benjamin and
             Hsu, Justin and
             Strub, {P}ierre-{Y}ves},
-  year   = 2016,
+  year   = 2017,
   jh     = yes,
   url    = {http://justinh.su/files/papers/bounded.pdf},
 }
@@ -125,6 +125,7 @@
             Cherigui, Ikram},
   booktitle = popl17,
   year   = 2017,
+  pages     = {545--556},
   url    = {http://arxiv.org/abs/1702.00374},
   jh     = yes,
   plclub    = yes,
@@ -2635,18 +2636,6 @@ year           = {2014}
   year        = {2014},
   url         = {http://doi.acm.org/10.1145/2594291.2594294},
 } 
-@inproceedings{DBLP:conf/pldi/CarbinKMR12,
-  author      = {Michael Carbin and
-               Deokhwan Kim and
-               Sasa Misailovic and
-               Martin C Rinard},
-  title       = {Proving acceptability properties of relaxed nondeterministic approximate
-               programs},
-  booktitle   = pldi12,
-  pages       = {169--180},
-  year        = {2012},
-  url         = {http://doi.acm.org/10.1145/2254064.2254086},
-}
 
 @article{alea,
   title       = {Proofs of randomized algorithms in {C}oq},
@@ -4364,3 +4353,65 @@ archivePrefix = "arXiv",
   year         = {2014},
   url          = {http://software.imdea.org/~federico/thesis.pdf}
 }
+
+@article{DBLP:journals/jct/AharoniBGPS11,
+  author    = {Ron Aharoni and
+               Eli Berger and
+               Agelos Georgakopoulos and
+               Amitai Perlstein and
+               Philipp Spr{\"{u}}ssel},
+  title     = {The Max-Flow Min-Cut theorem for countable networks},
+  journal   = {J. Comb. Theory, Ser. {B}},
+  volume    = {101},
+  number    = {1},
+  pages     = {1--17},
+  year      = {2011},
+  url       = {http://dx.doi.org/10.1016/j.jctb.2010.08.002},
+  doi       = {10.1016/j.jctb.2010.08.002},
+  timestamp = {Sat, 04 Dec 2010 15:33:06 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jct/AharoniBGPS11},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@inproceedings{katsumata2015codensity,
+  title={Codensity Liftings of Monads},
+  author={Katsumata, Shin-ya and Sato, Tetsuya},
+  booktitle= calco15,
+  series    = lipics,
+  year    = 2015,
+  publisher = dagstuhl,
+  volume={35},
+  year={2015},
+}
+
+@incollection{aldous1983random,
+  title={Random walks on finite groups and rapidly mixing Markov chains},
+  author={Aldous, David},
+  booktitle={S{\'e}minaire de Probabilit{\'e}s XVII 1981/82},
+  pages={243--297},
+  year={1983},
+  publisher=springer
+}
+
+@book {RudinPMA,
+  AUTHOR = {Rudin, Walter},
+  TITLE = {Principles of mathematical analysis},
+  EDITION = {Third},
+  NOTE = {International Series in Pure and Applied Mathematics},
+  PUBLISHER = {McGraw-Hill Book Co., New York-Auckland-D\"usseldorf},
+  YEAR = {1976},
+  PAGES = {x+342},
+  MRCLASS = {26-02},
+  MRNUMBER = {0385023},
+}
+
+@inproceedings{adafuzz,
+  title={A framework for adaptive differential privacy},
+  author={Winograd-Cort, Daniel and
+          Haeberlen, Andreas and
+          Roth, Aaron and
+          Pierce, Benjamin C.},
+  booktitle= icfp17,
+  year    = 2017
+}
+

content/news.md

@@ -1,3 +1,5 @@
++ **07/2017** Our preprint **Proving expected sensitivity of probabilistic
+  programs** is now available.
 + **06/2017** I am on the program committee of [**TPDP
   2017**](http://tpdp.cse.buffalo.edu/2017/), co-located with
   [**CCS**](https://www.sigsac.org/ccs/CCS2017/) in Dallas, Texas.  Submit your
@@ -6,17 +8,3 @@
   self-composition and coupling**.
 + **05/2017** Our paper **\*-Liftings for differential privacy**  will appear at
   **ICALP 2017**!
-+ **03/2017** Our paper **Proving uniformity and independence by
-  self-composition and coupling**  will appear at **LPAR 2017**!
-+ **01/2017** Our preprint **Proving uniformity and independence by
-  self-composition and coupling** is now available.
-+ **01/2017** Slides now available for **Coupling proofs are probabilistic
-  product programs**.
-+ **01/2017** I am on the program committee of [**MFPS
-  2017**](http://coalg.org/mfps-calco2017/), co-located with
-  [**CALCO**](http://coalg.org/mfps-calco2017/) in Ljubljana, Slovenia.
-  Submit your best papers!
-+ **12/2016** Slides now available for  **Computer-aided verification in
-  mechanism design**.
-+ **11/2016** Our preprint **Relational expectation properties by probabilistic
-  coupling** is now available.