diff --git a/bibs/header.bib b/bibs/header.bib index 94ff278..bf6e74c 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -53,6 +53,8 @@ @STRING{entcs = "Electronic Notes in Theoretical Computer Science" } @STRING{eptcs = "Electronic Proceedings in Theoretical Computer Science" } @STRING{lncs = "Lecture Notes in Computer Science" } +@STRING{pacm = "Proceedings of the {ACM}" } +@STRING{pacmpl = "Proceedings of the {ACM} on Programming Languages" } @STRING{lipics = "Leibniz International Proceedings in Informatics" } @STRING{lnm = "Lecture Notes in Mathematics" } @STRING{gtm = "Graduate Texts in Mathematics" } @@ -70,7 +72,7 @@ % %%%%%%%%%%%%%%%%%%%%%% @STRING{toplas = "ACM Transactions on Programming Languages and Systems" } @STRING{jlp = {Journal of Logic Programming} } -@STRING{ieee = "IEEE" } +@STRING{ieee = "IEEE" } @STRING{acmpress = "ACM Press" } @STRING{bepress = "Berkeley Electronic Press" } @STRING{cacm = "Communications of the {ACM}" } @@ -402,6 +404,7 @@ @STRING{icml14 = icml # ", Beijing, China" } @STRING{icml15 = icml # ", Lille, France" } @STRING{icml16 = icml # ", New York, NY" } +@STRING{icml17 = icml # ", Sydney, Australia" } % ---- @STRING{sp = "{IEEE} {S}ymposium on {S}ecurity and {P}rivacy (S\&P)"} @@ -423,8 +426,8 @@ @STRING{icde13 = icde # ", Brisbane, Australia" } % ---- -@STRING{vldb = "{I}nternational {C}onference on {V}ery {L}arge {D}ata - {B}ases (VLDB)"} +@STRING{pvldb = "Proceedings of the {VLDB} Endowment"} +@STRING{vldb = "Appeared at the {I}nternational {C}onference on {V}ery {L}arge {D}ata {B}ases (VLDB)"} @STRING{vldb12 = vldb # ", Istanbul, Turkey"} @STRING{vldb14 = vldb # ", Hangzhou, China"} @STRING{vldb17 = vldb # ", Munich, Germany"} @@ -605,10 +608,13 @@ % --- @STRING{colt95 = colt # ", Santa Cruz, California" } @STRING{colt96 = colt # ", Desenzano sul Garda, Italy" } +@STRING{colt11 = colt # ", Budapest, Hungary" } +@STRING{colt12 = colt # ", Edinburgh, Scotland" } @STRING{colt13 = colt # ", Princeton, New Jersey" } @STRING{colt14 = colt # ", Barcelona, Spain" } % --- @STRING{concur07 = concur # ", Lisbon, Portugal" } +@STRING{concur01 = concur # ", Aalborg, Denmark" } % --- @STRING{calco15 = concur # ", Nijmegen, The Netherlands" } % --- @@ -623,6 +629,7 @@ @STRING{cav13 = cav # ", Saint Petersburg, Russia" } @STRING{cav15 = cav # ", San Francisco, California" } @STRING{cav16 = cav # ", Toronto, Ontario" } +@STRING{cav17 = cav # ", Heidelberg, Germany" } % --- @STRING{cp = "International Conference on Principles and Practice of Constraint Programming (CP)" } @@ -695,6 +702,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{hoots00 = hoots # ", Montr{\'e}al, Qu{\'e}bec" } % --- @STRING{icalp98 = icalp # ", Aalborg, Denmark" } +@STRING{icalp01 = icalp # ", Crete, Greece" } @STRING{icalp06 = icalp # ", Venice, Italy" } @STRING{icalp11 = icalp # ", Z{\"u}rich, Switzerland" } @STRING{icalp12 = icalp # ", Warwick, England" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index b2a6210..d5e6588 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -34,7 +34,7 @@ Hsu, Justin and Roth, Aaron and Wu, Zhiwei Steven}, - title = {Dual Query: Practical private query release for high dimensional data}, + title = {Dual Query: Practical Private Query Release for High Dimensional Data}, journal = jpc, year = {2017}, month = {}, @@ -42,6 +42,9 @@ number = {2}, pages = {53--77}, url = {http://arxiv.org/abs/1402.1526}, + eprint = {1402.1526}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, publisher = bepress, jh = yes, reviewed = yes, @@ -55,7 +58,7 @@ Roth, Aaron and Roughgarden, Tim and Wu, Zhiwei Steven}, - title = {Private matchings and allocations}, + title = {Private Matchings and Allocations}, journal = siamjc, year = {2016}, month = {}, @@ -64,6 +67,9 @@ pages = {1953--1984}, doi = {10.1137/15100271X}, url = {http://arxiv.org/abs/1311.2828}, + eprint = {1311.2828}, + archivePrefix = {arXiv}, + primaryClass = {cs.GT}, jh = yes, reviewed = yes, poster = {http://justinh.su/files/posters/matchings.pdf}, @@ -71,38 +77,50 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@inproceedings{AH17, - title = {Synthesizing coupling proofs of differential privacy}, - author = {Albarghouthi, Aws and - Hsu, Justin}, - booktitle = popl18, - year = 2018, - jh = yes, - url = {http://arxiv.org/abs/1709.05361}, - note = {To appear.} +@article{AH17, + title = {Synthesizing Coupling Proofs of Differential Privacy}, + author = {Albarghouthi, Aws and + Hsu, Justin}, + year = 2018, + jh = yes, + journal = pacmpl, + volume = {1}, + number = {POPL}, + url = {http://arxiv.org/abs/1709.05361}, + note = "To appear at " # popl18, + reviewed = yes, + eprint = {1709.05361}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, } -@inproceedings{BEGHS16, - title = {Proving expected sensitivity of probabilistic programs}, - author = {Barthe, Gilles and - Espitau, Thomas and - Gr{\'e}goire, Benjamin and - Hsu, Justin and - Strub, {P}ierre-{Y}ves}, - booktitle = popl18, - year = 2018, - jh = yes, - url = {http://arxiv.org/abs/1708.02537}, - note = {To appear.} +@article{BEGHS16, + title = {Proving Expected Sensitivity of Probabilistic Programs}, + author = {Barthe, Gilles and + Espitau, Thomas and + Gr{\'e}goire, Benjamin and + Hsu, Justin and + Strub, {Pierre}-{Yves}}, + year = 2018, + jh = yes, + journal = pacmpl, + volume = {1}, + number = {POPL}, + url = {http://arxiv.org/abs/1708.02537}, + note = "To appear at " # popl18, + reviewed = yes, + eprint = {1708.02537}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, } @inproceedings{BEHSS17, - title = {$\star$-Liftings for differential privacy}, + title = {$\star$-Liftings for Differential Privacy}, author = {Barthe, Gilles and Espitau, Thomas and Hsu, Justin and Sato, Tetsuya and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = icalp17, year = 2017, pages ={102:1--102:12}, @@ -110,6 +128,10 @@ volume = 80, publisher = dagstuhl, url = {https://arxiv.org/abs/1705.00133}, + eprint = {1705.00133}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.4230/LIPIcs.ICALP.2017.102}, slides = {http://justinh.su/files/slides/star-lifting.pdf}, jh = yes, plclub = yes, @@ -118,18 +140,21 @@ } @inproceedings{BEGHS17, - title = {Proving uniformity and independence by self-composition and coupling}, + title = {Proving Uniformity and Independence by Self-Composition and Coupling}, author = {Barthe, Gilles and Espitau, Thomas and Gr{\'e}goire, Benjamin and Hsu, Justin and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = lpar17, pages = {385--403}, series = epic, volume = 46, year = 2017, url = {https://arxiv.org/abs/1701.06477}, + eprint = {1701.06477}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, slides = {http://justinh.su/files/slides/unifindep-couple.pdf}, jh = yes, plclub = yes, @@ -137,14 +162,19 @@ } @inproceedings{BGHS16, - title = {Coupling proofs are probabilistic product programs}, + title = {Coupling Proofs Are Probabilistic Product Programs}, author = {Barthe, Gilles and Gr{\'e}goire, Benjamin and Hsu, Justin and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = popl17, + pages = {161--174}, year = 2017, url = {http://arxiv.org/abs/1607.03455}, + eprint = {1607.03455}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + doi = {10.1145/3009837.3009896}, slides = {http://justinh.su/files/slides/products.pdf}, jh = yes, plclub = yes, @@ -153,8 +183,8 @@ } @inproceedings{ACGHK16, - title = {A semantic account of metric preservation}, - author = {de Amorim, Arthur Azevedo and + title = {A Semantic Account of Metric Preservation}, + author = {Azevedo de Amorim, Arthur and Gaboardi, Marco and Hsu, Justin and Katsumata, {Shin-ya} and @@ -163,6 +193,10 @@ year = 2017, pages = {545--556}, url = {http://arxiv.org/abs/1702.00374}, + eprint = {1702.00374}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + doi = {10.1145/3009837.3009890}, jh = yes, plclub = yes, reviewed = yes, @@ -170,7 +204,7 @@ } @inproceedings{HKM-verif16, - title = {Computer-aided verification in mechanism design}, + title = {Computer-Aided Verification in Mechanism Design}, author = {Barthe, Gilles and Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and @@ -184,6 +218,10 @@ volume = 10123, publisher = springer, url = {http://arxiv.org/abs/1502.04052}, + eprint = {1502.04052}, + archivePrefix = {arXiv}, + primaryClass = {cs.GT}, + doi = {10.1007/978-3-662-54110-4_20}, slides = {http://justinh.su/files/slides/bic.pdf}, jh = yes, plclub = yes, @@ -191,17 +229,21 @@ } @inproceedings{BGGHS16c, - title = {Advanced probabilistic couplings for differential privacy}, + title = {Advanced Probabilistic Couplings for Differential Privacy}, author = {Barthe, Gilles and Fong, No{\'e}mie and Gaboardi, Marco and Gr{\'e}goire, Benjamin and Hsu, Justin and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = ccs16, year = 2016, pages = {55--67}, url = {https://arxiv.org/abs/1606.07143}, + eprint = {1606.07143}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.1145/2976749.2978391}, jh = yes, plclub = yes, reviewed = yes, @@ -210,7 +252,7 @@ } @inproceedings{privinfer, - title = {Differentially private {B}ayesian programming}, + title = {Differentially Private {Bayesian} Programming}, author = {Barthe, Gilles and Farina, Gian Pietro and Gaboardi, Marco and @@ -221,6 +263,10 @@ booktitle = ccs16, year = {2016}, url = {https://arxiv.org/abs/1605.00283}, + eprint = {1605.00283}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + doi = {10.1145/2976749.2978371}, jh = yes, plclub = yes, reviewed = yes, @@ -228,7 +274,7 @@ } @inproceedings{BEFFH16, - title = {Synthesizing probabilistic invariants via {D}oob's decomposition}, + title = {Synthesizing Probabilistic Invariants via {Doob}'s Decomposition}, author = {Barthe, Gilles and Espitau, Thomas and Ferrer Fioriti, Luis Mar{\'i}a and @@ -240,6 +286,10 @@ year = 2016, publisher = springer, url = {https://arxiv.org/abs/1605.02765}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + eprint = {1605.02765}, + doi = {10.1007/978-3-319-41528-4_3}, jh = yes, plclub = yes, reviewed = yes, @@ -247,12 +297,12 @@ } @inproceedings{BGGHS16b, - title = {A program logic for union bounds}, + title = {A Program Logic for Union Bounds}, author = {Barthe, Gilles and Gaboardi, Marco and Gr{\'e}goire, Benjamin and Hsu, Justin and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = icalp16, pages = {107:1--107:15}, volume = {55}, @@ -260,6 +310,10 @@ year = 2016, publisher = dagstuhl, url = {http://arxiv.org/abs/1602.05681}, + eprint = {1602.05681}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.4230/LIPIcs.ICALP.2016.107}, jh = yes, plclub = yes, reviewed = yes, @@ -267,16 +321,20 @@ } @inproceedings{BGGHS16, - title = {Proving differential privacy via probabilistic couplings}, + title = {Proving Differential Privacy via Probabilistic Couplings}, author = {Barthe, Gilles and Gaboardi, Marco and Gr{\'e}goire, Benjamin and Hsu, Justin and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = lics16, pages = {749--758}, year = 2016, url = {http://arxiv.org/abs/1601.05047}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + eprint = {1601.05047}, + doi = {10.1145/2933575.2934554}, jh = yes, plclub = yes, reviewed = yes, @@ -285,7 +343,7 @@ } @inproceedings{HMRRV16, - title = {Do prices coordinate markets?}, + title = {Do Prices Coordinate Markets?}, author = {Hsu, Justin and Morgenstern, Jamie and Rogers, Ryan and @@ -295,6 +353,10 @@ pages = {440--453}, year = 2016, url = {http://arxiv.org/abs/1511.00925}, + eprint = {1511.00925}, + archivePrefix = {arXiv}, + primaryClass = {cs.GT}, + doi = {10.1145/2897518.2897559}, jh = yes, reviewed = yes, acceptance = {92/370=0.25}, @@ -305,25 +367,29 @@ Huang, Zhiyi and Roth, Aaron and Wu, Zhiwei Steven}, - title = {Jointly private convex programming}, + title = {Jointly Private Convex Programming}, booktitle = soda16, pages = {580--599}, year = {2016}, url = {http://arxiv.org/abs/1411.0998}, + eprint = {1411.0998}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, + doi = {10.1137/1.9781611974331.ch43}, jh = yes, - reviewed = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/privdude.pdf}, acceptance = {146/527=0.28}, } @inproceedings{BEGHSS15, - title = {Relational reasoning via probabilistic coupling}, + title = {Relational Reasoning via Probabilistic Coupling}, author = {Barthe, Gilles and Espitau, Thomas and Gr{\'e}goire, Benjamin and Hsu, Justin and Stefanesco, L{\'e}o and - Strub, {P}ierre-{Y}ves}, + Strub, {Pierre}-{Yves}}, booktitle = lpar15, pages = {387--401}, volume = {9450}, @@ -331,6 +397,10 @@ year = 2015, publisher = springer, url = {http://arxiv.org/abs/1509.03476}, + eprint = {1509.03476}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.1007/978-3-662-48899-7_27}, jh = yes, plclub = yes, reviewed = yes, @@ -339,12 +409,15 @@ } @inproceedings{AHJ15, - title = {Online assignment with heterogeneous tasks in crowdsourcing markets}, + title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing Markets}, author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, booktitle = hcomp15, pages = {12--21}, year = {2015}, url = {http://arxiv.org/abs/1508.03593}, + eprint = {1508.03593}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, jh = yes, reviewed = yes, } @@ -352,7 +425,7 @@ @inproceedings{GHaccuracy, author = {Marco Gaboardi and Justin Hsu}, - title = {A {Theory AB} toolbox}, + title = {A {Theory AB} Toolbox}, year = {2015}, booktitle = snapl15, pages = {129--139}, @@ -360,6 +433,7 @@ series = lipics, publisher = dagstuhl, url = {http://justinh.su/files/papers/theory-ab.pdf}, + doi = {10.4230/LIPIcs.SNAPL.2015.129}, jh = yes, plclub = yes, reviewed = yes, @@ -367,8 +441,8 @@ } @inproceedings{BGGHRS15, - title = {Higher-order approximate relational refinement types for - mechanism design and differential privacy}, + title = {Higher-Order Approximate Relational Refinement Types for + Mechanism Design and Differential Privacy}, author = {Barthe, Gilles and Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and @@ -379,6 +453,10 @@ pages = {55--68}, year = {2015}, url = {http://arxiv.org/abs/1407.6845}, + eprint = {1407.6845}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + doi = {10.1145/2676726.2677000}, jh = yes, plclub = yes, reviewed = yes, @@ -387,17 +465,21 @@ } @inproceedings{AGGH14, - author = {de Amorim, Arthur Azevedo and + author = {Azevedo de Amorim, Arthur and Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and Hsu, Justin}, - title = {Really natural linear indexed type-checking}, + title = {Really Natural Linear Indexed Type-Checking}, booktitle = {Symposium on Implementation and Application of Functional Programming Languages (IFL), Boston, Massachusetts}, pages = {5:1--5:12}, year = {2014}, publisher = acmpress, url = {http://arxiv.org/abs/1503.04522}, + eprint = {1503.04522}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.1145/2746325.2746335}, jh = yes, plclub = yes, reviewed = yes, @@ -411,11 +493,15 @@ Hsu, Justin and Kunz, C\'esar and Strub, Pierre-Yves}, - title = {Proving differential privacy in {H}oare logic}, + title = {Proving Differential Privacy in {Hoare} Logic}, booktitle = csf14, pages = {411--424}, year = {2014}, url = {http://arxiv.org/abs/1407.2988}, + eprint = {1407.2988}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + doi = {10.1109/CSF.2014.36}, jh = yes, plclub = yes, reviewed = yes, @@ -430,11 +516,15 @@ Narayan, Arjun and Pierce, Benjamin C. and Roth, Aaron}, - title = {Differential privacy: {An} economic method for choosing epsilon}, + title = {Differential Privacy: {An} Economic Method for Choosing Epsilon}, booktitle = csf14, pages = {398--410}, year = 2014, url = {http://arxiv.org/abs/1402.3329}, + eprint = {1402.3329}, + archivePrefix = {arXiv}, + primaryClass = {cs.DB}, + doi = {10.1109/CSF.2014.35}, jh = yes, plclub = yes, reviewed = yes, @@ -447,7 +537,7 @@ Roth, Aaron and Roughgarden, Tim and Ullman, Jonathan}, - title = {Privately solving linear programs}, + title = {Privately Solving Linear Programs}, booktitle = icalp14, pages = {612--624}, volume = 8572, @@ -455,6 +545,10 @@ year = {2014}, publisher = springer, url = {http://arxiv.org/abs/1402.3631}, + eprint = {1402.3631}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, + doi = {10.1007/978-3-662-43948-7_51}, jh = yes, reviewed = yes, slides = {http://justinh.su/files/slides/priv-lp.pdf}, @@ -467,15 +561,17 @@ inproceedings{GGHRW14, Hsu, Justin and Roth, Aaron and Wu, Zhiwei Steven}, - title = {Dual Query: Practical private query release for high dimensional data}, + title = {Dual Query: Practical Private Query Release for High Dimensional Data}, booktitle = icml14, pages = {1170--1178}, volume = {32}, - series = jmlrproc, + series = pmlr, year = {2014}, - publisher = jmlr, reviewed = yes, url = {http://arxiv.org/abs/1402.1526}, + eprint = {1402.1526}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, jh = yes, slides = {http://justinh.su/files/slides/dualquery.pdf}, poster = {http://justinh.su/files/poser/dualquery.pdf}, @@ -488,12 +584,16 @@ inproceedings{HHRRW14, Roth, Aaron and Roughgarden, Tim and Wu, Zhiwei Steven}, - title = {Private matchings and allocations}, + title = {Private Matchings and Allocations}, booktitle = stoc14, year = {2014}, reviewed = yes, pages = {21--30}, url = {http://arxiv.org/abs/1311.2828}, + eprint = {1311.2828}, + archivePrefix = {arXiv}, + primaryClass = {cs.GT}, + doi = {10.1145/2591796.2591826}, timestamp = {Wed, 22 Oct 2014 14:44:14 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/stoc/HsuHRRW14}, bibsource = {dblp computer science bibliography, http://dblp.org}, @@ -503,7 +603,7 @@ inproceedings{HHRRW14, } @inproceedings{WHE13, - title = {{S}ystem {FC} with explicit kind equality}, + title = {{System} {FC} with Explicit Kind Equality}, author = {Weirich, Stephanie and Hsu, Justin and Eisenberg, Richard A.}, @@ -511,6 +611,7 @@ inproceedings{HHRRW14, pages = {275--286}, year = {2013}, url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, + doi = {10.1145/2500365.2500599}, jh = yes, plclub = yes, reviewed = yes, @@ -518,14 +619,18 @@ inproceedings{HHRRW14, } @inproceedings{HRU13, - title = {Differential privacy for the analyst via private equilibrium computation}, + title = {Differential Privacy for the Analyst via Private Equilibrium Computation}, author = {Hsu, Justin and Roth, Aaron and Ullman, Jonathan}, - url = {http://arxiv.org/abs/1211.0877}, booktitle = stoc13, pages = {341--350}, year = {2013}, + url = {http://arxiv.org/abs/1211.0877}, + eprint = {1211.0877}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, + doi = {10.1145/2488608.2488651}, jh = yes, reviewed = yes, slides = {http://justinh.su/files/slides/analyst-priv.pdf}, @@ -533,7 +638,7 @@ inproceedings{HHRRW14, } @inproceedings{GHHNP13, - title = {Linear dependent types for differential privacy}, + title = {Linear Dependent Types for Differential Privacy}, author = {Gaboardi, Marco and Haeberlen, Andreas and Hsu, Justin and @@ -542,6 +647,7 @@ inproceedings{HHRRW14, booktitle = popl13, pages = {357--370}, url = {http://dl.acm.org/citation.cfm?id=2429113}, + doi = {10.1145/2429069.2429113}, year = {2013}, jh = yes, plclub = yes, @@ -550,7 +656,7 @@ inproceedings{HHRRW14, } @inproceedings{HKR12, - title = {Distributed private heavy hitters}, + title = {Distributed Private Heavy Hitters}, author = {Hsu, Justin and Khanna, Sanjeev and Roth, Aaron}, @@ -561,8 +667,11 @@ inproceedings{HHRRW14, year = {2012}, publisher = springer, url = {http://arxiv.org/abs/1202.4910}, - note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now - fixed.}, + eprint = {1202.4910}, + archivePrefix = {arXiv}, + primaryClass = {cs.DS}, + doi = {10.1007/978-3-642-31594-7_39}, + 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}, @@ -571,7 +680,7 @@ inproceedings{HHRRW14, %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{Murawski:2016:2893582, - title = {Programming language techniques for differential privacy}, + titLe = {Programming Language Techniques for Differential Privacy}, author = {Barthe, Gilles and Gaboardi, Marco and Hsu, Justin and @@ -583,14 +692,15 @@ inproceedings{HHRRW14, volume = {3}, number = {1}, url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, + doi = {10.1145/2893582.2893591}, jh = yes, - plclub = yes, + plclub = yes, reviewed = no, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{GGHHP13, - title = {Automatic sensitivity analysis using linear dependent types}, + title = {Automatic Sensitivity Analysis using Linear Dependent Types}, author = {Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and Haeberlen, Andreas and @@ -606,7 +716,7 @@ inproceedings{HHRRW14, @inproceedings{HsuTaxes, author = {Justin Hsu}, - title = {Death, taxes, and formal verification (Abstract)}, + title = {Death, Taxes, and Formal Verification (Abstract)}, year = {2015}, booktitle = snapl15, jh = yes, @@ -746,7 +856,7 @@ inproceedings{HHRRW14, } @talk{cmu16-talk, - title = {Relational reasoning via probabilistic coupling}, + title = {Relational Reasoning via Probabilistic Coupling}, organization = {Principles of Programming Seminar, Carnegie Mellon University}, year = 2016, month = oct, @@ -794,7 +904,7 @@ inproceedings{HHRRW14, } @talk{njpls16-talk, - title = {A program logic for union bounds}, + title = {A Program Logic for Union Bounds}, organization = {NJ Programming Languages and Systems Seminar (NJPLS)}, year = 2016, month = may, @@ -818,7 +928,7 @@ inproceedings{HHRRW14, } @talk{lpar15-talk, - title = {Relational reasoning via probabilistic coupling}, + title = {Relational Reasoning via Probabilistic Coupling}, organization = lpar15, year = 2015, month = nov, @@ -826,7 +936,7 @@ inproceedings{HHRRW14, } @talk{nsf-sfm15-talk, - title = {What are we measuring, anyways?}, + title = {What Are We Measuring, Anyways?}, organization = {NSF Workshop on Formal Methods for Information Security}, year = 2015, month = nov, @@ -834,7 +944,7 @@ inproceedings{HHRRW14, } @talk{tau15-talk, - title = {Language-based Verification for Differential Privacy}, + title = {Language-Based Verification for Differential Privacy}, organization = {Tel Aviv University}, year = 2015, month = nov, @@ -842,7 +952,7 @@ inproceedings{HHRRW14, } @talk{shonan15-talk, - title = {Language-based Verification for Differential Privacy}, + title = {Language-Based Verification for Differential Privacy}, organization = {Shonan Meeting on Logic and Verification Methods in Security and Privacy}, year = 2015, @@ -851,7 +961,7 @@ inproceedings{HHRRW14, } @talk{tohoku15-talk, - title = {Relational reasoning via probabilistic coupling}, + title = {Relational Reasoning via Probabilistic Coupling}, organization = {Tohoku University}, year = 2015, month = oct, @@ -1043,7 +1153,7 @@ inproceedings{HHRRW14, @inproceedings{GLMRT10, title = {Differentially private combinatorial optimization}, url = {http://arxiv.org/abs/0903.4510}, - author = {Gupta, Anupam and Ligett, Katrina and Mc{S}herry, Frank and Roth, + author = {Gupta, Anupam and Ligett, Katrina and {McSherry}, Frank and Roth, Aaron and Talwar, Kunal}, booktitle = soda10, pages = {1106--1125}, @@ -1100,6 +1210,7 @@ inproceedings{HHRRW14, volume = {9}, number = {3--4}, pages = {211--407}, + doi = {10.1561/0400000042}, url = {http://dx.doi.org/10.1561/0400000042}, timestamp = {Tue, 28 Oct 2014 14:00:24 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/fttcs/DworkR14}, @@ -1115,11 +1226,12 @@ inproceedings{HHRRW14, } @inproceedings{DRV10, - title = {Boosting and differential privacy}, + title = {Boosting and Differential Privacy}, url = {http://research.microsoft.com/pubs/155170/dworkrv10.pdf}, booktitle = focs10, author = {Dwork, Cynthia and Rothblum, Guy N. and Vadhan, Salil}, year = {2010}, + doi = {10.1109/FOCS.2010.12}, keywords = {Algorithms, {CS}, {DP}, Learning Theory}, pages = {51--60}, } @@ -1206,6 +1318,7 @@ inproceedings{HHRRW14, title = {Mechanism Design via Differential Privacy}, booktitle = focs07, pages = {94--103}, + doi = {10.1109/FOCS.2007.66}, url = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.41}, year = 2007 } @@ -1223,7 +1336,7 @@ inproceedings{HHRRW14, title = {Practical privacy: the {SuLQ} framework}, author = {Avrim Blum and Cynthia Dwork and - Frank Mc{S}herry and + Frank {McSherry} and Kobbi Nissim}, booktitle = pods05, pages = {128--138}, @@ -1252,9 +1365,10 @@ inproceedings{HHRRW14, @inproceedings{pinq, author = {{McSherry}, Frank}, booktitle = sigmod09, - title = {Privacy integrated queries}, + title = {Privacy Integrated Queries}, pages = {19--30}, url = {http://research.microsoft.com/pubs/80218/sigmod115-mcsherry.pdf}, + doi = {10.1145/1559845.1559850}, year = 2009 } @@ -1279,7 +1393,7 @@ inproceedings{HHRRW14, @inproceedings{t-closeness, author = {Ninghui Li and Tiancheng Li and Suresh Venkatasubramanian}, - title = {$t$-{C}loseness: {P}rivacy beyond $k$-anonymity and $l$-diversity}, + title = {$t$-{Closeness}: {Privacy} beyond $k$-anonymity and $l$-diversity}, booktitle = icde07, url = {https://www.cs.purdue.edu/homes/ninghui/papers/t_closeness_icde07.pdf}, year = 2007 @@ -1298,7 +1412,7 @@ inproceedings{HHRRW14, @article{aol, author = {Michael Barbaro and Tom Zeller}, - title = {A Face Is Exposed for {AOL} Searcher {N}o. 4417749}, + title = {A Face Is Exposed for {AOL} Searcher {No.} 4417749}, journal = {The New York Times}, day = 9, month = aug, @@ -1337,10 +1451,11 @@ inproceedings{HHRRW14, url = {http://books.nips.cc/papers/files/nips21/NIPS2008_0964.pdf} } -@article{CH11, +@inproceedings{CH11, title = {Sample Complexity Bounds for Differentially Private Learning}, author = {Chaudhuri, Kamalika and Hsu, Daniel}, - journal = jmlr, + booktitle = colt11, + series = pmlr, volume = {19}, pages = {155--186}, url = {http://jmlr.org/proceedings/papers/v19/chaudhuri11a/chaudhuri11a.pdf}, @@ -1359,6 +1474,7 @@ inproceedings{HHRRW14, pages = {9:1--9:49}, month = nov, year = {2013}, + doi = {10.1145/2492061}, url = {http://software.imdea.org/~bkoepf/papers/toplas13.pdf}, } @@ -1369,6 +1485,7 @@ inproceedings{HHRRW14, booktitle = icfp10, year = 2010, pages = {157--168}, + doi = {10.1145/1863543.1863568}, url = {http://dl.acm.org/citation.cfm?id=1863568} } @@ -1461,7 +1578,7 @@ inproceedings{HHRRW14, title = {Privacy, accuracy, and consistency too: {A} holistic solution to contingency table release}, author = {Barak, Boaz and Chaudhuri, Kamalika and Dwork, Cynthia and Kale, - Satyen and Mc{S}herry, Frank and Talwar, Kunal}, + Satyen and {McSherry}, Frank and Talwar, Kunal}, booktitle = pods07, pages = {273--282}, url = {http://research.microsoft.com/en-us/projects/DatabasePrivacy/contingency.pdf}, @@ -1500,12 +1617,13 @@ inproceedings{HHRRW14, url = {http://repository.cmu.edu/cgi/viewcontent.cgi?article=1065&context=jpc} } -@article{KST12, +@inproceedings{KST12, title = {Private convex empirical risk minimization and high-dimensional regression}, author = {Kifer, Daniel and Smith, Adam and Thakurta, Abhradeep}, - journal = jmlr, - volume = {1}, - pages = {41}, + booktitle = colt12, + series = pmlr, + volume = {23}, + pages = {25.1--25.40}, year = {2012}, url = {http://jmlr.org/proceedings/papers/v23/kifer12/kifer12.pdf} } @@ -1567,10 +1685,11 @@ inproceedings{HHRRW14, } @inproceedings{TS13a, - title = {Differentially Private Feature Selection via Stability Arguments, - and the Robustness of the Lasso}, + title = {Differentially Private Feature Selection via Stability Arguments, and the Robustness of the Lasso}, author = {Thakurta, Abhradeep G. and Smith, Adam}, booktitle = colt13, + series = pmlr, + volume = 30, pages = {819--850}, url = {http://jmlr.org/proceedings/papers/v30/Guha13.pdf}, year = {2013} @@ -1621,17 +1740,18 @@ inproceedings{HHRRW14, @inproceedings{CHRMM10, title = {Optimizing linear counting queries under differential privacy}, author = {Li, Chao and Hay, Michael and Rastogi, Vibhor and Miklau, Gerome - and Mc{G}regor, Andrew}, + and {McGregor}, Andrew}, booktitle = pods10, pages = {123--134}, year = {2010}, url = {http://arxiv.org/abs/0912.4742} } -@inproceedings{LM12, +@article{LM12, title = {An adaptive mechanism for accurate query answering under differential privacy}, author = {Li, Chao and Miklau, Gerome}, - booktitle = vldb12, + journal = pvldb, + note = vldb12, volume = {5}, number = {6}, pages = {514--525}, @@ -1735,7 +1855,7 @@ inproceedings{HHRRW14, @article{Meyer92, - title = {Applying ``{D}esign by contract''}, + title = {Applying ``{Design} by contract''}, author = {Meyer, Bertrand}, journal = {Computer}, volume = {25}, @@ -1748,7 +1868,7 @@ inproceedings{HHRRW14, @inproceedings{Vazou+14:ICFP, author = {N. Vazou and E. L. Seidel and R. Jhala and D. Vytiniotis and - S. {P}eyton-{J}ones}, + S. {Peyton}-{Jones}}, title = {{Refinement Types for Haskell}}, booktitle = icfp14, year = {2014}, @@ -1773,7 +1893,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} @article{BBHM08, title = {Reducing mechanism design to algorithm design via machine learning}, - author = {Balcan, {M}aria-{F}lorina and Blum, Avrim and Hartline, Jason D and Mansour, Yishay}, + author = {Balcan, {Maria}-{Florina} and Blum, Avrim and Hartline, Jason D and Mansour, Yishay}, journal = {Journal of Computer and System Sciences}, volume = {74}, number = {8}, @@ -1841,7 +1961,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} } @article{Hurd:2005, - Author = {Hurd, Joe and {M}c{I}ver, Annabelle and Morgan, Carroll}, + Author = {Hurd, Joe and {McIver}, Annabelle and Morgan, Carroll}, Journal = tcs, Number = {1}, Pages = {96--112}, @@ -1852,7 +1972,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} } @book{McIver:2005, - Author = {{M}c{I}ver, A. and Morgan, C.}, + Author = {{McIver}, A. and Morgan, C.}, Publisher = springer, Series = {Monographs in Computer Science}, Title = {Abstraction, Refinement, and Proof for Probabilistic Systems}, @@ -1873,7 +1993,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} @inproceedings{Kiselyov:2009, author = {Oleg Kiselyov and - {C}hung-{C}hieh Shan}, + {Chung}-{Chieh} Shan}, title = {Embedded Probabilistic Programming}, booktitle = {DSL}, year = {2009}, @@ -1891,7 +2011,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} @inproceedings{Sampson+14, title = {Expressing and verifying probabilistic assertions}, - author = {Sampson, Adrian and Panchekha, Pavel and Mytkowicz, Todd and {M}c{K}inley, Kathryn S and Grossman, Dan and Ceze, Luis}, + author = {Sampson, Adrian and Panchekha, Pavel and Mytkowicz, Todd and {McKinley}, Kathryn S and Grossman, Dan and Ceze, Luis}, booktitle = pldi14, pages = {14}, year = {2014}, @@ -1899,7 +2019,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} } @Inproceedings {Bornholt+14, -author = {James Bornholt and Todd Mytkowicz and Kathryn S {M}c{K|inley}}, +author = {James Bornholt and Todd Mytkowicz and Kathryn S {McKinley}}, booktitle = asplos14, title = {{Uncertain$\langle$T$\rangle$}: {A} First-Order Type for Uncertain Data}, year = {2014}, @@ -1908,7 +2028,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf @article{Giry82, - author = {Giry, Mich\`{e}le}, + author = {Giry, Mich{\`e}le}, journal = {Categorical Aspects of Topology and Analysis}, pages = {68--85}, title = {{A categorical approach to probability theory}}, @@ -1935,7 +2055,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf @inproceedings{fstar, - author = {Swamy, Nikhil and Chen, Juan and Fournet, C{\'e}dric and Strub, {P}ierre-{Y}ves and Bhargavan, Karthikeyan and Yang, Jean}, + author = {Swamy, Nikhil and Chen, Juan and Fournet, C{\'e}dric and Strub, {Pierre}-{Yves} and Bhargavan, Karthikeyan and Yang, Jean}, title = {Secure distributed programming with value-dependent types}, booktitle = icfp11, year = 2011, @@ -1953,16 +2073,17 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf } @inproceedings{rfstar, - title = {Probabilistic relational verification for cryptographic implementations}, + title = {Probabilistic Relational Verification for Cryptographic Implementations}, author = {Barthe, Gilles and Fournet, C{\'e}dric and Gr{\'e}goire, Benjamin and - Strub, {P}ierre-{Y}ves and + Strub, {Pierre}-{Yves} and Swamy, Nikhil and Zanella{-}B{\'e}guelin, Santiago}, booktitle = popl14, pages = {193--206}, year = {2014}, + doi = {10.1145/2535838.2535847}, url = {http://research.microsoft.com/en-us/um/people/nswamy/papers/rfstar.pdf} } @@ -1988,8 +2109,9 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf Author = {Benton, Nick}, Booktitle = popl04, Pages = {14--25}, - Title = {Simple relational correctness proofs for static analyses and program transformations}, + Title = {Simple Relational Correctness Proofs for Static Analyses and Program Transformations}, Year = {2004}, + doi = {10.1145/964001.964003}, url = {http://research.microsoft.com/en-us/um/people/nick/correctnessfull.pdf} } @@ -2014,6 +2136,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf Pages = {90--101}, Title = {Formal Certification of Code-Based Cryptographic Proofs}, Year = {2009}, + doi = {10.1145/1480881.1480894}, url = {http://research.microsoft.com/pubs/185309/Zanella.2009.POPL.pdf} } @@ -2116,7 +2239,7 @@ year = {2014} @inproceedings{CasinghinoSW14, - author = {Chris Casinghino and Vilhelm Sj\"{o}berg and Stephanie Weirich}, + author = {Chris Casinghino and Vilhelm Sj{\"o}berg and Stephanie Weirich}, title = {Combining Proofs and Programs in a Dependently Typed Langauge}, booktitle = popl14, year = {2014}, @@ -2156,7 +2279,7 @@ year = {2014} } @article{BartheDR04, - title = {Secure information flow by self-composition}, + title = {Secure Information Flow by Self-Composition}, author = {Barthe, Gilles and D'Argenio, Pedro R. and Rezk, Tamara}, @@ -2166,6 +2289,7 @@ year = {2014} pages = {1207--1252}, year = {2011}, publisher = cup, + doi = {10.1017/S0960129511000193}, url = {http://www-sop.inria.fr/lemme/Tamara.Rezk/publication/Barthe-DArgenio-Rezk-Journal.pdf} } @@ -2178,6 +2302,7 @@ year = {2014} series = lncs, volume = {5014}, year = {2008}, + doi = {10.1007/978-3-540-68237-0_5}, url = {http://llvm.org/pubs/2008-05-CoVaC.pdf} } @@ -2191,6 +2316,7 @@ year = {2014} Title = {Secure Information Flow as a Safety Problem}, Volume = {3672}, Year = {2005}, + doi = {10.1007/11547662_24}, url = {http://theory.stanford.edu/~aiken/publications/papers/sas05b.pdf} } @@ -2207,6 +2333,7 @@ year = {2014} volume = 6664, publisher = springer, url = {http://software.imdea.org/~ckunz/rellog/long-rellog.pdf}, + doi = {10.1007/978-3-642-21437-0_17} } @inproceedings{BartheCK13, @@ -2221,6 +2348,7 @@ year = {2014} series = lncs, volume = 7734, publisher = springer, + doi = {10.1007/978--3-642--35722--0_3}, url = {http://dx.doi.org/10.1007/978--3-642--35722--0_3}, bibsource = {DBLP, http://dblp.uni-trier.de} } @@ -2313,7 +2441,7 @@ year = {2014} @incollection{epigram, title = {Epigram: Practical programming with dependent types}, - author = {{M}c{B}ride, Conor}, + author = {{McBride}, Conor}, booktitle = {Advanced Functional Programming}, pages = {130--170}, year = {2005}, @@ -2390,7 +2518,6 @@ year = {2014} series = lncs, pages = {265--284}, year = {2006}, - url = {http://dx.doi.org/10.1007/11681878_14}, doi = {10.1007/11681878_14}, publisher = springer } @@ -2406,6 +2533,7 @@ year = {2014} pages = {61--79}, year = 2011, url = {http://arxiv.org/pdf/1101.2819v1}, + doi = {10.1016/j.entcs.2011.09.015}, publisher = elsevier } @@ -2482,15 +2610,17 @@ year = {2014} @article{JKT11, title = {Differentially private online learning}, author = {Jain, Prateek and Kothari, Pravesh and Thakurta, Abhradeep Guha}, - journal = {arXiv preprint arXiv:1109.0105}, + eprint = {1109.0105}, year = {2011}, url = {http://arxiv.org/abs/1109.0105} } @inproceedings{JT14, - title = {({N}ear) Dimension Independent Risk Bounds for Differentially Private Learning}, + title = {({Near}) Dimension Independent Risk Bounds for Differentially Private Learning}, author = {Jain, Prateek and Thakurta, Abhradeep Guha}, booktitle = icml14, + series = pmlr, + volume = 32, pages = {476--484}, year = {2014}, url = {http://jmlr.org/proceedings/papers/v32/jain14.pdf} @@ -2556,13 +2686,14 @@ year = {2014} } @inproceedings{OhRY01, - title = {Local reasoning about programs that alter data structures}, + title = {Local Reasoning about Programs That Alter Data Structures}, author = {O'Hearn, Peter W. and Reynolds, John C. and Yang, Hongseok}, booktitle = csl01, year = 2001, series = lncs, volume = 2142, publisher = springer, + doi = {10.1007/3-540-44802-0_1}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.1331&rep=rep1&type=pdf}, pages = {1--19} } @@ -2588,9 +2719,9 @@ year = {2014} } @article{Reynolds01, - title = {Intuitionistic reasoning about shared mutable data structure}, + title = {Intuitionistic Reasoning about Shared Mutable Data Structure}, author = {Reynolds, John C.}, - journal = {Millennial perspectives in computer science}, + journal = {Millennial Perspectives in Computer Science}, volume = {2}, number = {1}, year = 2001, @@ -2601,11 +2732,13 @@ year = {2014} } @inproceedings{Reynolds02, - title = {Separation logic: {A} logic for shared mutable data structures}, + title = {Separation Logic: {A} Logic for Shared Mutable Data Structures}, author = {Reynolds, John C.}, booktitle = lics02, year = 2002, - pages = {55--74} + pages = {55--74}, + doi = {10.1109/LICS.2002.1029817}, + url = {https://www.cs.cmu.edu/~jcr/seplogic.pdf} } @article{Burstall72, @@ -2877,25 +3010,30 @@ verification conditions}, pages = {146--166}, publisher = springer, year = {2013}, + doi = {10.1007/978-3-319-10082-1_6}, note = {Tutorial Lectures}, } @article{hoare1969axiomatic, - title={An axiomatic basis for computer programming}, + title={An Axiomatic Basis for Computer Programming}, author={Hoare, Charles A. R.}, journal=cacm, volume={12}, number={10}, pages={576--580}, year={1969}, + doi={10.1145/363235.363259}, + url={https://dl.acm.org/citation.cfm?id=363259} } @incollection{Floyd67, author = {Floyd, Robert W.}, booktitle = {Symposium on Applied Mathematics}, publisher = {American Mathematical Society}, - title = {{Assigning meanings to programs}}, - year = {1967} + title = {Assigning Meanings to Programs}, + year = {1967}, + doi = {10.1007/978-94-011-1793-7_4}, + url = {https://link.springer.com/chapter/10.1007%2F978-94-011-1793-7_4} } @@ -3009,12 +3147,14 @@ verification conditions}, author = {Carroll Morgan and Annabelle McIver and Karen Seidel}, - title = {Probabilistic Predicate Transformers}, - journal = toplas, - volume = {18}, - number = {3}, - year = {1996}, - pages = {325--353} + title = {Probabilistic Predicate Transformers}, + journal = toplas, + volume = {18}, + number = {3}, + year = {1996}, + pages = {325--353}, + doi = {10.1145/229542.229547}, + url = {dl.acm.org/ft_gateway.cfm?id=229547} } @article{Kozen:1985, @@ -3023,16 +3163,8 @@ verification conditions}, journal = jcss, volume = {30}, number = {2}, - year = {1985} -} - -@article{Kozen:1985, - author = {D. Kozen}, - title = {A Probabilistic {PDL}}, - journal = jcss, - volume = {30}, - number = {2}, - year = {1985} + year = {1985}, + doi = {10.1016/0022-0000(85)90012-1}, } @inproceedings{TGV09, @@ -3069,6 +3201,7 @@ pages = {197--214}, volume = {147}, year = {2014}, pages = {123--132}, + doi = {10.4204/EPTCS.147.9}, url = {http://dx.doi.org/10.4204/EPTCS.147.9}, } @@ -3135,7 +3268,7 @@ pages = {197--214}, Fran{\c{c}}ois Garillot and St{\'{e}}phane Le Roux and Assia Mahboubi and - Russell O'{C}onnor and + Russell {O'Connor} and Sidi Ould Biha and Ioana Pasca and Laurence Rideau and @@ -3177,6 +3310,7 @@ pages = {197--214}, Code-Based Game-Playing Proofs}, volume = {4004}, year = {2006}, + doi = {10.1007/11761679_25}, url = {https://www.iacr.org/archive/eurocrypt2006/40040415/40040415.pdf} } @@ -3188,14 +3322,6 @@ pages = {197--214}, url = {https://eprint.iacr.org/2005/181.pdf} } - -@misc{Shoup:2004, - author = {Shoup, Victor}, - howpublished = {Cryptology ePrint Archive, Report 2004/332}, - title = {Sequences of games: {A} tool for taming complexity in security proofs}, - year = {2004} -} - @unpublished{Naumann:2009, author = {Naumann, David A}, title = {Theory for software verification}, @@ -3290,7 +3416,7 @@ pages = {197--214}, } @article{McBrideMcKinna02, - author = {Conor Mc{B}ride and James Mc{K}inna}, + author = {Conor {McBride} and James {McKinna}}, title = {The view from the left}, journal = jfp, year = {2004}, @@ -3305,7 +3431,7 @@ pages = {197--214}, Cretin, Julien and {Peyton Jones}, Simon and Vytiniotis, Dimitrios and - Magalha\~{e}s, Jos\'{e} Pedro}, + Magalha{\~{e}}s, Jos{\'e} Pedro}, title = {Giving Haskell A Promotion}, booktitle = tldi12, year = 2012, @@ -3501,7 +3627,7 @@ year = {2011} } @article{HartogVink02, - title = {Verifying probabilistic programs using a {H}oare like logic}, + title = {Verifying probabilistic programs using a {Hoare} like logic}, author = {den Hartog, J I and de Vink, Erik P}, journal = {International Journal of Foundations of Computer Science}, volume = {13}, @@ -3525,7 +3651,7 @@ year = {2011} @misc{RandZdancewic15, author = {Rand, Robert and Zdancewic, Steve}, - title = {A Formally Verified Probabilistic {H}oare Logic with Non-Termination}, + title = {A Formally Verified Probabilistic {Hoare} Logic with Non-Termination}, year = 2015 } @@ -3533,18 +3659,20 @@ inproceedings{Kozen79, Author = {Kozen, Dexter}, Booktitle = focs79, Pages = {101--114}, - Title = {Semantics of probabilistic programs}, + Title = {Semantics of Probabilistic Programs}, Year = {1979}} @article{Kozen81, - title = {Semantics of probabilistic programs}, + title = {Semantics of Probabilistic Programs}, author = {Kozen, Dexter}, - journal = {Journal of Computer and System Sciences}, + journal = jcss, volume = {22}, number = {3}, pages = {328--350}, year = {1981}, - publisher = {Elsevier} + publisher = {Elsevier}, + doi = {10.1016/0022-0000(81)90036-2}, + url = {http://www.sciencedirect.com/science/article/pii/0022000081900362} } @article{HSP83, @@ -3576,13 +3704,12 @@ inproceedings{Kozen79, } @inproceedings{FerrerHermanns15, - title = {Probabilistic Termination: Soundness, Completeness, and - Compositionality}, + title = {Probabilistic Termination: Soundness, Completeness, and Compositionality}, author = {Ferrer Fioriti, Luis Mar{\'\i}a and Hermanns, Holger}, booktitle = popl15, pages = {489--501}, year = {2015}, - url = {http://www.ae-info.org/attach/User/Hermanns_Holger/Publications/FH-POPL15.pdf}, + doi = {10.1145/2676726.2677001} } @inproceedings{Kozen06, @@ -3621,7 +3748,7 @@ inproceedings{Kozen79, } @book{Lindvall02, - title = {Lectures on the coupling method}, + title = {Lectures on the Coupling Method}, author = {Lindvall, Torgny}, year = {2002}, publisher = {Courier Corporation} @@ -3852,7 +3979,7 @@ url = {http://arxiv.org/abs/1406.3278} } @article{GS99a, -title = "The {E}nglish Auction with Differentiated Commodities", +title = "The {English} Auction with Differentiated Commodities", journal = jet, volume = "92", number = "1", @@ -3881,7 +4008,7 @@ isbn={978-3-540-61310-7}, booktitle=ipco06, volume={1084}, series=lncs, -title={Convexity and {S}teinitz's exchange property}, +title={Convexity and {Steinitz}'s exchange property}, url={http://dx.doi.org/10.1007/3-540-61310-2_20}, publisher=springer, author={Murota, Kazuo}, @@ -3890,30 +4017,28 @@ pages={260--274}, @article{MS99, author = {Murota, Kazuo and Shioura, Akiyoshi}, -title = {{M}-{C}onvex Function on Generalized Polymatroid}, +title = {{M}-{Convex} Function on Generalized Polymatroid}, journal = {Mathematics of Operations Research}, volume = {24}, number = {1}, pages = {95--105}, year = {1999}, -URL = {http://dx.doi.org/10.1287/moor.24.1.95}, -eprint = {http://dx.doi.org/10.1287/moor.24.1.95}, +doi = {10.1287/moor.24.1.95}, } @article{FY03, author = {Fujishige, Satoru and Yang, Zaifu}, -title = {A Note on {K}elso and {C}rawford's {G}ross {S}ubstitutes Condition}, +title = {A Note on {Kelso} and {Crawford}'s {Gross} {Substitutes} Condition}, journal = {Mathematics of Operations Research}, volume = {28}, number = {3}, pages = {463--469}, year = {2003}, -URL = {http://dx.doi.org/10.1287/moor.28.3.463.16393}, -eprint = {http://dx.doi.org/10.1287/moor.28.3.463.16393}, +doi = {10.1287/moor.28.3.463.16393}, } @article{MT10, -title = "Characterization of the {W}alrasian equilibria of the assignment model ", +title = "Characterization of the {Walrasian} equilibria of the assignment model ", journal = "Journal of Mathematical Economics", volume = "46", number = "1", @@ -4139,13 +4264,14 @@ pages={735--751}, author = {Barthe, Gilles and Olmedo, Federico}, title = {Beyond Differential Privacy: Composition Theorems and Relational Logic - for $f$-divergences between Probabilistic Programs}, + for $f$-Divergences between Probabilistic Programs}, booktitle = icalp13, series = lncs, volume = {7966}, pages = {49--60}, publisher = springer, year = {2013}, + doi = {10.1007/978-3-642-39212-2_8}, url = {http://certicrypt.gforge.inria.fr/2013.ICALP.pdf} } @@ -4219,18 +4345,20 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} publisher=springer } -@inproceedings{lyu2016understanding, +@article{lyu2016understanding, title={Understanding the {Sparse Vector Technique} for Differential Privacy}, author={Lyu, Min and Su, Dong and Li, Ninghui}, - booktitle=vldb17, + journal=pvldb, + note=vldb17, volume=10, number=6, pages={637--648}, url={http://arxiv.org/abs/1603.01699}, + doi={10.14778/3055330.3055331}, year={2017}, } -@inproceedings{DBLP:journals/corr/OhV13, +inproceedings{DBLP:journals/corr/OhV13, author = { Peter Kairouz and Sewoong Oh and @@ -4242,9 +4370,26 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} series = pmlr, url = {https://arxiv.org/abs/1311.0776}, year = {2015}, - publisher = jmlr } +@article{DBLP:journals/corr/OhV13, + author={P. Kairouz and S. Oh and P. Viswanath}, + journal={IEEE Transactions on Information Theory}, + title={The Composition Theorem for Differential Privacy}, + year={2017}, + volume={63}, + number={6}, + pages={4037--4049}, + keywords={data privacy;composition theorem;data processing + inequality;differential privacy;privatization mechanisms;Data + privacy;Data processing;Databases;Electronic + mail;Privacy;Privatization;Testing;Differential privacy;hypothesis + testing}, + doi={10.1109/TIT.2017.2685505}, + url={https://arxiv.org/abs/1311.0776}, + ISSN={0018-9448}, + month={June},} + @article{dwork2015reusable, title={The reusable holdout: Preserving validity in adaptive data analysis}, author={Dwork, Cynthia and Feldman, Vitaly and Hardt, Moritz and Pitassi, @@ -4272,11 +4417,13 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{bubley1997path, - title={Path coupling: {A} technique for proving rapid mixing in {M}arkov chains}, + title={Path Coupling: {A} Technique for Proving Rapid Mixing in {Markov} Chains}, author={Bubley, Russ and Dyer, Martin}, booktitle=focs97, pages={223--231}, year={1997}, + doi={10.1109/SFCS.1997.646111}, + url={http://ieeexplore.ieee.org/document/646111/} } @unpublished{DworkRothblumCDP, @@ -4301,10 +4448,10 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} booktitle = tcc16b, pages={635--658}, series = lncs, - year = {2016-B}, + year = {2016}, volume = {9985}, + doi = {10.1007/978-3-662-53641-4_24}, publisher = springer, - url = {https://arxiv.org/abs/1605.02065}, } @inproceedings{MironovRDP, @@ -4312,7 +4459,9 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} author = {Ilya Mironov}, year = 2017, URL = {https://arxiv.org/abs/1702.07476}, - booktitle = csf17 + booktitle = csf17, + doi = {10.1109/CSF.2017.11}, + pages = {263--275} } @inproceedings{BunSU16, @@ -4321,6 +4470,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} booktitle = soda17, pages = {1306--1325}, year = 2017, + doi = {10.1137/1.9781611974782.85}, url = {https://arxiv.org/abs/1604.04618} } @@ -4341,15 +4491,17 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{jonsson1991specification, - title={Specification and refinement of probabilistic processes}, + title={Specification and Refinement of Probabilistic Processes}, author={Jonsson, Bengt and Larsen, Kim Guldstrand}, booktitle=lics91, pages={266--277}, year={1991}, + doi={10.1109/LICS.1991.151651}, + url={http://ieeexplore.ieee.org/document/151651/} } @inproceedings{rogers2016privacy, - title={Privacy odometers and filters: Pay-as-you-go composition}, + title={Privacy Odometers and Filters: Pay-as-you-go Composition}, author={Rogers, Ryan and Vadhan, Salil and Roth, Aaron and Ullman, Jonathan}, booktitle=nips16, pages={1921--1929}, @@ -4358,11 +4510,13 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{sousa2016cartesian, - title={Cartesian {H}oare logic for verifying $k$-safety properties}, + title={Cartesian {Hoare} Logic for Verifying $k$-Safety Properties}, author={Sousa, Marcelo and Dillig, Isil}, booktitle=pldi16, pages={57--69}, year={2016}, + doi={10.1145/2908080.2908092}, + url={https://dl.acm.org/citation.cfm?id=2908092} } @inproceedings{BKOZ12-popl, @@ -4382,6 +4536,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} booktitle = popl17, year = {2017}, pages = {888--901}, + doi = {10.1145/3009837.3009884}, url = {https://arxiv.org/abs/1607.08228}, } @@ -4422,30 +4577,32 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{Sato16, - title = {Approximate Relational {H}oare Logic for Continuous Random Samplings}, + title = {Approximate Relational {Hoare} Logic for Continuous Random Samplings}, author = {Tetsuya Sato}, booktitle = mfps16, pages = {277--298}, year = 2016, volume = 325, url = {https://arxiv.org/abs/1603.01445}, + doi = {10.1016/j.entcs.2016.09.043}, series = entcs, publisher = elsevier } @article{strassen1965existence, - title={The existence of probability measures with given marginals}, + title={The Existence of Probability Measures with Given Marginals}, author={Strassen, Volker}, journal={The Annals of Mathematical Statistics}, pages={423--439}, year={1965}, + doi={10.1214/aoms/1177700153}, publisher={Institute of Mathematical Statistics}, url={http://projecteuclid.org/euclid.aoms/1177700153} } @inproceedings{tracolDZ11, author = {Mathieu Tracol and - Jos\'{e}e Desharnais and + Jos{\'e}e Desharnais and Abir Zhioua}, title = {Computing Distances between Probabilistic Automata}, booktitle = {Workshop on Quantitative Aspects of Programming @@ -4463,8 +4620,8 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{desharnaisLT08, - author = {Jos\'{e}e Desharnais and - Fran\c{c}ois Laviolette and + author = {Jos{\'e}e Desharnais and + Fran{\c{c}}ois Laviolette and Mathieu Tracol}, booktitle={International Conference on Quantitative Evaluation of Systems ({QEST}), Saint Malo, France}, @@ -4472,26 +4629,45 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} year={2008}, pages={264--273}, publisher=ieee, - doi={10.1109/QEST.2008.42}, - month=sep} + doi={10.1109/QEST.2008.42}} -@inproceedings{LarsenS89, +inproceedings{LarsenS89, author = {Larsen, Kim Guldstrand and Skou, Arne}, - title = {Bisimulation Through Probabilistic Testing}, + title = {Bisimulation through Probabilistic Testing}, booktitle = popl89, pages = {344--352}, year = {1989}, url = {http://doi.acm.org/10.1145/75277.75307}, - timestamp = {Mon, 21 May 2012 16:19:51 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/popl/LarsenS89}, + doi = {10.1016/0890-5401(91)90030-6}, + timestamp = {Mon, 21 May 2012 16:19:51 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/popl/LarsenS89}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{LarsenS89, + author = {Larsen, Kim Guldstrand and + Skou, Arne}, + title = {Bisimulation through Probabilistic Testing}, + journal = {Information and Computation}, + volume = {94}, + number = {1}, + pages = {1--28}, + year = {1991}, + doi = {10.1016/0890-5401(91)90030-6}, + url = {http://www.sciencedirect.com/science/article/pii/0890540191900306}, + publisher = elsevier, + timestamp = {Mon, 21 May 2012 16:19:51 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/popl/LarsenS89}, bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{giacalone1990algebraic, - title={Algebraic reasoning for probabilistic concurrent systems}, + title={Algebraic Reasoning for Probabilistic Concurrent Systems}, author={Giacalone, Alessandro and Jou, Chi-Chang and Smolka, Scott A.}, booktitle={{IFIP} {TC2} Working Conference on Programming Concepts and Methods}, year={1990}, + url={http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3664} } @inproceedings{SegalaTurrini07, @@ -4510,7 +4686,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} author = {Federico Olmedo}, school = {Universidad Polit\'ecnica de Madrid}, year = {2014}, - url = {http://software.imdea.org/~federico/thesis.pdf} + url = {http://oa.upm.es/23088/1/FEDERICO_OLMEDO.pdf} } @article{DBLP:journals/jct/AharoniBGPS11, @@ -4519,7 +4695,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} Agelos Georgakopoulos and Amitai Perlstein and Philipp Spr{\"{u}}ssel}, - title = {The Max-Flow Min-Cut theorem for countable networks}, + title = {The Max-Flow Min-Cut Theorem for Countable Networks}, journal = {Journal of Combinatorial Theory, Series B}, volume = {101}, number = {1}, @@ -4541,39 +4717,44 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} year = 2015, publisher = dagstuhl, volume={35}, + doi={10.4230/LIPIcs.CALCO.2015.156}, + url = {http://drops.dagstuhl.de/opus/volltexte/2015/5532}, } @inproceedings{aldous1983random, - title={Random walks on finite groups and rapidly mixing Markov chains}, + title={Random Walks on Finite Groups and Rapidly Mixing {Markov} Chains}, author={Aldous, David}, booktitle={S{\'e}minaire de Probabilit{\'e}s {XVII} 1981/82}, pages={243--297}, series=lnm, volume=986, year={1983}, - publisher=springer + publisher=springer, + url={https://eudml.org/doc/113445} } @book {RudinPMA, AUTHOR = {Rudin, Walter}, - TITLE = {Principles of mathematical analysis}, + TITLE = {Principles of Mathematical Analysis}, EDITION = {Third}, SERIES = {International Series in Pure and Applied Mathematics}, PUBLISHER = mcgh, YEAR = {1976}, - PAGES = {x+342}, MRCLASS = {26-02}, MRNUMBER = {0385023}, } @inproceedings{adafuzz, - title={A framework for adaptive differential privacy}, + title={A Framework for Adaptive Differential Privacy}, author={Winograd-Cort, Daniel and Haeberlen, Andreas and Roth, Aaron and Pierce, Benjamin C.}, booktitle= icfp17, - year = 2017 + year = 2017, + doi = {10.1145/3110254}, + pages = {10:1--10:29}, + url = {https://dl.acm.org/citation.cfm?id=3110254} } @book{Kleinberg:2005:AD:1051910, @@ -4582,7 +4763,6 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} year = {2005}, isbn = {0321295358}, publisher = aw, - address = {Boston, MA, USA}, } @inproceedings{bornholt2016optimizing, @@ -4629,7 +4809,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @techreport{mcmillan2013solving, - title={Solving constrained {H}orn clauses using interpolation}, + title={Solving constrained {Horn} clauses using interpolation}, author={McMillan, Kenneth L and Rybalchenko, Andrey}, number={MSR-TR-2013-6}, institution={Microsoft Research}, @@ -4657,7 +4837,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} @inproceedings{grebenshchikov2012hsf, - title={{HSF (C)}: {A} software verifier based on {H}orn clauses}, + title={{HSF (C)}: {A} software verifier based on {Horn} clauses}, author={Grebenshchikov, Sergey and Gupta, Ashutosh and Lopes, Nuno P and Popeea, Corneliu and Rybalchenko, Andrey}, booktitle=tacas12, pages={549--551}, @@ -4776,7 +4956,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{beyene2013solving, - title={Solving existentially quantified {H}orn clauses}, + title={Solving existentially quantified {Horn} clauses}, author={Beyene, Tewodros A and Popeea, Corneliu and Rybalchenko, Andrey}, booktitle=cav13, pages={869--882}, @@ -4887,6 +5067,7 @@ year={2006}} volume = {2}, pages = {499--526}, year = {2002}, + doi = {10.1162/153244302760200704}, url = {http://www.jmlr.org/papers/v2/bousquet02a.html} } @@ -4894,7 +5075,7 @@ year={2006}} author = {Marcin Gomulkiewicz and Marek Klonowski and Miroslaw Kutylowski}, - title = {Rapid Mixing and Security of {C}haum's Visual Electronic Voting}, + title = {Rapid Mixing and Security of {Chaum}'s Visual Electronic Voting}, booktitle = esorics03, series = lncs, volume = {2808}, @@ -4935,7 +5116,7 @@ year={2006}} } @article{dixit2012finite, - title={A finite population model of molecular evolution: {T}heory and computation}, + title={A finite population model of molecular evolution: {Theory} and computation}, author={Dixit, Narendra M and Srivastava, Piyush and Vishnoi, Nisheeth K}, journal={Journal of Computational Biology}, volume={19}, @@ -4986,7 +5167,7 @@ year={2006}} author = {Neil Ghani and Fredrik Nordvall Forsberg and Alex Simpson}, - title = {Comprehensive Parametric Polymorphism: {C}ategorical Models and Type + title = {Comprehensive Parametric Polymorphism: {Categorical} Models and Type Theory}, booktitle = fossacs16, series = lncs, @@ -5014,15 +5195,17 @@ year={2006}} @book {LevinPW09, AUTHOR = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.}, -TITLE = {Markov chains and mixing times}, +TITLE = {Markov Chains and Mixing Times}, PUBLISHER = {American Mathematical Society}, -YEAR = {2009} +YEAR = {2009}, +URL = {http://pages.uoregon.edu/dlevin/MARKOV/markovmixing.pdf} } @book{Villani08, - title={Optimal transport: {O}ld and new}, + title={Optimal Transport: {Old} and New}, author={Villani, C{\'e}dric}, year={2008}, + doi={10.1007/978-3-540-71050-9}, publisher=springer } @@ -5052,7 +5235,7 @@ YEAR = {2009} @inproceedings{BeringerH07, author = {Lennart Beringer and Martin Hofmann}, - title = {Secure information flow and program logics}, + title = {Secure Information Flow and Program Logics}, booktitle = csf07, pages = {233--248}, year = {2007} @@ -5122,7 +5305,7 @@ year={2016}} Shuvendu K. Lahiri and Manuel F{\"{a}}hndrich and Sam Blackshear}, - title = {Verification modulo versions: {T}owards usable verification}, + title = {Verification modulo versions: {Towards} usable verification}, booktitle = pldi14, pages = {32}, year = {2014} @@ -5131,7 +5314,7 @@ year={2016}} @article{GodlinS13, author = {Benny Godlin and Ofer Strichman}, - title = {Regression verification: {P}roving the equivalence of similar programs}, + title = {Regression verification: {Proving} the equivalence of similar programs}, journal = {Software Testing, Verification, and Reliability}, volume = {23}, number = {3}, @@ -5151,7 +5334,8 @@ year={2016}} } @inproceedings{PersonDEP08, - author = {Person, Suzette and Dwyer, Matthew B. and Elbaum, Sebastian and P\v{a}s\v{a}reanu, Corina S.}, + author = {Person, Suzette and Dwyer, Matthew B. and Elbaum, Sebastian and + P{\v{a}}s{\v{a}}reanu, Corina S.}, title = {Differential Symbolic Execution}, booktitle = fse08, year = {2008}, @@ -5231,7 +5415,7 @@ year={2016}} Chao Wang and Mostafa M. I. Taha and Patrick Schaumont}, - title = {Quantitative Masking Strength: {Q}uantifying the Power Side-Channel + title = {Quantitative Masking Strength: {Quantifying} the Power Side-Channel Resistance of Software Code}, journal = {{IEEE} Transansactions on {CAD} of Integrated Circuits and Systems}, volume = {34}, @@ -5249,7 +5433,7 @@ year={2016}} author = {Yuval Ishai and Amit Sahai and David Wagner}, - title = {Private Circuits: {S}ecuring Hardware against Probing Attacks}, + title = {Private Circuits: {Securing} Hardware against Probing Attacks}, booktitle = crypto03, series = lncs, volume = {2729}, @@ -5352,7 +5536,7 @@ year={2016}} pages = {36--61}, posted-at = {2011-03-01 12:39:26}, priority = {4}, - title = {Geometric Bounds for Eigenvalues of {M}arkov Chains}, + title = {Geometric Bounds for Eigenvalues of {Markov} Chains}, url = {http://dx.doi.org/10.1214/aoap/1177005980}, volume = {1}, year = {1991} @@ -5377,7 +5561,7 @@ year={2016}} @article{DBLP:journals/rsa/KumarR01, author = {V. S. Anil Kumar and H. Ramesh}, - title = {Coupling vs. conductance for the {J}errum-{S}inclair chain}, + title = {Coupling vs. Conductance for the {Jerrum-Sinclair} Chain}, journal = {Random Structures and Algorithms}, volume = {18}, number = {1}, @@ -5391,15 +5575,16 @@ year={2016}} author = {Moritz Hardt and Ben Recht and Yoram Singer}, - title = {Train faster, generalize better: {S}tability of stochastic gradient descent}, + title = {Train Faster, Generalize Better: {Stability} of Stochastic Gradient Descent}, booktitle = icml16, - series = jmlr, + series = pmlr, volume = {48}, pages = {1225--1234}, - publisher = {JMLR.org}, year = {2016}, - url = {http://jmlr.org/proceedings/papers/v48/hardt16.html}, - + archivePrefix = "arXiv", + eprint = {1509.01240}, + primaryClass = "cs.LG", + url={http://arxiv.org/abs/1603.01445} } @techreport{randomwalk:notes, @@ -5456,7 +5641,7 @@ year={1997}} } @book{brooks2011handbook, - title={Handbook of {M}arkov Chain {M}onte {C}arlo}, + title={Handbook of {Markov} Chain {Monte} {Carlo}}, author={Brooks, Steve and Gelman, Andrew and Jones, Galin and Meng, Xiao-Li}, year={2011}, @@ -5464,10 +5649,11 @@ year={1997}} } @inproceedings{sato2016approximate, - title={Approximate Relational {H}oare Logic for Continuous Random Samplings}, + title={Approximate Relational {Hoare} Logic for Continuous Random Samplings}, author={Sato, Tetsuya}, booktitle=mfps16, year={2016}, + doi={10.1016/j.entcs.2016.09.043}, url={http://arxiv.org/abs/1603.01445} } @@ -5820,7 +6006,7 @@ publisher = elsevier, author = {Jan Schwinghammer and Lars Birkedal and Kristian St{\o}vring}, - title = {A Step-Indexed {K}ripke Model of Hidden State via Recursive Properties + title = {A Step-Indexed {Kripke} Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces}, booktitle = fossacs11, pages = {305--319}, @@ -5955,7 +6141,7 @@ publisher = now @inproceedings{HoangR10, author = {Hoang, Viet Tung and Rogaway, Phillip}, - title = {On Generalized {F}eistel Networks}, + title = {On Generalized {Feistel} Networks}, booktitle = crypto10, series = {Lecture Notes in Computer Science}, volume = {6223}, @@ -5967,7 +6153,7 @@ publisher = now @inproceedings{Mironov02, author = {Ilya Mironov}, - title = {({N}ot So) Random Shuffles of {RC4}}, + title = {({Not} So) Random Shuffles of {RC4}}, booktitle = crypto02, series = {Lecture Notes in Computer Science}, volume = {2442}, @@ -6014,7 +6200,7 @@ publisher=springer } @book{dijkstra1976discipline, - title={A discipline of programming}, + title={A Discipline of Programming}, author={Dijkstra, Edsger W.}, series={Series in Automatic Computation}, publisher=ph, @@ -6022,7 +6208,7 @@ publisher=springer } @article{OHEARN2007271, - title = "Resources, concurrency, and local reasoning", + title = "Resources, Concurrency, and Local Reasoning", journal = tcs, volume = "375", number = "1", @@ -6037,7 +6223,7 @@ publisher=springer @article{Jones:2003:EST:858595.858602, author = {Jones, Cliff B.}, - title = {The Early Search for Tractable Ways of Reasoning About Programs}, + title = {The Early Search for Tractable Ways of Reasoning about Programs}, journal = {Annals of the History of Computing}, issue_date = {April 2003}, volume = {25}, @@ -6056,12 +6242,10 @@ publisher=springer @article{Apt:1981:TYH:357146.357150, author = {Apt, Krzysztof R.}, - title = {Ten Years of {H}oare's Logic: {A} Survey--Part {I}}, + title = {Ten Years of {Hoare}'s Logic: {A} Survey--Part {I}}, journal = toplas, - issue_date = {Oct. 1981}, volume = {3}, number = {4}, - month = oct, year = {1981}, issn = {0164-0925}, pages = {431--483}, @@ -6069,12 +6253,10 @@ publisher=springer url = {http://doi.acm.org/10.1145/357146.357150}, doi = {10.1145/357146.357150}, acmid = {357150}, - publisher = {ACM}, - address = {New York, NY, USA}, } @article{APT198383, - title = "Ten years of {H}oare's logic: {A} survey--Part {II}: Nondeterminism", + title = "Ten years of {Hoare}'s logic: {A} survey--Part {II}: Nondeterminism", journal = tcs, volume = "28", number = "1", @@ -6088,7 +6270,7 @@ publisher=springer } @article{YANG2007308, - title = "Relational separation logic", + title = "Relational Separation Logic", journal = tcs, volume = "375", number = "1", @@ -6106,7 +6288,7 @@ publisher=springer author = {Hamid Ebadi and Thibaud Antignac and David Sands}, - title = {Sampling and partitioning for differential privacy}, + title = {Sampling and Partitioning for Differential Privacy}, booktitle = {Conference on Privacy, Security and Trust ({PST}), Auckland, New Zealand}, pages = {664--673}, @@ -6119,10 +6301,11 @@ publisher=springer author = {Hamid Ebadi and David Sands and Gerardo Schneider}, - title = {Differential Privacy: Now it's Getting Personal}, + title = {Differential Privacy: Now It's Getting Personal}, booktitle = popl15, pages = {69--81}, year = {2015}, + doi = {10.1145/2676726.2677005}, url = {http://doi.acm.org/10.1145/2676726.2677005}, } @@ -6133,22 +6316,26 @@ publisher=springer volume={7}, number={2}, pages={159--184}, - year={2016} + year={2016}, + url={https://arxiv.org/abs/1505.02642} } -@inproceedings{proserpio2014calibrating, - title={Calibrating data to sensitivity in private data analysis: - {A} platform for differentially-private analysis of weighted datasets}, +@article{proserpio2014calibrating, + title={Calibrating Data to Sensitivity in Private Data Analysis: + {A} Platform for Differentially-Private Analysis of Weighted Datasets}, author={Proserpio, Davide and Goldberg, Sharon and {McSherry}, Frank}, - booktitle=vldb14, + journal=pvldb, + note=vldb14, volume={7}, number={8}, pages={637--648}, year={2014}, + doi={10.14778/2732296.2732300}, + url={http://www.vldb.org/pvldb/vol7/p637-proserpio.pdf}, } @inproceedings{palamidessi:hal-00760688, - TITLE = {Differential privacy for relational algebra: {Improving} the sensitivity bounds via constraint systems}, + TITLE = {Differential Privacy for Relational Algebra: {Improving} the Sensitivity Bounds via Constraint Systems}, AUTHOR = {Palamidessi, Catuscia and Stronati, Marco}, URL = {https://hal.inria.fr/hal-00760688}, BOOKTITLE = {Workshop on Quantitative Aspects of Programming @@ -6175,10 +6362,10 @@ publisher=springer @article{Callahan1988, author="Callahan, David and Kennedy, Ken", -title="Compiling programs for distributed-memory multiprocessors", +title="Compiling Programs for Distributed-Memory Multiprocessors", journal="The Journal of Supercomputing", year="1988", -month="Oct", +month=oct, volume="2", number="2", pages="151--169", @@ -6191,7 +6378,8 @@ for describing distributions and then details the compilation process and the optimization necessary to generate an efficient program.", issn="1573-0484", doi="10.1007/BF00128175", -url="https://doi.org/10.1007/BF00128175" +url="https://doi.org/10.1007/BF00128175", +publisher=springer } @inproceedings{Chatterjee:2016:AAQ:2837614.2837639, @@ -6211,7 +6399,7 @@ url="https://doi.org/10.1007/BF00128175" @inproceedings{Chatterjee2016, author= {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir Kafshdar}, - title= {Termination Analysis of Probabilistic Programs Through Positivstellensatz's}, + title= {Termination Analysis of Probabilistic Programs through {Positivstellensatz's}}, bookTitle=cav16, year="2016", publisher=springer, @@ -6237,10 +6425,210 @@ url="https://doi.org/10.1007/BF00128175" keywords = {Concentration, Martingales, Probabilistic Programs, Termination}, } -@unpublished{mciver2016new, - title={A new rule for almost-certain termination of probabilistic and demonic programs}, - author={McIver, Annabelle and Morgan, Carroll}, - note={arXiv preprint arXiv:1612.01091}, - year={2016}, +@article{mciver2016new, + title={A New Rule for Almost-Certain Termination}, + author={McIver, Annabelle and + Morgan, Carroll and + Kaminski, Benjamin Lucien and + Katoen, {Joost}-{Pieter}}, + journal = pacmpl, + volume = {1}, + number = {POPL}, + note="To appear at " # popl18, + year={2018}, url={https://arxiv.org/abs/1612.01091} } + +@article{deng2009kantorovich, + title={The {Kantorovich} Metric in Computer Science: {A} Brief Survey}, + author={Deng, Yuxin and Du, Wenjie}, + journal=entcs, + volume={253}, + number={3}, + pages={73--82}, + year={2009}, + publisher=elsevier, + doi={10.1016/j.entcs.2009.10.006}, + url={http://www.sciencedirect.com/science/article/pii/S1571066109004265} +} + +@article{ghosh2012universally, + title={Universally Utility-Maximizing Privacy Mechanisms}, + author={Ghosh, Arpita and Roughgarden, Tim and Sundararajan, Mukund}, + journal=siamjc, + volume={41}, + number={6}, + pages={1673--1693}, + year={2012}, + doi={10.1137/09076828X}, + url={https://arxiv.org/abs/0811.2841} +} + +@misc{Shoup:2004, + author = {Victor Shoup}, + title = {Sequences of Games: {A} Tool for Taming Complexity in Security Proofs}, + howpublished = {Cryptology ePrint Archive, Report 2004/332}, + year = {2004}, + url = {http://eprint.iacr.org/2004/332}, +} + +@article{HallWassermanRinaldo, + author = {Hall, Robert and + Wasserman, Larry and + Rinaldo, Alessandro}, + title = {Random Differential Privacy}, + journal = jpc, + volume = {4}, + issue = {2}, + number = {3}, + url = {http://repository.cmu.edu/jpc/vol4/iss2/3}, + year = 2013} + + + +@article{DBLP:journals/rsa/HayesV07, + author = {Thomas P. Hayes and + Eric Vigoda}, + title = {Variable Length Path Coupling}, + journal = {Random Structures and Algorithms}, + volume = {31}, + number = {3}, + pages = {251--272}, + year = {2007}, + url = {https://doi.org/10.1002/rsa.20166}, + doi = {10.1002/rsa.20166}, + publisher = {Wiley}, + timestamp = {Fri, 26 May 2017 22:50:39 +0200}, + biburl = {http://dblp.org/rec/bib/journals/rsa/HayesV07}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{DBLP:journals/rsa/ProppW96, + author = {James Gary Propp and + David Bruce Wilson}, + title = {Exact Sampling with Coupled {Markov} Chains and Applications to Statistical Mechanics}, + journal = {Random Structures and Algorithms}, + volume = {9}, + number = {1-2}, + pages = {223--252}, + year = {1996}, + url = {https://doi.org/10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O}, + publisher = {Wiley}, + doi = {10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O}, + timestamp = {Fri, 26 May 2017 22:50:39 +0200}, + biburl = {http://dblp.org/rec/bib/journals/rsa/ProppW96}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@InProceedings{fijalkow_et_al:LIPIcs:2017:7368, + author ={Nathana{\"e}l Fijalkow and Bartek Klin and Prakash Panangaden}, + title ={Expressiveness of Probabilistic Modal Logics, Revisited}, + booktitle =icalp17, + pages ={105:1--105:12}, + series =lipics, + ISBN ={978-3-95977-041-5}, + ISSN ={1868-8969}, + year ={2017}, + volume ={80}, + editor ={Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl}, + publisher =dagstuhl, + address ={Dagstuhl, Germany}, + URL ={http://drops.dagstuhl.de/opus/volltexte/2017/7368}, + URN ={urn:nbn:de:0030-drops-73683}, + doi ={10.4230/LIPIcs.ICALP.2017.105}, + annote ={Keywords: probabilistic modal logic, probabilistic bisimulation, probabilistic simulation} +} + +@article{DESHARNAIS2002163, + title = {Bisimulation for Labelled {Markov} Processes}, + journal = {Information and Computation}, + volume = {179}, + number = {2}, + pages = {163--193}, + year = {2002}, + issn = {0890-5401}, + doi = {10.1006/inco.2001.2962}, + url = {http://www.sciencedirect.com/science/article/pii/S0890540101929621}, + author = {Jos{\'e}e Desharnais and Abbas Edalat and Prakash Panangaden}, + publisher=elsevier +} + +@article{DESHARNAIS2003160, + title = {Approximating Labelled {Markov} Processes}, + journal = {Information and Computation}, + volume = {184}, + number = {1}, + pages = {160--200}, + year = {2003}, + issn = {0890-5401}, + doi = {10.1016/S0890-5401(03)00051-8}, + url = {http://www.sciencedirect.com/science/article/pii/S0890540103000518}, + author = {Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden} +} + +@article{DESHARNAIS2004323, + title = {Metrics for Labelled {Markov} Processes}, + journal = tcs, + volume = {318}, + number = {3}, + pages = {323--354}, + year = {2004}, + issn = {0304-3975}, + publisher = elsevier, + doi = {10.1016/j.tcs.2003.09.013}, + url = {http://www.sciencedirect.com/science/article/pii/S0304397503006042}, + author = {Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, +keywords = {Labelled Markov processes, Metric, Process Algebra} +} + +@inproceedings{vanBreugel2001a, + author={van Breugel, Franck and Worrell, James}, + title={An Algorithm for Quantitative Verification of Probabilistic Transition Systems}, + booktitle=concur01, + year={2001}, + publisher=springer, + pages={336--350}, + series=lncs, + volume=2154, + isbn={978-3-540-44685-9}, + doi={10.1007/3-540-44685-0_23}, + url={https://doi.org/10.1007/3-540-44685-0_23} +} + +@inproceedings{vanBreugel2001b, +author={van Breugel, Franck and Worrell, James}, +editor={Orejas, Fernando and Spirakis, Paul G. and van Leeuwen, Jan}, +title={Towards Quantitative Verification of Probabilistic Transition Systems}, +bookTitle=icalp01, +year={2001}, +publisher=springer, +pages={421--432}, +series=lncs, +volume=2076, +isbn={978-3-540-48224-6}, +doi={10.1007/3-540-48224-5_35}, +url={https://doi.org/10.1007/3-540-48224-5_35} +} + +@phdthesis{desharnais1999labelled, + title={Labelled {Markov} Processes}, + author={Desharnais, Jos{\'e}e}, + school={{McGill} University}, + url={www.collectionscanada.gc.ca/obj/s4/f2/dsk1/tape3/PQDD_0031/NQ64546.pdf}, + year={1999} +} + +@article{DBLP:journals/njc/SegalaL95, + author = {Roberto Segala and + Nancy A. Lynch}, + title = {Probabilistic Simulations for Probabilistic Processes}, + journal = {Nordic Journal of Computing}, + volume = {2}, + number = {2}, + pages = {250--273}, + year = {1995}, + doi = {doi.org/10.1007/BFb0015027}, + timestamp = {Wed, 14 Jan 2004 15:33:50 +0100}, + biburl = {http://dblp.org/rec/bib/journals/njc/SegalaL95}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} diff --git a/content/news.md b/content/news.md index 45545de..2f3e2f1 100644 --- a/content/news.md +++ b/content/news.md @@ -1,17 +1,17 @@ + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of - Differential Privacy** and **A Progra Logic for Probabilistic Programs** are + Differential Privacy** and **A Program Logic for Probabilistic Programs** are now available. + **09/2017** **Synthesizing Coupling proofs of Differential Privacy** and **Proving Expected Sensitivity of Probabilistic Programs** will appear at **POPL 2018**! -+ **09/2017** Our preprint **Synthesizing coupling proofs of differential - privacy** is now available. -+ **07/2017** Slides now available for **\*-Liftings for differential privacy**. -+ **07/2017** Our preprint **Proving expected sensitivity of probabilistic - programs** is now available. ++ **09/2017** Our preprint **Synthesizing Coupling proofs of Differential + Privacy** is now available. ++ **07/2017** Slides now available for **\*-Liftings for Differential Privacy**. ++ **07/2017** Our preprint **Proving Expected Sensitivity of Probabilistic + Programs** is now available. + **06/2017** I am on the program committee of [**TPDP 2017**](http://tpdp.cse.buffalo.edu/2017/), co-located with [**CCS**](https://www.sigsac.org/ccs/CCS2017/) in Dallas, Texas. Submit your best privacy abstracts! -+ **05/2017** Slides now available for **Proving uniformity and independence by - self-composition and coupling**. ++ **05/2017** Slides now available for **Proving Uniformity and Independence by + Self-Composition and Coupling**.