Update CCS refs and slides.

This commit is contained in:
Justin Hsu 2016-10-25 08:36:45 -04:00
parent 283713be89
commit 55c60ac529
3 changed files with 166 additions and 88 deletions

View File

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

View File

@ -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** + **10/2016** Our paper **Coupling proofs are probabilistic product programs**
will appear at **POPL 2017**! will appear at **POPL 2017**!
+ **10/2016** Our paper **A semantic account of metric preservation** will + **10/2016** Our paper **A semantic account of metric preservation** will

BIN
files/slides/advanced.pdf Normal file

Binary file not shown.