From 7a2f5173463720247b3652751e328321aa92f1ff Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 8 Aug 2017 20:21:25 -0400 Subject: [PATCH] Update bibs. --- bibs/header.bib | 8 + bibs/myrefs.bib | 1878 ++++++++++++++++++++++++++++++++++++++++++++--- 2 files changed, 1773 insertions(+), 113 deletions(-) diff --git a/bibs/header.bib b/bibs/header.bib index 1e73cce..e6f04f0 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -49,7 +49,9 @@ @STRING{ap = "Academic Press" } @STRING{springer = {Springer-Verlag} } @STRING{elsevier = "Elsevier" } +@STRING{epic = "EPiC Series in Computing" } @STRING{entcs = "Electronic Notes in Theoretical Computer Science" } +@STRING{eptcs = "Electronic Proceedings in Theoretical Computer Science" } @STRING{lncs = "Lecture Notes in Computer Science" } @STRING{lipics = "Leibniz International Proceedings in Informatics" } @STRING{lnm = "Lecture Notes in Mathematics" } @@ -57,6 +59,7 @@ @STRING{lfcs = "Laboratory for Foundations of Computer Science, University of Edinburgh" } @STRING{jmlr = "Journal of Machine Learning Research"} +@STRING{pmlr = "Proceedings of Machine Learning Research"} @STRING{mp = "MIT Press" } @STRING{mitpress = mp } @STRING{now = "now publishers" } @@ -371,6 +374,8 @@ @STRING{tcc06 = tcc # ", New York, New York"} @STRING{tcc11 = tcc # ", Providence, Rhode Island"} @STRING{tcc12 = tcc # ", Taormina, Italy"} +@STRING{tcc16a = tcc # ", Tel Aviv, Israel"} +@STRING{tcc16b = tcc # ", Beijing, China"} % ---- @STRING{kdd = "{ACM} {SIGKDD} {C}onference on {K}nowledge {D}iscovery @@ -420,6 +425,7 @@ @STRING{vldb = "{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"} % ---- @@ -469,6 +475,8 @@ @STRING{csf13 = csf # ", New Orleans, Louisiana" } @STRING{csf14 = csf # ", Vienna, Austria" } @STRING{csf15 = csf # ", Venice, Italy" } +@STRING{csf16 = csf # ", Lisbon, Portugal" } +@STRING{csf17 = csf # ", Santa Barbara, California" } % ---- @STRING{pepmpre12 = "{S}ymposium on {P}artial {E}valuation and diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index e891a52..ebeea12 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,4 +1,12 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@unpublished{AH17, + title = {Synthesizing Coupling Proofs of Differential Privacy}, + author = {Albarghouthi, Aws and + Hsu, Justin}, + year = 2017, + note = {In submission.} +} + @unpublished{BEGHS16, title = {Proving expected sensitivity of probabilistic programs}, author = {Barthe, Gilles and @@ -8,7 +16,8 @@ Strub, {P}ierre-{Y}ves}, year = 2017, jh = yes, - url = {http://justinh.su/files/papers/bounded.pdf}, + url = {http://arxiv.org/abs/1708.02537}, + note = {In submission.} } @unpublished{BEGGHS16, @@ -77,6 +86,10 @@ Strub, {P}ierre-{Y}ves}, booktitle = icalp17, year = 2017, + pages ={102:1--102:12}, + series = lipics, + volume = 80, + publisher = dagstuhl, url = {https://arxiv.org/abs/1705.00133}, slides = {http://justinh.su/files/slides/star-lifting.pdf}, jh = yes, @@ -92,6 +105,9 @@ Hsu, Justin and Strub, {P}ierre-{Y}ves}, booktitle = lpar17, + pages = {385--403}, + series = epic, + volume = 46, year = 2017, url = {https://arxiv.org/abs/1701.06477}, slides = {http://justinh.su/files/slides/unifindep-couple.pdf}, @@ -143,6 +159,10 @@ Strub, Pierre-Yves}, booktitle = wine16, year = 2016, + pages = {273--293}, + series = lncs, + volume = 10123, + publisher = springer, url = {http://arxiv.org/abs/1502.04052}, slides = {http://justinh.su/files/slides/bic.pdf}, jh = yes, @@ -160,6 +180,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = ccs16, year = 2016, + pages = {55--67}, url = {https://arxiv.org/abs/1606.07143}, jh = yes, plclub = yes, @@ -388,7 +409,7 @@ 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, @@ -778,7 +799,7 @@ inproceedings{HHRRW14, } @talk{csf14-talk, - title = {Differential Privacy: An Economic Method for Choosing Epsilon}, + title = {Differential Privacy: {An} Economic Method for Choosing Epsilon}, organization = csf14, year = 2014, month = jul, @@ -1036,7 +1057,7 @@ inproceedings{HHRRW14, @inproceedings{BHLR08, title = {Regret minimization and the price of total anarchy}, - author = {Blum, Avrim and Haji{A}ghayi, Mohammad{T}aghi and Ligett, Katrina + author = {Blum, Avrim and {HajiAghayi}, {MohammadTaghi} and Ligett, Katrina and Roth, Aaron}, url = {http://dl.acm.org/citation.cfm?id=1374430}, booktitle = stoc08, @@ -1063,7 +1084,7 @@ inproceedings{HHRRW14, year = 2013 } @inproceedings{MT07, - author = {Frank McSherry and + author = {Frank {McSherry} and Kunal Talwar}, title = {Mechanism Design via Differential Privacy}, booktitle = focs07, @@ -1115,6 +1136,7 @@ inproceedings{HHRRW14, author = {{McSherry}, Frank}, booktitle = sigmod09, title = {Privacy integrated queries}, + pages = {19--30}, url = {http://research.microsoft.com/pubs/80218/sigmod115-mcsherry.pdf}, year = 2009 } @@ -1148,7 +1170,7 @@ inproceedings{HHRRW14, @article{k-anonymity, author = {Sweeney, Latanya}, - title = {$k$-{A}nonymity: {A} model for protecting privacy}, + title = {$k$-{Anonymity}: {A} model for protecting privacy}, journal = jufks, volume = {10}, number = {5}, @@ -1217,7 +1239,8 @@ inproceedings{HHRRW14, journal = toplas, volume = {35}, number = {3}, - pages = {9}, + pages = {9:1--9:49}, + month = nov, year = {2013}, url = {http://software.imdea.org/~bkoepf/papers/toplas13.pdf}, } @@ -1228,6 +1251,7 @@ inproceedings{HHRRW14, Differential Privacy}, booktitle = icfp10, year = 2010, + pages = {157--168}, url = {http://dl.acm.org/citation.cfm?id=1863568} } @@ -1276,7 +1300,7 @@ inproceedings{HHRRW14, } @article{AHK12, - title = {The Multiplicative Weights Update Method: a Meta-Algorithm and + title = {The Multiplicative Weights Update Method: {A} Meta-Algorithm and Applications}, author = {Arora, Sanjeev and Hazan, Elad and Kale, Satyen}, journal = toc, @@ -1317,7 +1341,7 @@ inproceedings{HHRRW14, } @inproceedings{barak2007privacy, - title = {Privacy, accuracy, and consistency too: a holistic solution to + 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}, @@ -1356,7 +1380,7 @@ inproceedings{HHRRW14, number = {1}, pages = {4}, year = {2012}, - url = {http://repository.cmu.edu/cgi/viewcontent.cgi?article = 1065&context = jpc} + url = {http://repository.cmu.edu/cgi/viewcontent.cgi?article=1065&context=jpc} } @article{KST12, @@ -1490,7 +1514,7 @@ inproceedings{HHRRW14, @inproceedings{LM12, title = {An adaptive mechanism for accurate query answering under differential privacy}, author = {Li, Chao and Miklau, Gerome}, - journal = vldb12, + booktitle = vldb12, volume = {5}, number = {6}, pages = {514--525}, @@ -1498,6 +1522,7 @@ inproceedings{HHRRW14, url = {http://arxiv.org/abs/1202.3807} } + @inproceedings{CPSY12, author = {Grigory Yaroslavtsev and Graham Cormode and @@ -1532,7 +1557,7 @@ inproceedings{HHRRW14, } @inproceedings{DworkSurvey, - title = {Differential privacy: A survey of results}, + title = {Differential privacy: {A} survey of results}, author = {Dwork, Cynthia}, booktitle = tamc08, pages = {1--19}, @@ -1759,7 +1784,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}}, booktitle = asplos14, -title = {Uncertain$\langle$T$\rangle$: A First-Order Type for Uncertain Data}, +title = {{Uncertain$\langle$T$\rangle$}: {A} First-Order Type for Uncertain Data}, year = {2014}, url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf} } @@ -1949,7 +1974,8 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf @inproceedings{Roux:2009, author = {Le Roux, St{\'e}phane}, - title = {Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence}, + title = {Acyclic Preferences and Existence of Sequential Nash + Equilibria: {A} Formal and Constructive Equivalence}, booktitle = tphol09, year = {2009} } @@ -2015,7 +2041,7 @@ year = {2014} @article{BartheDR04, title = {Secure information flow by self-composition}, author = {Barthe, Gilles and - D'Argenio, Pedro R and + D'Argenio, Pedro R. and Rezk, Tamara}, journal = mscs, volume = {21}, @@ -2060,6 +2086,9 @@ year = {2014} booktitle = fm11, year = {2011}, pages = {200--214}, + series = lncs, + volume = 6664, + publisher = springer, url = {http://software.imdea.org/~ckunz/rellog/long-rellog.pdf}, } @@ -2067,11 +2096,14 @@ year = {2014} author = {Gilles Barthe and Juan Manuel Crespo and C{\'e}sar Kunz}, - title = {Beyond 2-Safety: Asymmetric Product Programs for Relational + title = {Beyond 2-Safety: {Asymmetric} Product Programs for Relational Program Verification}, booktitle = lfcompsci13, year = {2013}, pages = {29--43}, + series = lncs, + volume = 7734, + publisher = springer, url = {http://dx.doi.org/10.1007/978--3-642--35722--0_3}, bibsource = {DBLP, http://dblp.uni-trier.de} } @@ -2232,7 +2264,7 @@ year = {2014} @inproceedings{DMNS06, author = {Cynthia Dwork and - Frank McSherry and + Frank {McSherry} and Kobbi Nissim and Adam D. Smith}, title = {Calibrating Noise to Sensitivity in Private Data Analysis}, @@ -2275,7 +2307,7 @@ year = {2014} @article{mu2008truthful, title = {Truthful approximation mechanisms for restricted combinatorial auctions}, - author = {Mu'{A}lem, Ahuva and Nisan, Noam}, + author = {{Mu'Alem}, Ahuva and Nisan, Noam}, journal = geb, volume = {64}, number = {2}, @@ -2408,9 +2440,12 @@ year = {2014} @inproceedings{OhRY01, title = {Local reasoning about programs that alter data structures}, - author = {O'Hearn, Peter W and Reynolds, John and Yang, Hongseok}, + author = {O'Hearn, Peter W. and Reynolds, John C. and Yang, Hongseok}, booktitle = csl01, year = 2001, + series = lncs, + volume = 2142, + publisher = springer, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.1331&rep=rep1&type=pdf}, pages = {1--19} } @@ -2437,26 +2472,28 @@ year = {2014} @article{Reynolds01, title = {Intuitionistic reasoning about shared mutable data structure}, - author = {Reynolds, John C}, + author = {Reynolds, John C.}, journal = {Millennial perspectives in computer science}, volume = {2}, number = {1}, year = 2001, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.5999&rep=rep1&type=pdf}, - pages = {303--321} + pages = {303--321}, + publisher = {Palgrave}, + series = {Cornerstones of Computing}, } @inproceedings{Reynolds02, - title = {Separation logic: A logic for shared mutable data structures}, - author = {Reynolds, John C}, + title = {Separation logic: {A} logic for shared mutable data structures}, + author = {Reynolds, John C.}, booktitle = lics02, year = 2002, pages = {55--74} } @article{Burstall72, - title = {Some techniques for proving correctness of programs which alter data structuers}, - author = {Rodnew M Burstall}, + title = {Some techniques for proving correctness of programs which alter data structures}, + author = {Rodnew M. Burstall}, journal = {Machine Intelligence}, volume = {7}, number = {3}, @@ -2548,7 +2585,9 @@ year = {2014} } @inproceedings{Cousout77, - title = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints}, + title = {Abstract interpretation: {A} unified lattice model for static + analysis of programs by construction or approximation of + fixpoints}, author = {Cousot, Patrick and Cousot, Radhia}, booktitle = popl77, pages = {238--252}, @@ -2582,7 +2621,7 @@ year = {2014} @inproceedings{recommender, title = {Differentially private recommender systems: building privacy into the net}, - author = {McSherry, Frank and Mironov, Ilya}, + author = {{McSherry}, Frank and Mironov, Ilya}, booktitle = kdd09, pages = {627--636}, year = {2009}, @@ -2715,18 +2754,18 @@ verification conditions}, Benedikt Schmidt and Pierre{-}Yves Strub}, title = {EasyCrypt: {A} Tutorial}, - booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013 - Tutorial Lectures}, + booktitle = {Foundations of Security Analysis and Design ({FOSAD})}, series = lncs, volume = {8604}, pages = {146--166}, publisher = springer, - year = {2013} + year = {2013}, + note = {Tutorial Lectures}, } @article{hoare1969axiomatic, title={An axiomatic basis for computer programming}, - author={Hoare, Charles Antony Richard}, + author={Hoare, Charles A. R.}, journal=cacm, volume={12}, number={10}, @@ -2736,8 +2775,8 @@ verification conditions}, @incollection{Floyd67, author = {Floyd, Robert W.}, - booktitle = {Symposium on {A}pplied {M}athematics}, - publisher = {Amer. Math. Soc.}, + booktitle = {Symposium on Applied Mathematics}, + publisher = {American Mathematical Society}, title = {{Assigning meanings to programs}}, year = {1967} } @@ -2754,10 +2793,14 @@ verification conditions}, } @inproceedings{Clarkson:2008, - Author = {Clarkson, M.R. and Schneider, F.B.}, - Booktitle = csf08, - Title = {Hyperproperties}, - Year = {2008} + title={Hyperproperties}, + author={Clarkson, Michael R and Schneider, Fred B}, + journal={Journal of Computer Security}, + volume={18}, + number={6}, + pages={1157--1210}, + year={2010}, + publisher={IOS Press} } @InProceedings{Turing:1949, @@ -2799,7 +2842,7 @@ verification conditions}, } @inproceedings{San03, - title = {Automated mechanism design: A new application area for search algorithms}, + title = {Automated mechanism design: {A} new application area for search algorithms}, author = {Sandholm, Tuomas}, booktitle = cp03, pages = {19--36}, @@ -2858,7 +2901,7 @@ verification conditions}, } @article{Kozen:1985, - author = {D. Kozen}, + author = {Dexter Kozen}, title = {A Probabilistic {PDL}}, journal = jcss, volume = {30}, @@ -2956,10 +2999,10 @@ pages = {197--214}, } @inproceedings{DBLP:conf/aaai/WooldridgeADH07, - author = {Michael Wooldridge and - Thomas {A}gotnes and - Paul E. Dunne and - Wiebe van der Hoek}, + author = {Wooldridge, Michael and + {Agotnes}, Thaoms and + Dunne, Paul E. and + van der Hoek, Wiebe}, title = {Logic for Automated Mechanism Design---{A} Progress Report}, booktitle = aaai07, pages = {9--17}, @@ -2967,8 +3010,7 @@ pages = {197--214}, } @Article{Alur:2002:ATT, - author = "Rajeev Alur and Thomas A. Henzinger and Orna - Kupferman", + author = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman", title = "Alternating-time temporal logic", journal = jacm, volume = "49", @@ -3044,7 +3086,7 @@ pages = {197--214}, @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}, + title = {Sequences of games: {A} tool for taming complexity in security proofs}, year = {2004} } @@ -3202,14 +3244,6 @@ year = {2011} year = 2012, } -@misc{PalamidessiStronati12, - title = {Differential privacy for relational algebra: Improving the - sensitivity bounds via constraint systems}, - author = {Palamidessi, Catuscia and Stronati, Marco}, - note = {arXiv preprint arXiv:1207.0872}, - year = {2012} -} - @inproceedings{CGL10, author = {Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto}, title = {Continuity analysis of programs}, @@ -3222,8 +3256,7 @@ year = {2011} title = "Proving programs robust", author = "Swarat Chaudhuri and Sumit Gulwani and Roberto Lublinerman and Sara NavidPour", - booktitle = { {ACM} {SIGSOFT} Symposium on the Foundations of Software - Engineering ({FSE}), Szeged, Hungary }, + booktitle = esecfse11, year = "2011", ISBN = "978-1-4503-0443-6", pages = "102--112", @@ -3353,11 +3386,11 @@ year = {2011} publisher = springer } -@techreport{Ramshaw79, +@phdthesis{Ramshaw79, title = {Formalizing the Analysis of Algorithms.}, author = {Ramshaw, Lyle Harold}, year = {1979}, - institution = {Stanford University}, + school = {Stanford University}, note = {STAN-CS-79-741} } @@ -3390,6 +3423,13 @@ year = {2011} year = 2015 } +inproceedings{Kozen79, + Author = {Kozen, Dexter}, + Booktitle = focs79, + Pages = {101--114}, + Title = {Semantics of probabilistic programs}, + Year = {1979}} + @article{Kozen81, title = {Semantics of probabilistic programs}, author = {Kozen, Dexter}, @@ -3481,13 +3521,6 @@ year = {2011} publisher = {Courier Corporation} } -@book{Villani08, - title = {Optimal transport: old and new}, - author = {Villani, C{\'e}dric}, - year = {2008}, - publisher = springer -} - @techreport{DengD11, Author = {Deng, Yuxin and Du, Wenjie}, Institution = {Carnegie Mellon University}, @@ -3499,7 +3532,7 @@ year = {2011} } @article{Yang07, - author = {H. Yang}, + author = {Hongseok Yang}, title = {Relational separation logic}, journal = tcs, volume = 375, @@ -3621,11 +3654,13 @@ url = {http://research.microsoft.com/apps/pubs/default.aspx?id=144123}, url = {http://arxiv.org/abs/1506.03684}, } -@unpublished{RS15, -author = "Roughgarden, Tim and Schrijvers, Okke", -title = "Ironing in the Dark", -note = "Under submission", -year = 2015 +@inproceedings{RS15, + author = "Roughgarden, Tim and Schrijvers, Okke", + title = "Ironing in the Dark", + booktitle = ec16, + pages = {1-18}, + year = 2016, + url = {https://arxiv.org/abs/1511.06918}, } @inproceedings{rubensteinsubadditive, @@ -3853,7 +3888,8 @@ author = "Debasis Mishra and Dolf Talman", @article{ST15, author = {Shioura, Akiyoshi and Tamura, Akihisa}, - title = {Gross Substitutes Condition and Discrete Concavity for Multi-Unit Valuations: a Survey}, + title = {Gross Substitutes Condition and Discrete Concavity for Multi-Unit + Valuations: {A} Survey}, journal = {Journal of the Operations Research Society of Japan}, volume = {58}, number = {1}, @@ -3923,7 +3959,7 @@ author = "Debasis Mishra and Dolf Talman", } @inproceedings{DH09, - title={The {A}dwords problem: {O}nline keyword matching with budgeted bidders under random permutations}, + title={The {Adwords} problem: {Online} keyword matching with budgeted bidders under random permutations}, author={Devanur, Nikhil R and Hayes, Thomas P}, booktitle=ec09, pages={71--78}, @@ -4007,16 +4043,6 @@ pages={735--751}, url = {http://certicrypt.gforge.inria.fr/2013.ICALP.pdf} } -@InProceedings{conf/popl/EbadiSS15, - title = "Differential Privacy: Now it's Getting Personal", - author = "Hamid Ebadi and David Sands and Gerardo Schneider", - booktitle = popl15, - year = "2015", - ISBN = "978-1-4503-3300-9", - pages = "69--81", - URL = "http://dl.acm.org/citation.cfm?id=2676726", -} - @inproceedings{DBLP:conf/stoc/DworkFHPRR15, author = {Dwork, Cynthia and Feldman, Vitaly and @@ -4049,13 +4075,6 @@ pages={735--751}, HAL_VERSION = {v2}, } -@inproceedings{Kozen79, - Author = {Kozen, Dexter}, - Booktitle = focs79, - Pages = {101--114}, - Title = {Semantics of probabilistic programs}, - Year = {1979}} - @InProceedings{ChakarovS14, author = {Aleksandar Chakarov and Sriram Sankaranarayanan}, title = {Expectation Invariants as Fixed Points of Probabilistic Programs}, @@ -4085,7 +4104,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} title={Our data, ourselves: Privacy via distributed noise generation}, author={Dwork, Cynthia and Kenthapadi, Krishnaram and - McSherry, Frank and + {McSherry}, Frank and Mironov, Ilya and Naor, Moni}, booktitle=eucrypt06, @@ -4095,7 +4114,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} } @inproceedings{lyu2016understanding, - title={Understanding the Sparse Vector Technique for Differential Privacy}, + title={Understanding the {Sparse Vector Technique} for Differential Privacy}, author={Lyu, Min and Su, Dong and Li, Ninghui}, booktitle=vldb17, volume=10, @@ -4112,7 +4131,10 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} Pramod Viswanath}, title = {The Composition Theorem for Differential Privacy}, booktitle = icml15, - volume = {https://arxiv.org/abs/1311.0776}, + pages = {1376--1385}, + volume = 37, + series = pmlr, + url = {https://arxiv.org/abs/1311.0776}, year = {2015}, publisher = jmlr } @@ -4144,28 +4166,54 @@ 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 {M}arkov chains}, author={Bubley, Russ and Dyer, Martin}, booktitle=focs97, pages={223--231}, year={1997}, } -@unpublished{BunS2016, - author = {{Bun}, M. and {Steinke}, T.}, - title = "{Concentrated Differential Privacy: Simplifications, Extensions, and Lower Bounds}", - journal = {ArXiv e-prints}, -archivePrefix = "arXiv", - eprint = {1605.02065}, - primaryClass = "cs.CR", - keywords = {Computer Science - Cryptography and Security, Computer Science - Data Structures and Algorithms, Computer Science - Information Theory, Computer Science - Learning}, - year = 2016, +@unpublished{DworkRothblumCDP, + author = {Cynthia Dwork and + Guy N. Rothblum}, + title = {Concentrated Differential Privacy}, + journal = {CoRR}, + volume = {abs/1603.01887}, + year = {2016}, + url = {http://arxiv.org/abs/1603.01887}, + timestamp = {Wed, 07 Jun 2017 14:40:05 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/DworkR16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{BunS2016, + author = {Bun, Mark and Steinke, Thomas}, + title = {Concentrated Differential Privacy: Simplifications, Extensions, and Lower Bounds}, + archivePrefix = "arXiv", + eprint = {1605.02065}, + primaryClass = "cs.CR", + booktitle = tcc16b, + pages={635--658}, + series = lncs, + year = {2016-B}, + volume = {9985}, + publisher = springer, + url = {https://arxiv.org/abs/1605.02065}, +} + +@inproceedings{MironovRDP, + title = {R\'enyi Differential Privacy}, + author = {Ilya Mironov}, + year = 2017, + URL = {https://arxiv.org/abs/1702.07476}, + booktitle = csf17 } @inproceedings{BunSU16, author = {Bun, Mark and Steinke, Thomas and Ullman, Jonathan}, title = {Make Up Your Mind: The Price of Online Queries in Differential Privacy}, booktitle = soda17, + pages = {1306--1325}, year = 2017, url = {https://arxiv.org/abs/1604.04618} } @@ -4179,7 +4227,7 @@ archivePrefix = "arXiv", } @inproceedings{micciancio1997oblivious, - title={Oblivious data structures: applications to cryptography}, + title={Oblivious data structures: {Applications} to cryptography}, author={Micciancio, Daniele}, booktitle=stoc97, pages={456--464}, @@ -4252,13 +4300,14 @@ archivePrefix = "arXiv", author = {Mark Jerrum}, title = {A Very Simple Algorithm for Estimating the Number of $k$-Colorings of a Low-Degree Graph}, - journal = {Random Struct. Algorithms}, + journal = {Random Structures and Algorithms}, volume = {7}, number = {2}, pages = {157--166}, year = {1995}, url = {http://dx.doi.org/10.1002/rsa.3240070205}, doi = {10.1002/rsa.3240070205}, + publisher = {Wiley}, timestamp = {Sat, 14 Apr 2012 16:35:21 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/rsa/Jerrum95}, @@ -4297,6 +4346,9 @@ archivePrefix = "arXiv", Languages ({QAPL}), Saarbr{\"{u}}cken, Germany}, pages = {148--162}, year = {2011}, + series = eptcs, + volume = 57, + publisher = {Open Publishing Association}, url = {http://dx.doi.org/10.4204/EPTCS.57.11}, doi = {10.4204/EPTCS.57.11}, timestamp = {Mon, 28 Oct 2013 16:56:55 +0100}, @@ -4313,6 +4365,7 @@ archivePrefix = "arXiv", title={Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games}, year={2008}, pages={264--273}, + publisher=ieee, doi={10.1109/QEST.2008.42}, month=sep} @@ -4330,13 +4383,13 @@ archivePrefix = "arXiv", @inproceedings{giacalone1990algebraic, title={Algebraic reasoning for probabilistic concurrent systems}, - author={Giacalone, Alessandro and Jou, Chi-Chang and Smolka, Scott A}, + author={Giacalone, Alessandro and Jou, Chi-Chang and Smolka, Scott A.}, booktitle={{IFIP} {TC2} Working Conference on Programming Concepts and Methods}, year={1990}, } @inproceedings{SegalaTurrini07, - author={R. Segala and A. Turrini}, + author={Roberto Segala and Andrea Turrini}, booktitle=csf07, title={Approximated Computationally Bounded Simulation Relations for Probabilistic Automata}, year={2007}, @@ -4361,7 +4414,7 @@ archivePrefix = "arXiv", Amitai Perlstein and Philipp Spr{\"{u}}ssel}, title = {The Max-Flow Min-Cut theorem for countable networks}, - journal = {J. Comb. Theory, Ser. {B}}, + journal = {Journal of Combinatorial Theory, Series B}, volume = {101}, number = {1}, pages = {1--17}, @@ -4378,17 +4431,19 @@ archivePrefix = "arXiv", author={Katsumata, Shin-ya and Sato, Tetsuya}, booktitle= calco15, series = lipics, + pages ={156--170}, year = 2015, publisher = dagstuhl, volume={35}, - year={2015}, } -@incollection{aldous1983random, +@inproceedings{aldous1983random, 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}, + booktitle={S{\'e}minaire de Probabilit{\'e}s {XVII} 1981/82}, pages={243--297}, + series=lnm, + volume=986, year={1983}, publisher=springer } @@ -4397,8 +4452,8 @@ archivePrefix = "arXiv", AUTHOR = {Rudin, Walter}, TITLE = {Principles of mathematical analysis}, EDITION = {Third}, - NOTE = {International Series in Pure and Applied Mathematics}, - PUBLISHER = {McGraw-Hill Book Co., New York-Auckland-D\"usseldorf}, + SERIES = {International Series in Pure and Applied Mathematics}, + PUBLISHER = mcgh, YEAR = {1976}, PAGES = {x+342}, MRCLASS = {26-02}, @@ -4415,3 +4470,1600 @@ archivePrefix = "arXiv", year = 2017 } +@book{Kleinberg:2005:AD:1051910, + author = {Kleinberg, Jon and Tardos, Eva}, + title = {Algorithm Design}, + year = {2005}, + isbn = {0321295358}, + publisher = aw, + address = {Boston, MA, USA}, +} + +@inproceedings{bornholt2016optimizing, + title={Optimizing synthesis with metasketches}, + author={Bornholt, James and Torlak, Emina and Grossman, Dan and Ceze, Luis}, + booktitle=popl16, + pages={775--788}, + year={2016}, +} + +@inproceedings{dwork2009complexity, + title={On the complexity of differentially private data release: efficient algorithms and hardness results}, + author={Dwork, Cynthia and Naor, Moni and Reingold, Omer and Rothblum, Guy N and Vadhan, Salil}, + booktitle=stoc09, + pages={381--390}, + year={2009}, +} + +@inproceedings{graf1997construction, + title={Construction of abstract state graphs with PVS}, + author={Graf, Susanne and Sa{\"\i}di, Hassen}, + booktitle=cav97, + pages={72--83}, + year={1997}, + organization=springer +} + +@inproceedings{alur2013syntax, + title={Syntax-guided synthesis}, + author={Alur, Rajeev and Bodik, Rastislav and Juniwal, Garvit and Martin, Milo MK and Raghothaman, Mukund and Seshia, Sanjit A and Singh, Rishabh and Solar-Lezama, Armando and Torlak, Emina and Udupa, Abhishek}, + booktitle={Formal Methods in Computer-Aided Design {(FMCAD)}, Portland, Oregon}, + pages={1--8}, + year={2013}, + organization={IEEE} +} + +@inproceedings{hojjat2012verification, + title={A verification toolkit for numerical transition systems}, + author={Hojjat, Hossein and Kone{\v{c}}n{\`y}, Filip and Garnier, Florent and Iosif, Radu and Kuncak, Viktor and R{\"u}mmer, Philipp}, + booktitle=fm12, + pages={247--251}, + year={2012}, + organization=springer +} + +@techreport{mcmillan2013solving, + title={Solving constrained {H}orn clauses using interpolation}, + author={McMillan, Kenneth L and Rybalchenko, Andrey}, + number={MSR-TR-2013-6}, + institution={Microsoft Research}, + year={2013} +} + +@inproceedings{beyer2009software, + title={Software model checking via large-block encoding}, + author={Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M Erkan and Sebastiani, Roberto}, + booktitle={Formal Methods in Computer-Aided Design {(FMCAD)}, Austin, Texas}, + pages={25--32}, + year={2009}, + organization={IEEE} +} + +@inproceedings{mathsat, + title={The MathSAT5 SMT Solver.}, + author={Cimatti, Alessandro and Griggio, Alberto and Schaafsma, Bastiaan Joost and Sebastiani, Roberto}, + booktitle=tacas13, + volume={7795}, + pages={93--107}, + year={2013}, + organization=springer +} + + +@inproceedings{grebenshchikov2012hsf, + title={{HSF (C)}: {A} software verifier based on {H}orn clauses}, + author={Grebenshchikov, Sergey and Gupta, Ashutosh and Lopes, Nuno P and Popeea, Corneliu and Rybalchenko, Andrey}, + booktitle=tacas12, + pages={549--551}, + year={2012}, + organization=springer +} + + +@inproceedings{grebenshchikov2012, + author = {Grebenshchikov, Sergey and Lopes, Nuno P. and Popeea, Corneliu and Rybalchenko, Andrey}, + title = {Synthesizing Software Verifiers from Proof Rules}, + booktitle = pldi12, + year = {2012}, + isbn = {978-1-4503-1205-9}, + location = {Beijing, China}, + pages = {405--416}, + numpages = {12}, + url = {http://doi.acm.org/10.1145/2254064.2254112}, + doi = {10.1145/2254064.2254112}, + acmid = {2254112}, + keywords = {proof rules, software model checking, software verification, verification tool synthesis}, +} + + +@inproceedings{gurfinkel2015seahorn, + title={{SeaHorn}: {A} Framework for Verifying {C} Programs (Competition Contribution).}, + author={Gurfinkel, Arie and Kahsai, Temesghen and Navas, Jorge A}, + booktitle=tacas15, + pages={447--450}, + year={2015} +} + +@inproceedings{hoder2011muz, + title={$\mu${Z}-An Efficient Engine for Fixed Points with Constraints.}, + author={Hoder, Krystof and Bj{\o}rner, Nikolaj and de Moura, Leonardo Mendon{\c{c}}a}, + booktitle=cav11, + pages={457--462}, + year={2011}, + organization=springer +} + +@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06, + author = {Armando Solar{-}Lezama and + Liviu Tancau and + Rastislav Bod{\'{\i}}k and + Sanjit A. Seshia and + Vijay A. Saraswat}, + title = {Combinatorial sketching for finite programs}, + booktitle = asplos06, + pages = {404--415}, + year = {2006}, + url = {http://doi.acm.org/10.1145/1168857.1168907}, + doi = {10.1145/1168857.1168907}, + timestamp = {Tue, 15 May 2007 09:22:32 +0200}, + biburl = + {http://dblp.dagstuhl.de/rec/bib/conf/asplos/Solar-LezamaTBSS06}, + bibsource = {dblp computer science bibliography, + http://dblp.org} +} + +@article{pnueli1998translation, + title={Translation validation}, + author={Pnueli, Amir and Siegel, Michael and Singerman, Eli}, + journal=tacas98, + pages={151--166}, + year={1998}, + publisher=springer +} + +@inproceedings{necula2000translation, + title={Translation validation for an optimizing compiler}, + author={Necula, George C}, + booktitle=pldi00, + volume={35}, + number={5}, + pages={83--94}, + year={2000}, +} + +@inproceedings{kopf2010approximation, + title={Approximation and randomization for quantitative information-flow analysis}, + author={K{\"o}pf, Boris and Rybalchenko, Andrey}, + booktitle=csf10, + pages={3--14}, + year={2010}, +} + +@inproceedings{Srivastava10, + author = {Srivastava, Saurabh and Gulwani, Sumit and Foster, Jeffrey S.}, + title = {From Program Verification to Program Synthesis}, + booktitle = popl10, + year = {2010}, + isbn = {978-1-60558-479-9}, + location = {Madrid, Spain}, + pages = {313--326}, + numpages = {14}, + url = {http://doi.acm.org/10.1145/1706299.1706337}, + doi = {10.1145/1706299.1706337}, + acmid = {1706337}, + address = {New York, NY, USA}, + keywords = {proof-theoretic program synthesis, verification}, +} + +@inproceedings{Beyene14, + author = {Beyene, Tewodros and Chaudhuri, Swarat and Popeea, Corneliu and Rybalchenko, Andrey}, + title = {A Constraint-based Approach to Solving Games on Infinite Graphs}, + booktitle = popl14, + year = {2014}, + isbn = {978-1-4503-2544-8}, + location = {San Diego, California, USA}, + pages = {221--233}, + numpages = {13}, + acmid = {2535860}, + address = {New York, NY, USA}, + keywords = {games, horn clauses, program synthesis, proof rules, reactive synthesis, static analysis}, +} + +@inproceedings{beyene2013solving, + title={Solving existentially quantified {H}orn clauses}, + author={Beyene, Tewodros A and Popeea, Corneliu and Rybalchenko, Andrey}, + booktitle=cav13, + pages={869--882}, + year={2013}, + organization=springer +} + +@inproceedings{gulwani2011synthesis, + title={Synthesis of loop-free programs}, + author={Sumit Gulwani and Susmit Jha and Ashish Tiwari and Ramarathnam Venkatesan}, + booktitle=pldi11, + year={2011} +} + +@inproceedings{lahiri2006smt, + title={{SMT} techniques for fast predicate abstraction}, + author={Lahiri, Shuvendu K and Nieuwenhuis, Robert and Oliveras, Albert}, + booktitle=cav06, + pages={424--437}, + year={2006}, + organization=springer +} + +@incollection{bjorner2015horn, + title={Horn clause solvers for program verification}, + author={Bj{\o}rner, Nikolaj and Gurfinkel, Arie and McMillan, Ken and Rybalchenko, Andrey}, + booktitle={Fields of Logic and Computation {II}}, + pages={24--51}, + year={2015}, + publisher=springer +} + +@inproceedings{MacQueenPS84, + author = {David B. MacQueen and + Gordon D. Plotkin and + Ravi Sethi}, + editor = {Ken Kennedy and + Mary S. Van Deusen and + Larry Landweber}, + title = {An Ideal Model for Recursive Polymorphic Types}, + booktitle = popl84, + pages = {165--174}, + year = {1984}, + url = {http://doi.acm.org/10.1145/800017.800528}, + doi = {10.1145/800017.800528}, + timestamp = {Mon, 21 May 2012 16:19:51 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/popl/MacQueenPS84}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{AbadiP90, + author = {Mart{\'{\i}}n Abadi and + Gordon D. Plotkin}, + title = {A Per Model of Polymorphism and Recursive Types}, + booktitle = lics90, + pages = {355--365}, + year = {1990}, + url = {https://doi.org/10.1109/LICS.1990.113761}, + doi = {10.1109/LICS.1990.113761}, + timestamp = {Thu, 25 May 2017 00:42:41 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/lics/AbadiP90}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{Shamir16, + author = {Ohad Shamir}, + title = {Without-Replacement Sampling for Stochastic Gradient Methods: Convergence + Results and Application to Distributed Optimization}, + journal = {CoRR}, + volume = {abs/1603.00570}, + year = {2016}, + url = {http://arxiv.org/abs/1603.00570}, + timestamp = {Sat, 02 Apr 2016 11:49:48 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Shamir16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + + +@book{jansen2013analyzing, + author = {Thomas Jansen}, + title = {Analyzing Evolutionary Algorithms: The Computer Science Perspective}, + series = {Natural Computing Series}, + publisher = springer, + year = {2013}, + url = {https://doi.org/10.1007/978-3-642-17339-4}, + doi = {10.1007/978-3-642-17339-4}, + isbn = {978-3-642-17338-7}, + timestamp = {Tue, 16 May 2017 14:24:38 +0200}, + biburl = + {http://dblp2.uni-trier.de/rec/bib/series/ncs/Jansen13}, + bibsource = {dblp computer science bibliography, + http://dblp.org} +} + + +@book{HartlC, +author={Daniel L. Hartl and Andrew G. Clark}, +title={Principles of Population Genetics}, +edition={Fourth}, +publisher={Sinauer Associates}, +year={2006}} + +@article{BousquetE02, + author = {Olivier Bousquet and + Andr{\'{e}} Elisseeff}, + title = {Stability and Generalization}, + journal = jmlr, + volume = {2}, + pages = {499--526}, + year = {2002}, + url = {http://www.jmlr.org/papers/v2/bousquet02a.html} +} + +@inproceedings{GomulkiewiczKK03, + author = {Marcin Gomulkiewicz and + Marek Klonowski and + Miroslaw Kutylowski}, + title = {Rapid Mixing and Security of {C}haum's Visual Electronic Voting}, + booktitle = esorics03, + series = lncs, + volume = {2808}, + pages = {132--145}, + publisher = springer, +} + +@inproceedings{BizjakB15, + author = {Ales Bizjak and + Lars Birkedal}, + title = {Step-Indexed Logical Relations for Probability}, + booktitle = fossacs15, + series = lncs, + volume = {9034}, + pages = {279--294}, + publisher = springer, + year = {2015} +} + +@inproceedings{SangiorgiV16, + author = {Davide Sangiorgi and + Valeria Vignudelli}, + title = {Environmental bisimulations for probabilistic higher-order languages}, + booktitle = popl16, + pages = {595--607}, + year = {2016} +} + +@inproceedings{DallagoSA14, + author = {Ugo Dal Lago and + Davide Sangiorgi and + Michele Alberti}, + title = {On coinductive equivalences for higher-order probabilistic functional + programs}, + booktitle = popl14, + pages = {297--308}, + year = {2014} +} + +@article{dixit2012finite, + title={A finite population model of molecular evolution: {T}heory and computation}, + author={Dixit, Narendra M and Srivastava, Piyush and Vishnoi, Nisheeth K}, + journal={Journal of Computational Biology}, + volume={19}, + number={10}, + pages={1176--1202}, + year={2012}, + publisher={Mary Ann Liebert} +} + +@phdthesis{Hartog:thesis, + Author = {den Hartog, J.}, + School = {Vrije Universiteit Amsterdam}, + Title = {Probabilistic extensions of semantical models}, + Year = {2002}} + +@article{CanteautFNPRV12, + author = {Anne Canteaut and + Thomas Fuhr and + Mar{\'{\i}}a Naya{-}Plasencia and + Pascal Paillier and + Jean{-}Ren{\'{e}} Reinhard and + Marion Videau}, + title = {A Unified Indifferentiability Proof for Permutation- or Block Cipher-Based + Hash Functions}, + journal = {{IACR} Cryptology ePrint Archive}, + volume = {2012}, + pages = {363}, + year = {2012}, + url = {http://eprint.iacr.org/2012/363}, + timestamp = {Fri, 28 Mar 2014 20:49:29 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/iacr/CanteautFNPRV12}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{NanevskiBG11, + author = {Aleksandar Nanevski and + Anindya Banerjee and + Deepak Garg}, + title = {Verification of Information Flow and Access Control Policies with + Dependent Types}, + booktitle = sandp11, + pages = {165--179}, + year = {2011} +} + + +@inproceedings{GhaniFS16, + author = {Neil Ghani and + Fredrik Nordvall Forsberg and + Alex Simpson}, + title = {Comprehensive Parametric Polymorphism: {C}ategorical Models and Type + Theory}, + booktitle = fossacs16, + series = lncs, + volume = {9634}, + pages = {3--19}, + publisher = springer, + year = {2016} +} + + + +@article{aldous93shift, + author = {Aldous, D. J. and Thorisson, H.}, + citeulike-article-id = {4046853}, + journal = {Stochastic Processes and their Applications}, + keywords = {aldousbib}, + mrnumber = {1198659}, + pages = {1--14}, + posted-at = {2009-02-13 21:55:05}, + priority = {2}, + title = {Shift-Coupling}, + volume = {44}, + year = {1993} +} + +@book {LevinPW09, +AUTHOR = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.}, +TITLE = {Markov chains and mixing times}, +PUBLISHER = {American Mathematical Society}, +YEAR = {2009} +} + +@book{Villani08, + title={Optimal transport: {O}ld and new}, + author={Villani, C{\'e}dric}, + year={2008}, + publisher=springer +} + +@inproceedings{BentonHN13, + author = {Nick Benton and + Martin Hofmann and + Vivek Nigam}, + title = {Proof-Relevant Logical Relations for Name Generation}, + booktitle = tlca13, + series = lncs, + volume = {7941}, + pages = {48--60}, + publisher = springer, + year = {2013} +} + + +@inproceedings{KrishnaswamiB11, + author = {Neelakantan R. Krishnaswami and + Nick Benton}, + title = {Ultrametric Semantics of Reactive Programs}, + booktitle = lics11, + pages = {257--266}, + year = {2011}} + + +@inproceedings{BeringerH07, + author = {Lennart Beringer and + Martin Hofmann}, + title = {Secure information flow and program logics}, + booktitle = csf07, + pages = {233--248}, + year = {2007} +} +@inproceedings{LahiriHKR12, + author = {Shuvendu K. Lahiri and + Chris Hawblitzel and + Ming Kawaguchi and + Henrique Reb{\^{e}}lo}, + title = {{SYMDIFF}: {A} Language-Agnostic Semantic Diff Tool for Imperative + Programs}, + booktitle = cav12, + series = lncs, + volume = {7358}, + pages = {712--717}, + publisher = springer, + year = {2012} +} + + +@inproceedings{LahiriMSH13, + author = {Shuvendu K. Lahiri and + Kenneth L. McMillan and + Rahul Sharma and + Chris Hawblitzel}, + title = {Differential assertion checking}, + booktitle = esecfse13, + pages = {345--355}, + year = {2013} +} + +@article{BartheCK16, +author={Gilles Barthe and Juan Manuel Crespo and C{\'{e}}sar Kunz}, +title={Product programs and relational program logics}, +journal={Journal of Logical and Algebraic Methods in Programming}, +year={2016}} + + +@InProceedings{DHS05:spc, + author = "Adam Darvas and Reiner H{\"{a}}hnle and David Sands", + title = "A Theorem Proving Approach to Analysis of Secure + Information Flow", + booktitle = "Security in Pervasive Computing", + pages = "193--209", + year = "2005", + volume = "3450", + series = lncs, + publisher = springer, + note = "Preliminary version in the informal proceedings of WITS 2003" +} + +@inproceedings{MisailovicRR11, + author = {Sasa Misailovic and + Daniel M. Roy and + Martin C. Rinard}, + title = {Probabilistically Accurate Program Transformations}, + booktitle = sas11, + series = lncs, + volume = {6887}, + pages = {316--333}, + publisher = springer, + year = {2011} +} + +@inproceedings{LogozzoLFB14, + author = {Francesco Logozzo and + Shuvendu K. Lahiri and + Manuel F{\"{a}}hndrich and + Sam Blackshear}, + title = {Verification modulo versions: {T}owards usable verification}, + booktitle = pldi14, + pages = {32}, + year = {2014} +} + +@article{GodlinS13, + author = {Benny Godlin and + Ofer Strichman}, + title = {Regression verification: {P}roving the equivalence of similar programs}, + journal = {Software Testing, Verification, and Reliability}, + volume = {23}, + number = {3}, + pages = {241--258}, + year = {2013} +} + + + +@inproceedings{PartushY14, + author = {Nimrod Partush and + Eran Yahav}, + title = {Abstract semantic differencing via speculative correlation}, + booktitle = oopsla14, + pages = {811--828}, + year = {2014} +} + +@inproceedings{PersonDEP08, + 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}, + pages = {226--237}, +} + +@inproceedings{DBLP:conf/esop/FosterKMR016, + author = {Nate Foster and + Dexter Kozen and + Konstantinos Mamouras and + Mark Reitblatt and + Alexandra Silva}, + title = {Probabilistic {NetKAT}}, + booktitle = esop16, + series = lncs, + volume = {9632}, + pages = {282--309}, + publisher = springer, + year = {2016}, + url = {http://dx.doi.org/10.1007/978-3-662-49498-1_12}, + doi = {10.1007/978-3-662-49498-1_12}, + timestamp = {Tue, 22 Mar 2016 15:54:03 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/esop/FosterKMR016}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{KaminskiKMO16, + author = {Benjamin Lucien Kaminski and + Joost{-}Pieter Katoen and + Christoph Matheja and + Federico Olmedo}, + title = {Weakest Precondition Reasoning for Expected Run-Times of Probabilistic + Programs}, + booktitle = esop16, + series = lncs, + volume = {9632}, + pages = {364--389}, + publisher = springer, + year = {2016}, + url = {http://dx.doi.org/10.1007/978-3-662-49498-1_15}, + doi = {10.1007/978-3-662-49498-1_15}, + timestamp = {Tue, 22 Mar 2016 15:54:03 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/esop/KaminskiKMO16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@InProceedings{ABB06:popl, + author = "Torben Amtoft and Sruthi Bandhakavi and Anindya Banerjee", + title = "A logic for information flow in object-oriented + programs", + booktitle = popl06, + year = "2006", + pages = "91--102", +} + +@article{DBLP:journals/iacr/BartheDFGSS16, + author = {Gilles Barthe and + Fran{\c{c}}ois Dupressoir and + Sebastian Faust and + Benjamin Gr{\'{e}}goire and + Fran{\c{c}}ois{-}Xavier Standaert and + Pierre{-}Yves Strub}, + title = {Parallel Implementations of Masking Schemes and the Bounded Moment + Leakage Model}, + journal = {{IACR} Cryptology ePrint Archive}, + volume = {2016}, + pages = {912}, + year = {2016}, + url = {http://eprint.iacr.org/2016/912}, + timestamp = {Fri, 14 Oct 2016 13:36:12 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/iacr/BartheDFGSS16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{DBLP:journals/tcad/EldibWTS15, + author = {Hassan Eldib and + Chao Wang and + Mostafa M. I. Taha and + Patrick Schaumont}, + title = {Quantitative Masking Strength: {Q}uantifying the Power Side-Channel + Resistance of Software Code}, + journal = {{IEEE} Transansactions on {CAD} of Integrated Circuits and Systems}, + volume = {34}, + number = {10}, + pages = {1558--1568}, + year = {2015}, + url = {http://dx.doi.org/10.1109/TCAD.2015.2424951}, + doi = {10.1109/TCAD.2015.2424951}, + timestamp = {Thu, 03 Nov 2016 07:24:15 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcad/EldibWTS15}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{DBLP:conf/crypto/IshaiSW03, + author = {Yuval Ishai and + Amit Sahai and + David Wagner}, + title = {Private Circuits: {S}ecuring Hardware against Probing Attacks}, + booktitle = crypto03, + series = lncs, + volume = {2729}, + pages = {463--481}, + publisher = springer, + year = {2003}, + url = {http://dx.doi.org/10.1007/978-3-540-45146-4_27}, + doi = {10.1007/978-3-540-45146-4_27}, + timestamp = {Tue, 05 Jul 2011 11:03:56 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/crypto/IshaiSW03}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + + +@inproceedings{Beringer11, + author = {Lennart Beringer}, + title = {Relational Decomposition}, + booktitle = itp11, + series = lncs, + volume = {6898}, + pages = {39--54}, + publisher = springer, + year = {2011} +} +@inproceedings{MullerKS15, + author = {Christian M{\"{u}}ller and + M{\'{a}}t{\'{e}} Kov{\'{a}}cs and + Helmut Seidl}, + title = {An Analysis of Universal Information Flow Based on Self-Composition}, + booktitle = csf15, + pages = {380--393}, + year = {2015} +} + + +@inproceedings{KovacsSF13, + author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and + Helmut Seidl and + Bernd Finkbeiner}, + title = {Relational abstract interpretation for the verification of + 2-hypersafety properties}, + booktitle = ccs13, + pages = {211--222}, + year = {2013} +} + +@article{ElisseeffEP05, + author = {Andr{\'{e}} Elisseeff and + Theodoros Evgeniou and + Massimiliano Pontil}, + title = {Stability of Randomized Learning Algorithms}, + journal = jmlr, + volume = {6}, + pages = {55--79}, + year = {2005}, + url = {http://www.jmlr.org/papers/v6/elisseeff05a.html}, + timestamp = {Wed, 21 Feb 2007 09:15:37 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/jmlr/ElisseeffEP05}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{PanageasSV16, + author = {Ioannis Panageas and + Piyush Srivastava and + Nisheeth K. Vishnoi}, + title = {Evolutionary Dynamics in Finite Populations Mix Rapidly}, + booktitle = soda16, + pages = {480--497}, + year = {2016}, + url = {http://dx.doi.org/10.1137/1.9781611974331.ch36}, + doi = {10.1137/1.9781611974331.ch36}, + timestamp = {Thu, 07 Apr 2016 12:20:54 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/soda/PanageasSV16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{Vishnoi15, + author = {Nisheeth K. Vishnoi}, + title = {The Speed of Evolution}, + booktitle = soda15, + pages = {1590--1601}, + year = {2015}, + url = {http://dx.doi.org/10.1137/1.9781611973730.105}, + doi = {10.1137/1.9781611973730.105}, + timestamp = {Wed, 28 Jan 2015 11:43:18 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/soda/Vishnoi15}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{diaconis91, + author = {Diaconis, Persi and Stroock, Daniel}, + citeulike-article-id = {8906755}, + citeulike-linkout-0 = {http://dx.doi.org/10.1214/aoap/1177005980}, + doi = {10.1214/aoap/1177005980}, + issn = {1050-5164}, + journal = {The Annals of Applied Probability}, + keywords = {eigenvalues, markov, rapid-mixing}, + month = feb, + number = {1}, + pages = {36--61}, + posted-at = {2011-03-01 12:39:26}, + priority = {4}, + title = {Geometric Bounds for Eigenvalues of {M}arkov Chains}, + url = {http://dx.doi.org/10.1214/aoap/1177005980}, + volume = {1}, + year = {1991} +} + + +@article{JerrumS89, + author = {Mark Jerrum and + Alistair Sinclair}, + title = {Approximating the Permanent}, + journal = siamjc, + volume = {18}, + number = {6}, + pages = {1149--1178}, + year = {1989}, + url = {http://dx.doi.org/10.1137/0218077}, + doi = {10.1137/0218077}, + timestamp = {Mon, 12 Sep 2011 16:10:07 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/JerrumS89}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{DBLP:journals/rsa/KumarR01, + author = {V. S. Anil Kumar and H. Ramesh}, + title = {Coupling vs. conductance for the {J}errum-{S}inclair chain}, + journal = {Random Structures and Algorithms}, + volume = {18}, + number = {1}, + pages = {1--17}, + year = {2001}, + url = {http://hariharan-ramesh.com/papers/mcmc.pdf}, + publisher = {Wiley} +} + +@inproceedings{HardtRS16, + author = {Moritz Hardt and + Ben Recht and + Yoram Singer}, + title = {Train faster, generalize better: {S}tability of stochastic gradient descent}, + booktitle = icml16, + series = jmlr, + volume = {48}, + pages = {1225--1234}, + publisher = {JMLR.org}, + year = {2016}, + url = {http://jmlr.org/proceedings/papers/v48/hardt16.html}, + +} + +@techreport{randomwalk:notes, + author = {Avena, Luca and + Heydenreich, Markus and + den Hollander, Frank and + Verbitskiy, Evgeny and + van Zuijlen, Willem}, + title = {Random Walks (lecture notes)}, + url = {http://websites.math.leidenuniv.nl/probability/lecturenotes/RandomWalks.pdf}, + institution = {Mathematical Institute, Leiden University} +} + +@book{vanbreugel, +author={Franck van Breugel}, +title={Comparative Metric Semantics of Programming Languages: +Nondeterminism and Recursion}, +series={Progress in Theoretical Computer Science}, +publisher={Birkhauser}, +year={1997}} + +@inproceedings{DeBakkerZ82, + author = {J. W. de Bakker and + Jeffery I. Zucker}, + editor = {Harry R. Lewis and + Barbara B. Simons and + Walter A. Burkhard and + Lawrence H. Landweber}, + title = {Denotational Semantics of Concurrency}, + booktitle = stoc82, + pages = {153--158}, + year = {1982}, + url = {http://doi.acm.org/10.1145/800070.802188}, + doi = {10.1145/800070.802188}, + timestamp = {Sun, 21 May 2017 00:22:29 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/stoc/DeBakkerZ82}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{ArnoldN80, + author = {Andr{\'{e}} Arnold and + Maurice Nivat}, + title = {Metric Interpretations of Infinite Trees and Semantics of non Deterministic + Recursive Programs}, + journal = tcs, + volume = {11}, + pages = {181--205}, + year = {1980}, + url = {https://doi.org/10.1016/0304-3975(80)90045-6}, + doi = {10.1016/0304-3975(80)90045-6}, + timestamp = {Sun, 28 May 2017 13:20:08 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/ArnoldN80}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@book{brooks2011handbook, + title={Handbook of {M}arkov Chain {M}onte {C}arlo}, + author={Brooks, Steve and Gelman, Andrew and Jones, Galin and Meng, + Xiao-Li}, + year={2011}, + publisher={CRC press} +} + +@inproceedings{sato2016approximate, + title={Approximate Relational {H}oare Logic for Continuous Random Samplings}, + author={Sato, Tetsuya}, + booktitle=mfps16, + year={2016}, + url={http://arxiv.org/abs/1603.01445} +} + +@article{metropolis1953equation, + title={Equation of state calculations by fast computing machines}, + author={Metropolis, Nicholas and Rosenbluth, Arianna W and Rosenbluth, + Marshall N and Teller, Augusta H and Teller, Edward}, + journal={The Journal of Chemical Physics}, + volume={21}, + number={6}, + pages={1087--1092}, + year={1953}, + publisher={AIP Publishing} +} + +@inproceedings{Kozen16, + author="Dexter Kozen", + title="Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes", + booktitle=lics16, + url = {http://hdl.handle.net/1813/41517}, + year={2016} +} + +@book{durrett2008probability, + title={Probability Models for {DNA} Sequence Evolution}, + author={Durrett, R.}, + isbn={9780387781693}, + lccn={2008929756}, + series={Probability and Its Applications}, + year={2008}, + publisher=springer +} + +@article{Smyth:82, + added-at = {2007-11-03T00:18:07.000+0100}, + author = {Smyth, Michael B. and Plotkin, Gordon D.}, + biburl = {http://www.bibsonomy.org/bibtex/2463c71fb3a6d5f453c9ced9044fcec7f/bsmyth}, + date = {2002-01-03}, + description = {dblp}, + interhash = {fa163d46ad9a635a36f162a6961931ad}, + intrahash = {463c71fb3a6d5f453c9ced9044fcec7f}, + journal = siamjc, + number = 4, + pages = {761--783}, + timestamp = {2007-11-03T00:18:21.000+0100}, + title = {The Category-Theoretic Solution of Recursive Domain Equations}, + url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp11.html#SmythP82}, + volume = 11, + year = 1982 +} + +@inproceedings{Freyd1991, +author="Freyd, Peter", +title="Algebraically complete categories", +booktitle=ct90, +year="1990", +publisher=springer, +series={Lecture Notes in Mathematics}, +volume=1488, +pages="95--104", +isbn="978-3-540-46435-8", +url="http://dx.doi.org/10.1007/BFb0084215" +} + +@article{Lawvere:02, + author = {William F. Lawvere}, + title = {Metric Spaces, Generalized Logic, and Closed Categories}, + journal = {Reprints in Theory and Applications of Categories}, + volume = {1}, + pages = {1--37}, + note = {Originally published in ``Rendiconti del seminario matematico e fisico di Milano, XLIII (1973), 135-166''}, + year = {2002} +} + +@book{Monoidal, + editor = {Hofmann, Dirk and Seal, Gavin J. and Tholen, Walter}, + title = {Monoidal Topology}, + publisher = cup, + year = {2014}, +} + +@book{Borceux:1994:1, + title={Handbook of Categorical Algebra: Volume 1, Basic Category Theory}, + author={Borceux, F.}, + isbn={9780521441780}, + lccn={93003225}, + series={Cambridge Textbooks in Linguistics}, + url={https://books.google.com/books?id=YfzImoopB-IC}, + year={1994}, + publisher=cup +} + +@book{Borceux:1994:2, + title={Handbook of Categorical Algebra: Volume 2, Categories and Structures}, + author={Borceux, F.}, + isbn={9780521441797}, + lccn={93003225}, + series={Cambridge Studies in Philosophy}, + year={1994}, + publisher=cup +} + +@inproceedings{Fiore:1994, + author = {Marcelo P. Fiore and + Gordon D. Plotkin}, + title = {An Axiomatization of Computationally Adequate Domain Theoretic Models + of {FPC}}, + booktitle = lics94, + pages = {92--102}, + year = {1994} +} + +@article{Pitts:1996, + title = "Relational Properties of Domains", + journal = ic, + volume = "127", + number = "2", + pages = "66--90", + year = "1996", + issn = "0890-5401", + author = "Andrew M. Pitts", + publisher = elsevier +} + +@article{DBLP:journals/tcs/ArnoldN80, + author = {Andr{\'{e}} Arnold and + Maurice Nivat}, + title = {Metric Interpretations of Infinite Trees and Semantics of non-Deterministic + Recursive Programs}, + journal = tcs, + volume = {11}, + number = {2}, + pages = {181--205}, + year = {1980}, + url = {http://dx.doi.org/10.1016/0304-3975(80)90045-6}, + publisher = elsevier +} + +@inproceedings{DBLP:conf/stoc/DeBakkerZ82, + author = {de Bakker, J. W. and + Zucker, Jeffrey I.}, + title = {Denotational Semantics of Concurrency}, + booktitle = stoc82, + pages = {153--158}, + year = {1982}, + url = {http://doi.acm.org/10.1145/800070.802188}, +} + +@inproceedings{DBLP:conf/mfps/AmericaR87, + author = {Pierre America and + Jan J. M. M. Rutten}, + title = {Solving Reflexive Domain Equations in a Category of Complete Metric + Spaces}, + booktitle = mfps87, + series = lncs, + publisher = springer, + volume = 298, + pages = {254--288}, + year = {1987}, + url = {http://dx.doi.org/10.1007/3-540-19020-1_13}, +} + +@article{Baier1994, +title = "Denotational semantics in the {CPO} and metric approach", +journal = tcs, +volume = "135", +number = "2", +pages = "171--220", +year = "1994", +issn = "0304-3975", +url = "http://dx.doi.org/10.1016/0304-3975(94)00046-8", +author = "Christel Baier and Mila E. Majster{-}Cederbaum", +publisher = elsevier, +} + +@article{DBLP:journals/ipl/Majster-Cederbaum88, + author = {Mila E. Majster{-}Cederbaum}, + title = {On the Uniqueness of Fixed Points of Endofunctors in a Category of + Complete Metric Spaces}, + journal = {Information Processing Letters}, + volume = {29}, + number = {6}, + pages = {277--281}, + year = {1988}, + url = {http://dx.doi.org/10.1016/0020-0190(88)90224-4}, + publisher = elsevier +} + +@article{DBLP:journals/iandc/CederbaumZ91, + author = {Mila E. Majster{-}Cederbaum and + F. Zetzsche}, + title = {Towards a Foundation for Semantics in Complete Metric Spaces}, + journal = ic, + volume = {90}, + number = {2}, + pages = {217--243}, + year = {1991}, + url = {http://dx.doi.org/10.1016/0890-5401(91)90005-M}, + publisher = elsevier +} + +@article{DBLP:journals/tcs/Majster-CederbaumZ94, + author = {Mila E. Majster{-}Cederbaum and + F. Zetzsche}, + title = {The Comparison of a {CPO}-based Semantics with a {CMS}-based semantics + for {CSP}}, + journal = tcs, + volume = {124}, + number = {1}, + pages = {1--40}, + year = {1994}, + url = {http://dx.doi.org/10.1016/0304-3975(94)90052-3}, + publisher = elsevier +} + +@article{DBLP:journals/tcs/Breugel01, + author = {van Breugel, Franck}, + title = {An introduction to metric semantics: operational and denotational + models for programming and specification languages}, + journal = tcs, + volume = {258}, + number = {1--2}, + pages = {1--98}, + year = {2001}, + url = {http://dx.doi.org/10.1016/S0304-3975(00)00403-5}, + publisher = elsevier +} + +@MISC{Escardo98ametric, + author = {Martín H\"otzel Escard\'o}, + title = {A metric model of {PCF}}, + note = {Workshop on Realizability Semantics and Applications, Trento, Italy}, + url = {http://www.cs.bham.ac.uk/~mhe/papers/metricpcf.pdf}, + year = {1999} +} + +@article{GSS92, + title={{Bounded linear logic}}, + author={Girard, J.Y. and Scedrov, A. and Scott, P.}, + journal=tcs, + volume={97}, + number={1}, + pages={1--66}, + year={1992}, + publisher=elsevier +} + + +@article{DBLP:journals/tcs/Ehrhard12, + author = {Thomas Ehrhard}, + title = {The Scott model of linear logic is the extensional collapse of its + relational model}, + journal = tcs, + volume = {424}, + pages = {20--45}, + year = {2012}, + url = {http://dx.doi.org/10.1016/j.tcs.2011.11.027}, + doi = {10.1016/j.tcs.2011.11.027}, + publisher = elsevier +} + +@inproceedings{DBLP:conf/popl/MacQueenPS84, + author = {David B. MacQueen and + Gordon D. Plotkin and + Ravi Sethi}, + title = {An Ideal Model for Recursive Polymorphic Types}, + booktitle = popl84, + pages = {165--174}, + year = {1984}, + url = {http://doi.acm.org/10.1145/800017.800528}, +} + +@inproceedings{DBLP:conf/lics/AbadiPP89, + author = {Mart{\'{\i}}n Abadi and + Benjamin C. Pierce and + Gordon D. Plotkin}, + title = {Faithful Ideal Models for Recursive Polymorphic Types}, + booktitle = lics89, + pages = {216--225}, + year = {1989}, + url = {http://dx.doi.org/10.1109/LICS.1989.39176} +} + +@article{DBLP:journals/iandc/Amadio91, + author = {Roberto M. Amadio}, + title = {Recursion over Realizability Structures}, + journal = ic, + volume = {91}, + number = {1}, + pages = {55--85}, + year = {1991}, + url = {http://dx.doi.org/10.1016/0890-5401(91)90074-C}, + doi = {10.1016/0890-5401(91)90074-C}, + publisher = elsevier +} + + +@inproceedings{DBLP:conf/lics/AbadiP90, + author = {Mart{\'{\i}}n Abadi and + Gordon D. Plotkin}, + title = {A {PER} Model of Polymorphism and Recursive Types}, + booktitle = lics90, + pages = {355--365}, + year = {1990}, + url = {http://dx.doi.org/10.1109/LICS.1990.113761}, +} + +@inproceedings{DBLP:conf/tlca/Chroboczek01, + author = {Juliusz Chroboczek}, + title = {Subtyping Recursive Games}, + booktitle = tlca01, + series = lncs, + volume = 2044, + publisher = springer, + pages = {61--75}, + year = {2001}, + url = {http://dx.doi.org/10.1007/3-540-45413-6_9}, +} + +@article{DBLP:journals/tcs/BirkedalST10, + author = {Lars Birkedal and + Kristian St{\o}vring and + Jacob Thamsborg}, + title = {The category-theoretic solution of recursive metric-space equations}, + journal = tcs, + volume = {411}, + number = {47}, + pages = {4102--4122}, + year = {2010}, + url = {http://dx.doi.org/10.1016/j.tcs.2010.07.010}, + publisher = elsevier +} + +@inproceedings{DBLP:conf/fossacs/BirkedalST09, + author = {Lars Birkedal and + Kristian St{\o}vring and + Jacob Thamsborg}, + title = {Realizability Semantics of Parametric Polymorphism, General References, + and Recursive Types}, + booktitle = fossacs09, + pages = {456--470}, + year = {2009}, + series = lncs, + publisher = springer, + volume = 5504, + url = {http://dx.doi.org/10.1007/978-3-642-00596-1_32}, +} + +@inproceedings{DBLP:conf/fossacs/SchwinghammerBS11, + author = {Jan Schwinghammer and + Lars Birkedal and + Kristian St{\o}vring}, + title = {A Step-Indexed {K}ripke Model of Hidden State via Recursive Properties + on Recursively Defined Metric Spaces}, + booktitle = fossacs11, + pages = {305--319}, + year = {2011}, + series = lncs, + publisher = springer, + volume = 6604, + url = {http://dx.doi.org/10.1007/978-3-642-19805-2_21} +} + +@inproceedings{DBLP:conf/lics/Nakano00, + author = {Hiroshi Nakano}, + title = {A Modality for Recursion}, + booktitle = lics00, + pages = {255--266}, + year = {2000}, + url = {http://dx.doi.org/10.1109/LICS.2000.855774}, +} + +@inproceedings{DBLP:conf/lics/BirkedalMSS11, + author = {Lars Birkedal and + Rasmus Ejlers M{\o}gelberg and + Jan Schwinghammer and + Kristian St{\o}vring}, + title = {First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the + Topos of Trees}, + booktitle = lics11, + pages = {55--64}, + year = {2011}, + url = {http://dx.doi.org/10.1109/LICS.2011.16}, +} + +@inproceedings{DBLP:conf/icfp/2011, + editor = {Manuel M. T. Chakravarty and + Zhenjiang Hu and + Olivier Danvy}, + title = icfp11, + year = {2011}, + isbn = {978-1-4503-0865-6}, +} + +@inproceedings{DBLP:conf/lics/KrishnaswamiB11, + author = {Neelakantan R. Krishnaswami and + Nick Benton}, + title = {Ultrametric Semantics of Reactive Programs}, + booktitle = lics11, + pages = {257--266}, + year = {2011}, + url = {http://dx.doi.org/10.1109/LICS.2011.38}, +} + +@article{csiszarS04, +url = {http://dx.doi.org/10.1561/0100000004}, +year = {2004}, +volume = {1}, +journal = {Foundations and Trends® in Communications and Information Theory}, +title = {Information Theory and Statistics: {A} Tutorial}, +doi = {10.1561/0100000004}, +issn = {1567-2190}, +number = {4}, +pages = {417--528}, +author = {I. Csiszár and P. C. Shields}, +publisher = now +} + +@article{DBLP:journals/entcs/BaierK97, + author = {Christel Baier and + Marta Z. Kwiatkowska}, + title = {Domain equations for probabilistic processes}, + journal = entcs, + volume = {7}, + pages = {34--54}, + year = {1997}, + url = {http://dx.doi.org/10.1016/S1571-0661(05)80465-7}, + publisher = elsevier, +} + +@article{DBLP:journals/entcs/HartogVB00, + author = {den Hartog, Jerry and + de Vink, Erik P. and + de Bakker, J. W.}, + title = {Metric Semantics and Full Abstractness for Action Refinement and Probabilistic + Choice}, + journal = entcs, + volume = {40}, + pages = {72--99}, + year = {2000}, + url = {http://dx.doi.org/10.1016/S1571-0661(05)80038-6}, + publisher = elsevier, +} + +@inproceedings{DBLP:conf/lics/DesharnaisJGP02, + author = {Josee Desharnais and + Radha Jagadeesan and + Vineet Gupta and + Prakash Panangaden}, + title = {The Metric Analogue of Weak Bisimulation for Probabilistic Processes}, + booktitle = lics02, + pages = {413--422}, + year = {2002}, + url = {http://dx.doi.org/10.1109/LICS.2002.1029849}, +} + +@Unpublished{PlotkinGD:lecppf, + author = "Gordon Plotkin", + title = "Lectures on Predomains and Partial Functions", + year = "1985", + note = "Notes for a course given at the Center for the Study + of Language and Information, Stanford", +} + +@inproceedings{HaeberlenPN11, + author = {Andreas Haeberlen and + Benjamin C. Pierce and + Arjun Narayan}, + title = {Differential Privacy Under Fire}, + booktitle = usenix11, + year = {2011}, + url = {http://static.usenix.org/events/sec11/tech/full_papers/Haeberlen.pdf}, +} + +@incollection{Jonsson:2001, + Address = {Amsterdam}, + Author = {Jonsson, Bengt and Yi, Wang and Larsen, Kim G.}, + Booktitle = {Handbook of Process Algebra}, + Pages = {685-710}, + Publisher = {Elsevier}, + Title = {Probabilistic Extensions of Process Algebras}, + url = {citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7376}, + Year = {2001}} + +@inproceedings{HoangR10, + author = {Hoang, Viet Tung and + Rogaway, Phillip}, + title = {On Generalized {F}eistel Networks}, + booktitle = crypto10, + series = {Lecture Notes in Computer Science}, + volume = {6223}, + pages = {613--630}, + publisher = springer, + url = {https://eprint.iacr.org/2010/301.pdf}, + year = {2010} +} + +@inproceedings{Mironov02, + author = {Ilya Mironov}, + title = {({N}ot So) Random Shuffles of {RC4}}, + booktitle = crypto02, + series = {Lecture Notes in Computer Science}, + volume = {2442}, + pages = {304--319}, + publisher = springer, + year = {2002}, + url = {https://eprint.iacr.org/2002/067.pdf} +} + +@inproceedings{Barr70, +author={Michael Barr}, +title={Relational algebras}, +editor={Mac Lane, S.}, +booktitle={Reports of the Midwest Category Seminar, {IV}}, +series={Lecture Notes in Mathematics}, +volume={137}, +year={1970}, +pages={39–55}, +url={http://www.math.mcgill.ca/barr/papers/relalgs.pdf}, +publisher=springer +} + +@article{DBLP:journals/corr/ChenM15e, + author = {Yan Chen and + Ashwin Machanavajjhala}, + title = {On the Privacy Properties of Variants on the Sparse Vector Technique}, + journal = {CoRR}, + volume = {abs/1508.07306}, + year = {2015}, + url = {http://arxiv.org/abs/1508.07306}, + timestamp = {Tue, 01 Sep 2015 14:42:40 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/ChenM15e}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@book{royden-analysis, + title={Real Analysis}, + author={Royden, Halsey L. and Fitzpatrick, Patrick}, + isbn={9780131437470}, + lccn={2009048692}, + year={2010}, + edition={Fourth}, + publisher=ph +} + +@book{dijkstra1976discipline, + title={A discipline of programming}, + author={Dijkstra, Edsger W.}, + series={Series in Automatic Computation}, + publisher=ph, + year={1976} +} + +@article{OHEARN2007271, + title = "Resources, concurrency, and local reasoning", + journal = tcs, + volume = "375", + number = "1", + pages = "271--307", + year = "2007", + note = "Festschrift for John C. Reynolds's 70th birthday", + issn = "0304-3975", + doi = "http://dx.doi.org/10.1016/j.tcs.2006.12.035", + author = "Peter W. O'Hearn", + publisher=elsevier +} + +@article{Jones:2003:EST:858595.858602, + author = {Jones, Cliff B.}, + title = {The Early Search for Tractable Ways of Reasoning About Programs}, + journal = {Annals of the History of Computing}, + issue_date = {April 2003}, + volume = {25}, + number = {2}, + month = apr, + year = {2003}, + issn = {1058-6180}, + pages = {26--49}, + numpages = {24}, + url = {https://pdfs.semanticscholar.org/edf2/372be96bc9c1f138e691bf0d222eafc64b55.pdf}, + doi = {10.1109/MAHC.2003.1203057}, + acmid = {858602}, + publisher = ieee, + address = {Piscataway, NJ, USA}, +} + +@article{Apt:1981:TYH:357146.357150, + author = {Apt, Krzysztof R.}, + title = {Ten Years of {H}oare'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}, + numpages = {53}, + 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", + journal = tcs, + volume = "28", + number = "1", + pages = "83--109", + year = "1983", + issn = "0304-3975", + doi = "http://dx.doi.org/10.1016/0304-3975(83)90066-X", + url = "http://www.sciencedirect.com/science/article/pii/030439758390066X", + author = {Apt, Krzysztof R.}, + publisher=elsevier +} + +@article{YANG2007308, + title = "Relational separation logic", + journal = tcs, + volume = "375", + number = "1", + pages = "308--334", + year = "2007", + note = "Festschrift for John C. Reynolds's 70th birthday", + issn = "0304-3975", + doi = "http://dx.doi.org/10.1016/j.tcs.2006.12.036", + url = "http://www.sciencedirect.com/science/article/pii/S0304397506009261", + author = "Hongseok Yang", + publisher=elsevier +} + +@inproceedings{DBLP:conf/pst/EbadiAS16, + author = {Hamid Ebadi and + Thibaud Antignac and + David Sands}, + title = {Sampling and partitioning for differential privacy}, + booktitle = {Conference on Privacy, Security and Trust ({PST}), + Auckland, New Zealand}, + pages = {664--673}, + year = {2016}, + publisher = {{IEEE}}, + url = {https://doi.org/10.1109/PST.2016.7906954}, +} + +@inproceedings{DBLP:conf/popl/EbadiSS15, + author = {Hamid Ebadi and + David Sands and + Gerardo Schneider}, + title = {Differential Privacy: Now it's Getting Personal}, + booktitle = popl15, + pages = {69--81}, + year = {2015}, + url = {http://doi.acm.org/10.1145/2676726.2677005}, +} + +@article{ebadi2016featherweight, + title={Featherweight {PINQ}}, + author={Ebadi, Hamid and Sands, David}, + journal=jpc, + volume={7}, + number={2}, + pages={159--184}, + year={2016} +} + +@inproceedings{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, + volume={7}, + number={8}, + pages={637--648}, + year={2014}, +} + +@inproceedings{palamidessi:hal-00760688, + 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 + Languages ({QAPL}), Tallin, Estonia}, + PUBLISHER = {Open Publishing Association}, + SERIES = eptcs, + VOLUME = {85}, + PAGES = {92--105}, + YEAR = {2012}, + MONTH = Apr, + DOI = {10.4204/EPTCS.85.7}, + PDF = {https://hal.inria.fr/hal-00760688/file/paper.pdf}, + HAL_ID = {hal-00760688}, + HAL_VERSION = {v1}, +} + +@mastersthesis{buch:thesis, + title = {Formalizing Differential Privacy}, + author = {Buch, Mads}, + school = {Aarhus University}, + url = {http://madsbuch.com/thesis}, + year = 2017 +} +