diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 96c45f6..11df527 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -59,6 +59,7 @@ year = 2017, url = {http://arxiv.org/abs/1607.03455}, jh = yes, + plclub = yes, reviewed = yes, note = {To appear.} } @@ -74,6 +75,7 @@ year = 2017, url = {http://justinh.su/files/papers/metric-sem.pdf}, jh = yes, + plclub = yes, reviewed = yes, note = {To appear.} } @@ -90,6 +92,7 @@ year = 2016, url = {http://arxiv.org/abs/1502.04052}, jh = yes, + plclub = yes, reviewed = yes, note = {To appear.} } @@ -106,8 +109,10 @@ year = 2016, url = {https://arxiv.org/abs/1606.07143}, jh = yes, + plclub = yes, reviewed = yes, - note = {To appear.} + acceptance = {137/831=0.17}, + slides = {http://justinh.su/files/slides/advanced.pdf}, } @inproceedings{privinfer, @@ -123,9 +128,11 @@ year = {2016}, url = {https://arxiv.org/abs/1605.00283}, jh = yes, + plclub = yes, reviewed = yes, - note = {To appear.} + acceptance = {137/831=0.17}, } + @inproceedings{BEFFH16, title = {Synthesizing probabilistic invariants via {D}oob's decomposition}, author = {Barthe, Gilles and @@ -140,7 +147,9 @@ publisher = springer, url = {https://arxiv.org/abs/1605.02765}, jh = yes, + plclub = yes, reviewed = yes, + acceptance = {46/195=0.24}, } @inproceedings{BGGHS16b, @@ -157,8 +166,10 @@ year = 2016, publisher = dagstuhl, url = {http://arxiv.org/abs/1602.05681}, - reviewed = yes, jh = yes, + plclub = yes, + reviewed = yes, + acceptance = {146/515=0.28}, } @inproceedings{BGGHS16, @@ -172,8 +183,9 @@ year = 2016, url = {http://arxiv.org/abs/1601.05047}, jh = yes, + plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/approx-couplings.pdf} + slides = {http://justinh.su/files/slides/approx-couplings.pdf}, } @inproceedings{HMRRV16, @@ -189,6 +201,7 @@ url = {http://arxiv.org/abs/1511.00925}, jh = yes, reviewed = yes, + acceptance = {92/370=0.25}, } @inproceedings{HHRW16, @@ -204,6 +217,7 @@ jh = yes, reviewed = yes, slides = {http://justinh.su/files/slides/privdude.pdf}, + acceptance = {146/527=0.28}, } @inproceedings{BEGHSS15, @@ -220,10 +234,12 @@ series = lncs, year = 2015, publisher = springer, - reviewed = yes, - jh = yes, - slides = {http://justinh.su/files/slides/couplings.pdf}, url = {http://arxiv.org/abs/1509.03476}, + jh = yes, + plclub = yes, + reviewed = yes, + slides = {http://justinh.su/files/slides/couplings.pdf}, + acceptance = {43/92=0.47}, } @inproceedings{AHJ15, @@ -249,6 +265,7 @@ publisher = dagstuhl, url = {http://justinh.su/files/papers/theory-ab.pdf}, jh = yes, + plclub = yes, reviewed = yes, slides = {http://justinh.su/files/slides/theory-ab.pdf}, } @@ -265,10 +282,12 @@ booktitle = popl15, pages = {55--68}, year = {2015}, - reviewed = yes, url = {http://arxiv.org/abs/1407.6845}, jh = yes, + plclub = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/hoare2.pdf}, + acceptance = {52/227=0.23}, } @inproceedings{AGGH14, @@ -284,6 +303,7 @@ publisher = acmpress, url = {http://arxiv.org/abs/1503.04522}, jh = yes, + plclub = yes, reviewed = yes, slides = {http://justinh.su/files/slides/dfuzz-tc.pdf}, } @@ -299,9 +319,11 @@ booktitle = csf14, pages = {411--424}, year = {2014}, - reviewed = yes, url = {http://arxiv.org/abs/1407.2988}, jh = yes, + plclub = yes, + reviewed = yes, + acceptance = {29/83=0.35}, } @inproceedings{HGH14, @@ -316,10 +338,12 @@ booktitle = csf14, pages = {398--410}, year = 2014, - reviewed = yes, url = {http://arxiv.org/abs/1402.3329}, jh = yes, + plclub = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/epsilon.pdf}, + acceptance = {29/83=0.35}, } @inproceedings{HRRU14, @@ -338,6 +362,7 @@ jh = yes, reviewed = yes, slides = {http://justinh.su/files/slides/priv-lp.pdf}, + acceptance = {136/477=0.29}, } inproceedings{GGHRW14, @@ -357,7 +382,8 @@ inproceedings{GGHRW14, url = {http://arxiv.org/abs/1402.1526}, jh = yes, slides = {http://justinh.su/files/slides/dualquery.pdf}, - poster = {http://justinh.su/files/poser/dualquery.pdf} + poster = {http://justinh.su/files/poser/dualquery.pdf}, + acceptance = {310/1238=0.25}, } inproceedings{HHRRW14, @@ -377,6 +403,7 @@ inproceedings{HHRRW14, bibsource = {dblp computer science bibliography, http://dblp.org}, jh = yes, poster = {http://justinh.su/files/poster/matchings.pdf}, + acceptance = {91/319=0.29}, } @inproceedings{WHE13, @@ -388,8 +415,10 @@ inproceedings{HHRRW14, pages = {275--286}, year = {2013}, url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, - reviewed = yes, jh = yes, + plclub = yes, + reviewed = yes, + acceptance = {40/133=0.30}, } @inproceedings{HRU13, @@ -401,9 +430,10 @@ inproceedings{HHRRW14, booktitle = stoc13, pages = {341--350}, year = {2013}, - reviewed = yes, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/analyst-priv.pdf}, + acceptance = {100/360=0.28}, } @inproceedings{GHHNP13, @@ -417,8 +447,10 @@ inproceedings{HHRRW14, pages = {357--370}, url = {http://dl.acm.org/citation.cfm?id=2429113}, year = {2013}, - reviewed = yes, jh = yes, + plclub = yes, + reviewed = yes, + acceptance = {51/220=0.23}, } @inproceedings{HKR12, @@ -431,13 +463,14 @@ inproceedings{HHRRW14, volume = {7391}, series = lncs, year = {2012}, - reviewed = yes, publisher = springer, url = {http://arxiv.org/abs/1202.4910}, note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.}, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/heavy-hh.pdf}, + acceptance = {123/433=0.28}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -455,8 +488,9 @@ inproceedings{HHRRW14, number = {1}, address = {New York, NY, USA}, url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, - reviewed = no, jh = yes, + plclub = yes, + reviewed = no, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -470,8 +504,9 @@ inproceedings{HHRRW14, url = {http://fopara2013.cs.unibo.it/paper_8.pdf}, booktitle = fopara, year = {2013}, + jh = yes, + plclub = yes, reviewed = no, - jh = yes } @inproceedings{HsuTaxes, @@ -479,218 +514,259 @@ inproceedings{HHRRW14, title = {Death, taxes, and formal verification (Abstract)}, year = {2015}, booktitle = snapl15, - reviewed = no, jh = yes, + plclub = yes, + reviewed = no, slides = {http://justinh.su/files/slides/taxes.pdf}, url = {http://justinh.su/files/papers/taxes.pdf} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@misc{msrc16-talk, - title = {Formal Verification of Randomized Algorithms}, - note = {Constructive Security Seminar, MSR Cambridge UK}, +@talk{cornell16-talk, + title = {Approximate Probabilistic Coupling and Differential Privacy}, + organization = {Theory Seminar, Cornell University}, year = 2016, - month = jul, + month = oct, jh = yes, } -@misc{lics16-talk, - title = {Proving Differential Privacy via Probabilistic Couplings}, - note = lics16, +@talk{ccs16-talk, + title = {Advanced Probabilistic Couplings for Differential Privacy}, + organization = ccs16, year = 2016, - month = jul, + month = oct, jh = yes, } -@misc{tpdp16-talk, - title = {Differential Privacy is an Approximate Probabilistic Coupling}, - note = {Workshop on the Theory and Practice of Differential Privacy (TPDP)}, +@talk{psu16-talk, + title = {Differential Privacy as an Approximate Coupling}, + organization = {Theory Seminar, Pennsylvania State University}, year = 2016, - month = jun, + month = oct, 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, +@talk{cmu16-talk, title = {Relational reasoning via probabilistic coupling}, - note = {PL Seminar, University of Wisconsin}, + organization = {Principles of Programming Seminar, Carnegie Mellon University}, + year = 2016, + month = oct, + jh = yes, +} + +@talk{jhu16-talk, + title = {Approximate Probabilistic Coupling and Differential Privacy}, + organization = {Theory Seminar, Johns Hopkins University}, + year = 2016, + month = oct, + jh = yes, +} + +@talk{msrc16-talk, + title = {Formal Verification of Randomized Algorithms}, + organization = {Constructive Security Seminar, MSR Cambridge UK}, + year = 2016, + month = jul, + jh = yes, +} + +@talk{lics16-talk, + title = {Proving Differential Privacy via Probabilistic Couplings}, + organization = lics16, + year = 2016, + month = jul, + jh = yes, +} + +@talk{tpdp16-talk, + title = {Differential Privacy is an Approximate Probabilistic Coupling}, + organization = {Workshop on the Theory and Practice of Differential Privacy (TPDP)}, + year = 2016, + month = jun, + jh = yes, +} + +@talk{crcs16-talk, + title = {Differential Privacy is an Approximate Probabilistic Coupling}, + organization = {CRCS Seminar, Harvard}, + year = 2016, + month = jun, + jh = yes, +} + +@talk{njpls16-talk, + title = {A program logic for union bounds}, + organization = {NJ Programming Languages and Systems Seminar (NJPLS)}, year = 2016, month = may, jh = yes, } -@misc{soda16-talk, +@talk{uwisc16-talk, + title = {Relational reasoning via probabilistic coupling}, + organization = {PL Seminar, University of Wisconsin}, + year = 2016, + month = may, + jh = yes, +} + +@talk{soda16-talk, title = {Jointly Private Convex Programming}, - note = soda16, + organization = soda16, year = 2016, month = jan, jh = yes, } -@misc{lpar15-talk, +@talk{lpar15-talk, title = {Relational reasoning via probabilistic coupling}, - note = lpar15, + organization = lpar15, year = 2015, month = nov, jh = yes, } -@misc{nsf-sfm15-talk, +@talk{nsf-sfm15-talk, title = {What are we measuring, anyways?}, - note = {NSF Workshop on Formal Methods for Information Security}, + organization = {NSF Workshop on Formal Methods for Information Security}, year = 2015, month = nov, jh = yes, } -@misc{tau15-talk, +@talk{tau15-talk, title = {Language-based Verification for Differential Privacy}, - note = {Tel Aviv University}, + organization = {Tel Aviv University}, year = 2015, month = nov, jh = yes, } -@misc{shonan15-talk, +@talk{shonan15-talk, title = {Language-based Verification for Differential Privacy}, - note = {Shonan Meeting on Logic and Verification Methods in Security and + organization = {Shonan Meeting on Logic and Verification Methods in Security and Privacy}, year = 2015, month = nov, jh = yes, } -@misc{tohoku15-talk, +@talk{tohoku15-talk, title = {Relational reasoning via probabilistic coupling}, - note = {Tohoku University}, + organization = {Tohoku University}, year = 2015, month = oct, jh = yes, } -@misc{tit15-talk, +@talk{tit15-talk, title = {Jointly Private Convex Programming}, - note = {Tokyo Institute of Technology}, + organization = {Tokyo Institute of Technology}, year = 2015, month = oct, jh = yes, } -@misc{snapl15b-talk, +@talk{snapl15b-talk, title = {Death, Taxes, and Formal Verification}, - note = snapl15, + organization = snapl15, year = 2015, month = may, jh = yes, } -@misc{snapl15a-talk, +@talk{snapl15a-talk, title = {A {Theory AB} Toolbox}, - note = snapl15, + organization = snapl15, year = 2015, month = may, jh = yes, } -@misc{cornell15-talk, +@talk{cornell15-talk, title = {Verifying Accuracy of Randomized Algorithms}, - note = {Cornell PL Discussion Group}, + organization = {Cornell PL Discussion Group}, year = 2015, month = mar, jh = yes, } -@misc{popl15-talk, +@talk{popl15-talk, title = {Higher-Order Relational Refinement Types for Mechanism Design and Differential Privacy}, - note = popl15, + organization = popl15, year = 2015, month = jan, jh = yes, } -@misc{lix14-talk, +@talk{lix14-talk, title = {Jointly Private Convex Programming}, - note = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique}, + organization = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique}, year = 2014, month = nov, jh = yes, } -@misc{dundee14-talk, +@talk{dundee14-talk, title = {Jointly Private Convex Programming}, - note = {University of Dundee}, + organization = {University of Dundee}, year = 2014, month = nov, jh = yes, } -@misc{csf14-talk, +@talk{csf14-talk, title = {Differential Privacy: An Economic Method for Choosing Epsilon}, - note = csf14, + organization = csf14, year = 2014, month = jul, jh = yes, } -@misc{icalp14-talk, +@talk{icalp14-talk, title = {Privately Solving Linear Programs}, - note = icalp14, + organization = icalp14, year = 2014, month = jul, jh = yes, } -@misc{simons13-talk, +@talk{simons13-talk, title = {Dual Query Release}, - note = {Simons workshop on Big Data and Differential Privacy}, + organization = {Simons workshop on Big Data and Differential Privacy}, year = 2013, month = dec, jh = yes, } -@misc{lix13-talk, +@talk{lix13-talk, title = {Private Matchings and Allocations}, - note = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique}, + organization = {Com\`ete-Parsifal Seminar, {LIX}, \'Ecole Polytechnique}, year = 2013, month = dec, jh = yes, } -@misc{stoc13-talk, +@talk{stoc13-talk, title = {Private Equilibrium Computation for Analyst Privacy}, - note = stoc13, + organization = stoc13, year = 2013, month = jun, jh = yes, } -@misc{dimacs12-talk, +@talk{dimacs12-talk, title = {Analyst Privacy---the State Strikes Back!}, - note = {{DIMACS} Workshop on Recent Work on Differential Privacy across Computer Science}, + organization = {{DIMACS} Workshop on Recent Work on Differential Privacy across Computer Science}, year = 2012, month = oct, jh = yes, } -@misc{icalp12-talk, +@talk{icalp12-talk, title = {Distributed Private Heavy Hitters}, - note = icalp12, + organization = icalp12, year = 2012, month = jul, jh = yes, diff --git a/content/news.md b/content/news.md index 9b50a3f..9a7d568 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **10/2016** Slides now available for **Advanced probabilistic couplings for + differential privacy**. + **10/2016** Our paper **Coupling proofs are probabilistic product programs** will appear at **POPL 2017**! + **10/2016** Our paper **A semantic account of metric preservation** will diff --git a/files/slides/advanced.pdf b/files/slides/advanced.pdf new file mode 100644 index 0000000..4c8913f Binary files /dev/null and b/files/slides/advanced.pdf differ