Add CCS papers.

bibs/header.bib

@@ -198,6 +198,7 @@
 @STRING{ccs13       = ccs # ", Berlin, Germany" }
 @STRING{ccs14       = ccs # ", Scottsdale, Arizona" }
 @STRING{ccs15       = ccs # ", Boulder, Colorado" }
+@STRING{ccs16       = ccs # ", Vienna, Austria" }
 
 @STRING{dbpl        = {Database Programming Languages (DBPL)}}
 @STRING{dbpl05      = dbpl}
@@ -501,7 +502,7 @@
 @STRING{fossacs   = {International Confernece on Foundations of Software Science and Computation Structures {(FoSSaCS)}}}
 @STRING{fsttcs    = {Foundations of Software Technology and Theoretical Computer
                     Science (FSTTCS)} }
-@STRING{hcomp     = {Conference on Human Computation & Crowdsourcing (HCOMP)} }
+@STRING{hcomp     = {Conference on Human Computation \& Crowdsourcing (HCOMP)} }
 @STRING{hoots     = {Workshop on Higher Order Operational Techniques in
                     Semantics (HOOTS)} }
 @STRING{icalp     = {International Colloquium on Automata, Languages and

bibs/myrefs.bib

@@ -36,34 +36,6 @@
   docs   = yes
 }
 
-@unpublished{BGGHS16c,
-  title  = {Advanced Probabilistic Couplings for Differential Privacy},
-  author = {Barthe, Gilles and
-            Gaboardi, Marco and
-            Gr{\'e}goire, Benjamin and
-            Hsu, Justin and
-            Strub, {P}ierre-{Y}ves},
-  year    = 2016,
-  jh      = yes,
-  eprint  = yes,
-  url     = {https://arxiv.org/abs/1606.07143},
-}
-
-@unpublished{privinfer,
-  title  = {Differentially private {B}ayesian programming},
-  author = {Barthe, Gilles and
-            Farina, Gian Pietro and
-            Gaboardi, Marco and
-            Gallego Arias, Emilio Jes{\'u}s and
-            Gordon, Andy and
-            Hsu, Justin and
-            Strub, Pierre-Yves},
-  year   = {2016},
-  url    = {https://arxiv.org/abs/1605.00283},
-  jh     = yes,
-  eprint = yes,
-}
-
 @unpublished{HKM-verif16,
   title  = {Computer-aided verification in mechanism design},
   author = {Barthe, Gilles and
@@ -79,6 +51,37 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BGGHS16c,
+  title  = {Advanced Probabilistic Couplings for Differential Privacy},
+  author = {Barthe, Gilles and
+            Gaboardi, Marco and
+            Gr{\'e}goire, Benjamin and
+            Hsu, Justin and
+            Strub, {P}ierre-{Y}ves},
+  booktitle = ccs16,
+  year    = 2016,
+  jh      = yes,
+  eprint  = yes,
+  url     = {https://arxiv.org/abs/1606.07143},
+  note   = {To appear.}
+}
+
+@inproceedings{privinfer,
+  title  = {Differentially private {B}ayesian programming},
+  author = {Barthe, Gilles and
+            Farina, Gian Pietro and
+            Gaboardi, Marco and
+            Gallego Arias, Emilio Jes{\'u}s and
+            Gordon, Andy and
+            Hsu, Justin and
+            Strub, Pierre-Yves},
+  booktitle = ccs16,
+  year   = {2016},
+  url    = {https://arxiv.org/abs/1605.00283},
+  jh     = yes,
+  eprint = yes,
+  note   = {To appear.}
+}
 @inproceedings{BEFFH16,
   title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
   author = {Barthe, Gilles and
@@ -192,7 +195,7 @@
 @inproceedings{GHaccuracy,
   author    = {Marco Gaboardi and
                Justin Hsu},
-  title     = {A Theory {AB} toolbox},
+  title     = {A Theory AB toolbox},
   year      = {2015},
   booktitle = snapl15,
   jh        = yes,
@@ -410,6 +413,218 @@
 	eprint     = yes
 } 
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@misc{msrc16-talk,
+  title = {Formal Verification of Randomized Algorithms},
+  note = {Constructive Security Seminar, MSR Cambridge UK},
+  year = 2016,
+  month = jul,
+  jh = yes,
+}
+
+@misc{lics16-talk,
+  title = {Proving Differential Privacy via Probabilistic Couplings},
+  note = lics16,
+  year = 2016,
+  month = jul,
+  jh = yes,
+}
+
+@misc{tpdp16-talk,
+  title = {Differential Privacy is an Approximate Probabilistic Coupling},
+  note = {Workshop on the Theory and Practice of Differential Privacy (TPDP)},
+  year = 2016,
+  month = jun,
+  jh = yes,
+}
+
+@misc{crcs16-talk,
+  title = {Differential Privacy is an Approximate Probabilistic Coupling},
+  note = {CRCS Seminar, Harvard},
+  year = 2016,
+  month = jun,
+  jh = yes,
+}
+
+@misc{njpls16-talk,
+  title = {A program logic for union bounds},
+  note = {NJ Programming Languages and Systems Seminar (NJPLS)},
+  year = 2016,
+  month = may,
+  jh = yes,
+}
+
+@misc{uwisc16-talk,
+  title = {Relational reasoning via probabilistic coupling},
+  note = {PL Seminar, University of Wisconsin},
+  year = 2016,
+  month = may,
+  jh = yes,
+}
+
+@misc{soda16-talk,
+  title = {Jointly Private Convex Programming},
+  note = soda16,
+  year = 2016,
+  month = jan,
+  jh = yes,
+}
+
+@misc{lpar15-talk,
+  title = {Relational reasoning via probabilistic coupling},
+  note = lpar15,
+  year = 2015,
+  month = nov,
+  jh = yes,
+}
+
+@misc{nsf-sfm15-talk,
+  title = {What are we measuring, anyways?},
+  note = {NSF Workshop on Formal Methods for Information Security},
+  year = 2015,
+  month = nov,
+  jh = yes,
+}
+
+@misc{tau15-talk,
+  title = {Language-based Verification for Differential Privacy},
+  note = {Tel Aviv University},
+  year = 2015,
+  month = nov,
+  jh = yes,
+}
+
+@misc{shonan15-talk,
+  title = {Language-based Verification for Differential Privacy},
+  note = {Shonan Meeting on Logic and Verification Methods in Security and
+    Privacy},
+  year = 2015,
+  month = nov,
+  jh = yes,
+}
+
+@misc{tohoku15-talk,
+  title = {Relational reasoning via probabilistic coupling},
+  note = {Tohoku University},
+  year = 2015,
+  month = oct,
+  jh = yes,
+}
+
+@misc{tit15-talk,
+  title = {Jointly Private Convex Programming},
+  note = {Tokyo Institute of Technology},
+  year = 2015,
+  month = oct,
+  jh = yes,
+}
+
+@misc{snapl15b-talk,
+  title = {Death, Taxes, and Formal Verification},
+  note = snapl15,
+  year = 2015,
+  month = may,
+  jh = yes,
+}
+
+@misc{snapl15a-talk,
+  title = {A {Theory AB} Toolbox},
+  note = snapl15,
+  year = 2015,
+  month = may,
+  jh = yes,
+}
+
+@misc{cornell15-talk,
+  title = {Verifying Accuracy of Randomized Algorithms},
+  note = {Cornell PL Discussion Group},
+  year = 2015,
+  month = mar,
+  jh = yes,
+}
+
+
+@misc{popl15-talk,
+  title = {Higher-Order Relational Refinement Types for Mechanism Design and Differential Privacy},
+  note = popl15,
+  year = 2015,
+  month = jan,
+  jh = yes,
+}
+
+@misc{lix14-talk,
+  title = {Jointly Private Convex Programming},
+  note = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique},
+  year = 2014,
+  month = nov,
+  jh = yes,
+}
+
+@misc{dundee14-talk,
+  title = {Jointly Private Convex Programming},
+  note = {University of Dundee},
+  year = 2014,
+  month = nov,
+  jh = yes,
+}
+
+@misc{csf14-talk,
+  title = {Differential Privacy: An Economic Method for Choosing Epsilon},
+  note = csf14,
+  year = 2014,
+  month = jul,
+  jh = yes,
+}
+
+@misc{icalp14-talk,
+  title = {Privately Solving Linear Programs},
+  note = icalp14,
+  year = 2014,
+  month = jul,
+  jh = yes,
+}
+
+@misc{simons13-talk,
+  title = {Dual Query Release},
+  note = {Simons workshop on Big Data and Differential Privacy},
+  year = 2013,
+  month = dec,
+  jh = yes,
+}
+
+@misc{lix13-talk,
+  title = {Private Matchings and Allocations},
+  note = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique},
+  year = 2013,
+  month = dec,
+  jh = yes,
+}
+
+@misc{stoc13-talk,
+  title = {Private Equilibrium Computation for Analyst Privacy},
+  note = stoc13,
+  year = 2013,
+  month = jun,
+  jh = yes,
+}
+
+@misc{dimacs12-talk,
+  title = {Analyst Privacy---the State Strikes Back!},
+  note = {{DIMACS} Workshop on Recent Work on Differential Privacy across Computer Science},
+  year = 2012,
+  month = oct,
+  jh = yes,
+}
+
+@misc{icalp12-talk,
+  title = {Distributed Private Heavy Hitters},
+  note = icalp12,
+  year = 2012,
+  month = jul,
+  jh = yes,
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% OTHER %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @article{job-matching,
   title   = {Job Matching, Coalition Formation, and Gross Substitutes},

content/news.md

@@ -1,3 +1,7 @@
++ **07/2016** Our paper **Advanced probabilistic couplings for differential
+  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 on `arXiv`.
 + **07/2016** Slides now available for  **Proving differential privacy via