From 7f15f490b4ac83f898a8910302e40006d408b829 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sun, 24 Jul 2016 00:09:38 +0200 Subject: [PATCH] Add CCS papers. --- bibs/header.bib | 3 +- bibs/myrefs.bib | 273 +++++++++++++++++++++++++++++++++++++++++++----- content/news.md | 4 + 3 files changed, 250 insertions(+), 30 deletions(-) diff --git a/bibs/header.bib b/bibs/header.bib index 7005cb8..93f79c7 100644 --- a/bibs/header.bib +++ b/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 diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 1b3c001..efc7db4 100644 --- a/bibs/myrefs.bib +++ b/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}, diff --git a/content/news.md b/content/news.md index ee139d1..e2fa4ed 100644 --- a/content/news.md +++ b/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