Add bounded draft.

bibs/header.bib

@@ -59,6 +59,7 @@
 @STRING{jmlr     = "Journal of Machine Learning Research"}
 @STRING{mp       = "MIT Press" }
 @STRING{mitpress = mp }
+@STRING{now = "now publishers" }
 @STRING{dagstuhl = "Schloss Dagstuhl--Leibniz Center for Informatics" }
 @STRING{informs  = "INFORMS" }
 %
@@ -311,6 +312,7 @@
 % ----
 @STRING{stoc        = "{ACM} {SIGACT} {S}ymposium on {T}heory of {C}omputing (STOC)"}
 @STRING{stoc87      = stoc # ", New York, New York"}
+@STRING{stoc82      = stoc # ", San Francisco, California"}
 @STRING{stoc89      = stoc # ", Seattle, Washington"}
 @STRING{stoc97      = stoc # ", El Paso, Texas"}
 @STRING{stoc99      = stoc # ", Atlanta, Georgia"}
@@ -386,6 +388,7 @@
 @STRING{icml        = "{I}nternational {C}onference on {M}achine {L}earning (ICML)" }
 @STRING{icml03      = icml # ", Washington, DC" }
 @STRING{icml14      = icml # ", Beijing, China" }
+@STRING{icml16      = icml # ", New York, NY" }
 
 % ----
 @STRING{sp          = "{IEEE} {S}ymposium on {S}ecurity and {P}rivacy (S\&P)"}
@@ -491,6 +494,7 @@
 @STRING{concur    = {International Conference on Concurrency Theory (CONCUR)} }
 @STRING{csl       = {International Workshop on Computer Science Logic (CSL)} }
 @STRING{csfw      = {IEEE Computer Security Foundations Workshop (CSFW)} }
+@STRING{ct        = {International Category Theory Conference (CT)} }
 @STRING{ecoop     = {European Conference on Object-Oriented Programming (ECOOP)} }
 @STRING{esecfse   = {Joint Meeting of the European Software Engineering
   Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software
@@ -505,7 +509,7 @@
 @STRING{fm        = {International Symposium on Formal Methods (FM)} }
 @STRING{fmco      = {International Symposia on Formal Methods for Components and
                     Objects (FMCO)} }
-@STRING{fossacs   = {International Confernece on Foundations of Software Science and Computation Structures {(FoSSaCS)}}}
+@STRING{fossacs   = {International Conference on Foundations of Software Science and Computation Structures {(FoSSaCS)}}}
 @STRING{fsttcs    = {Foundations of Software Technology and Theoretical Computer
                     Science (FSTTCS)} }
 @STRING{hcomp     = {{AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)} }
@@ -522,7 +526,7 @@
                     Artificial Intelligence and Reasoning (LPAR)} }
 @STRING{logfcs    = {Symposium on the Logical Foundations of Computer Science
   (LFCS)} }
-@STRING{mfps      = {Workshop on the Mathematical Foundations of Programming
+@STRING{mfps      = {Conference on the Mathematical Foundations of Programming
                     Semantics (MFPS)} }
 @STRING{osdi      = {USENIX Symposium on Operating Systems Design and
                     Implementation (OSDI)} }
@@ -613,6 +617,8 @@
 @STRING{csfw02      = csfw # ", Cape Breton, Nova Scotia" }
 @STRING{csfw04      = csfw # ", Pacific Grove, California" }
 % ---
+@STRING{ct90        = ct # ", Como, Italy" }
+% ---
 @STRING{ecoop90     = oopsla # "/" # ecoop # ", Ottawa, Ontario" }
 @STRING{ecoop97     = ecoop # ", Jyv{\"a}skyl{\"a}, Finland" }
 @STRING{ecoop99     = ecoop # ", Lisbon, Portugal" }
@@ -651,6 +657,8 @@
 % ---
 STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
+@STRING{fossacs09   = fossacs # ", York, England" }
+@STRING{fossacs11   = fossacs # ", Saarbr{\"u}cken, Germany" }
 @STRING{fossacs15   = fossacs # ", London, England" }
 @STRING{fossacs16   = fossacs # ", Eindhoven, The Netherlands" }
 % ---
@@ -680,6 +688,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{logfcs13    = logfcs # ", San Diego, California" }
 % ---
+@STRING{mfps87      = mfps # ", New Orleans, Louisiana" }
 @STRING{mfps89      = mfps # ", New Orleans, Louisiana" }
 @STRING{mfps95      = mfps # ", New Orleans, Louisiana" }
 @STRING{mfps01      = mfps # ", Aarhus, Denmark" }
@@ -737,7 +746,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{tlca93      = tlca # ", Utrecht, The Netherlands" }
 @STRING{tlca97      = tlca # ", Nancy, France" }
 @STRING{tlca99      = tlca # ", L'Aquila, Italy" }
-@STRING{tlca01      = tlca # ", Krak{\'{o}}ow, Poland" }
+@STRING{tlca01      = tlca # ", Krak{\'{o}}w, Poland" }
 @STRING{tlca03      = tlca # ", Valencia, Spain" }
 @STRING{tlca13      = tlca # ", Eindhoven, The Netherlands" }
 % ---

bibs/myrefs.bib

@@ -1,4 +1,16 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{BEGHS16,
+  title  = {Relational expectation properties by probabilistic coupling},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {P}ierre-{Y}ves},
+  year   = 2016,
+  jh     = yes,
+  url    = {http://justinh.su/files/papers/bounded.pdf},
+}
+
 @unpublished{BEGGHS16,
   title  = {Formal certification of randomized algorithms},
   author = {Barthe, Gilles and
@@ -2178,15 +2190,19 @@ year           = {2014}
 }
 
 @inproceedings{DMNS06,
-  title       = {Calibrating noise to sensitivity in private data analysis},
   author    = {Cynthia Dwork and
                Frank McSherry and
                Kobbi Nissim and
-               Adam Smith},
-  pages       = {265--284},
-  url         = {http://dx.doi.org/10.1007/11681878_14},
+               Adam D. Smith},
+  title     = {Calibrating Noise to Sensitivity in Private Data Analysis},
   booktitle = tcc06,
-  year        = {2006}
+  volume    = 3876,
+  series    = lncs,
+  pages     = {265--284},
+  year      = {2006},
+  url       = {http://dx.doi.org/10.1007/11681878_14},
+  doi       = {10.1007/11681878_14},
+  publisher = springer
 }
 
 @article{Tschantz201161,

content/news.md

@@ -1,3 +1,5 @@
++ **11/2016** Our preprint **Relational expectation properties by probabilistic
+  coupling** is now available.
 + **10/2016** Slides now available for  **Advanced probabilistic couplings for
   differential privacy**.
 + **10/2016** Our paper **Coupling proofs are probabilistic product programs**
@@ -10,11 +12,3 @@
   privacy** will appear at **CCS 2016**!
 + **07/2016** Our paper **Differentially private Bayesian programming** will
   appear at **CCS 2016**!
-+ **07/2016** Our preprint **Coupling proofs are probabilistic product
-  programs** is now available.
-+ **07/2016** Slides now available for  **Proving differential privacy via
-  probabilistic couplings**.
-+ **07/2016** An updated version of our preprint **Formal verification of
-  randomized algorithms** is now available.
-+ **07/2016** Our preprint **A semantic account of metric preservation** is now
-  available.