From dc1ae483a2e785a8bcc7cb85a874aa19a67a618e Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 14 Nov 2017 16:06:41 +0000 Subject: [PATCH] Use https for links. --- bibs/myrefs.bib | 834 +++++++++++++++++++++++----------------------- content/about.md | 24 +- content/footer.md | 4 +- 3 files changed, 430 insertions(+), 432 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 24e6dd8..13a0052 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -7,7 +7,7 @@ Hsu, Justin and Katsumata, {Shin-ya}}, year = {2017}, - url = {http://arxiv.org/abs/1710.09010}, + url = {https://arxiv.org/abs/1710.09010}, jh = yes, eprint = {1710.09010}, archivePrefix = {arXiv}, @@ -24,7 +24,7 @@ Strub, {Pierre}-{Yves}}, year = {2017}, jh = yes, - url = {http://justinh.su/files/papers/ellora.pdf}, + url = {https://justinh.su/files/papers/ellora.pdf}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -55,14 +55,14 @@ volume = {7}, number = {2}, pages = {53--77}, - url = {http://arxiv.org/abs/1402.1526}, + url = {https://arxiv.org/abs/1402.1526}, eprint = {1402.1526}, archivePrefix = {arXiv}, primaryClass = {cs.DS}, publisher = bepress, jh = yes, reviewed = yes, - poster = {http://justinh.su/files/posters/dualquery.pdf}, + poster = {https://justinh.su/files/posters/dualquery.pdf}, note = "Previously published in " # icml14 # ", 2014." } @@ -80,13 +80,13 @@ number = {6}, pages = {1953--1984}, doi = {10.1137/15100271X}, - url = {http://arxiv.org/abs/1311.2828}, + url = {https://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}, + poster = {https://justinh.su/files/posters/matchings.pdf}, note = "Previously published in " # stoc14 # ", 2014." } @@ -101,9 +101,8 @@ journal = pacmpl, volume = {2}, number = {POPL}, - pages = {XX}, articleno = {58}, - url = {http://arxiv.org/abs/1709.05361}, + url = {https://arxiv.org/abs/1709.05361}, note = "To appear at " # popl18, reviewed = yes, doi = {10.1145/3158146}, @@ -125,10 +124,9 @@ journal = pacmpl, volume = {2}, number = {POPL}, - pages = {XX}, articleno = {57}, doi = {10.1145/3158145}, - url = {http://arxiv.org/abs/1708.02537}, + url = {https://arxiv.org/abs/1708.02537}, note = "To appear at " # popl18, reviewed = yes, eprint = {1708.02537}, @@ -154,7 +152,7 @@ archivePrefix = {arXiv}, primaryClass = {cs.LO}, doi = {10.4230/LIPIcs.ICALP.2017.102}, - slides = {http://justinh.su/files/slides/star-lifting.pdf}, + slides = {https://justinh.su/files/slides/star-lifting.pdf}, jh = yes, plclub = yes, reviewed = yes, @@ -177,7 +175,7 @@ eprint = {1701.06477}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, - slides = {http://justinh.su/files/slides/unifindep-couple.pdf}, + slides = {https://justinh.su/files/slides/unifindep-couple.pdf}, jh = yes, plclub = yes, reviewed = yes, @@ -192,12 +190,12 @@ booktitle = popl17, pages = {161--174}, year = 2017, - url = {http://arxiv.org/abs/1607.03455}, + url = {https://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}, + slides = {https://justinh.su/files/slides/products.pdf}, jh = yes, plclub = yes, reviewed = yes, @@ -214,7 +212,7 @@ booktitle = popl17, year = 2017, pages = {545--556}, - url = {http://arxiv.org/abs/1702.00374}, + url = {https://arxiv.org/abs/1702.00374}, eprint = {1702.00374}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, @@ -239,12 +237,12 @@ series = lncs, volume = 10123, publisher = springer, - url = {http://arxiv.org/abs/1502.04052}, + url = {https://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}, + slides = {https://justinh.su/files/slides/bic.pdf}, jh = yes, plclub = yes, reviewed = yes, @@ -269,7 +267,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/advanced.pdf}, + slides = {https://justinh.su/files/slides/advanced.pdf}, acceptance = {137/831=0.17}, } @@ -331,7 +329,7 @@ series = lipics, year = 2016, publisher = dagstuhl, - url = {http://arxiv.org/abs/1602.05681}, + url = {https://arxiv.org/abs/1602.05681}, eprint = {1602.05681}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, @@ -352,7 +350,7 @@ booktitle = lics16, pages = {749--758}, year = 2016, - url = {http://arxiv.org/abs/1601.05047}, + url = {https://arxiv.org/abs/1601.05047}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, eprint = {1601.05047}, @@ -360,7 +358,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/approx-couplings.pdf}, + slides = {https://justinh.su/files/slides/approx-couplings.pdf}, acceptance = {85/191=0.44} } @@ -374,7 +372,7 @@ booktitle = stoc16, pages = {440--453}, year = 2016, - url = {http://arxiv.org/abs/1511.00925}, + url = {https://arxiv.org/abs/1511.00925}, eprint = {1511.00925}, archivePrefix = {arXiv}, primaryClass = {cs.GT}, @@ -393,14 +391,14 @@ booktitle = soda16, pages = {580--599}, year = {2016}, - url = {http://arxiv.org/abs/1411.0998}, + url = {https://arxiv.org/abs/1411.0998}, eprint = {1411.0998}, archivePrefix = {arXiv}, primaryClass = {cs.DS}, doi = {10.1137/1.9781611974331.ch43}, jh = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/privdude.pdf}, + slides = {https://justinh.su/files/slides/privdude.pdf}, acceptance = {146/527=0.28}, } @@ -418,7 +416,7 @@ series = lncs, year = 2015, publisher = springer, - url = {http://arxiv.org/abs/1509.03476}, + url = {https://arxiv.org/abs/1509.03476}, eprint = {1509.03476}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, @@ -426,7 +424,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/couplings.pdf}, + slides = {https://justinh.su/files/slides/couplings.pdf}, acceptance = {43/92=0.47}, } @@ -436,7 +434,7 @@ booktitle = hcomp15, pages = {12--21}, year = {2015}, - url = {http://arxiv.org/abs/1508.03593}, + url = {https://arxiv.org/abs/1508.03593}, eprint = {1508.03593}, archivePrefix = {arXiv}, primaryClass = {cs.DS}, @@ -454,12 +452,12 @@ volume = {32}, series = lipics, publisher = dagstuhl, - url = {http://justinh.su/files/papers/theory-ab.pdf}, + url = {https://justinh.su/files/papers/theory-ab.pdf}, doi = {10.4230/LIPIcs.SNAPL.2015.129}, jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/theory-ab.pdf}, + slides = {https://justinh.su/files/slides/theory-ab.pdf}, } @inproceedings{BGGHRS15, @@ -474,7 +472,7 @@ booktitle = popl15, pages = {55--68}, year = {2015}, - url = {http://arxiv.org/abs/1407.6845}, + url = {https://arxiv.org/abs/1407.6845}, eprint = {1407.6845}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, @@ -482,7 +480,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/hoare2.pdf}, + slides = {https://justinh.su/files/slides/hoare2.pdf}, acceptance = {52/227=0.23}, } @@ -497,7 +495,7 @@ pages = {5:1--5:12}, year = {2014}, publisher = acmpress, - url = {http://arxiv.org/abs/1503.04522}, + url = {https://arxiv.org/abs/1503.04522}, eprint = {1503.04522}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, @@ -505,7 +503,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/dfuzz-tc.pdf}, + slides = {https://justinh.su/files/slides/dfuzz-tc.pdf}, } @inproceedings{BGGHKS14, @@ -519,7 +517,7 @@ booktitle = csf14, pages = {411--424}, year = {2014}, - url = {http://arxiv.org/abs/1407.2988}, + url = {https://arxiv.org/abs/1407.2988}, eprint = {1407.2988}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, @@ -542,7 +540,7 @@ booktitle = csf14, pages = {398--410}, year = 2014, - url = {http://arxiv.org/abs/1402.3329}, + url = {https://arxiv.org/abs/1402.3329}, eprint = {1402.3329}, archivePrefix = {arXiv}, primaryClass = {cs.DB}, @@ -550,7 +548,7 @@ jh = yes, plclub = yes, reviewed = yes, - slides = {http://justinh.su/files/slides/epsilon.pdf}, + slides = {https://justinh.su/files/slides/epsilon.pdf}, acceptance = {29/83=0.35}, } @@ -566,14 +564,14 @@ series = lncs, year = {2014}, publisher = springer, - url = {http://arxiv.org/abs/1402.3631}, + url = {https://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}, + slides = {https://justinh.su/files/slides/priv-lp.pdf}, acceptance = {136/477=0.29}, } @@ -590,13 +588,13 @@ inproceedings{GGHRW14, series = pmlr, year = {2014}, reviewed = yes, - url = {http://arxiv.org/abs/1402.1526}, + url = {https://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}, + slides = {https://justinh.su/files/slides/dualquery.pdf}, + poster = {https://justinh.su/files/poser/dualquery.pdf}, acceptance = {310/1238=0.25}, } @@ -611,16 +609,16 @@ inproceedings{HHRRW14, year = {2014}, reviewed = yes, pages = {21--30}, - url = {http://arxiv.org/abs/1311.2828}, + url = {https://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}, + biburl = {https://dblp.uni-trier.de/rec/bib/conf/stoc/HsuHRRW14}, + bibsource = {dblp computer science bibliography, https://dblp.org}, jh = yes, - poster = {http://justinh.su/files/poster/matchings.pdf}, + poster = {https://justinh.su/files/poster/matchings.pdf}, acceptance = {91/319=0.29}, } @@ -632,7 +630,7 @@ inproceedings{HHRRW14, booktitle = icfp13, pages = {275--286}, year = {2013}, - url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, + url = {https://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, doi = {10.1145/2500365.2500599}, jh = yes, plclub = yes, @@ -648,14 +646,14 @@ inproceedings{HHRRW14, booktitle = stoc13, pages = {341--350}, year = {2013}, - url = {http://arxiv.org/abs/1211.0877}, + url = {https://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}, + slides = {https://justinh.su/files/slides/analyst-priv.pdf}, acceptance = {100/360=0.28}, } @@ -668,7 +666,7 @@ inproceedings{HHRRW14, Pierce, Benjamin C.}, booktitle = popl13, pages = {357--370}, - url = {http://dl.acm.org/citation.cfm?id=2429113}, + url = {https://dl.acm.org/citation.cfm?id=2429113}, doi = {10.1145/2429069.2429113}, year = {2013}, jh = yes, @@ -688,7 +686,7 @@ inproceedings{HHRRW14, series = lncs, year = {2012}, publisher = springer, - url = {http://arxiv.org/abs/1202.4910}, + url = {https://arxiv.org/abs/1202.4910}, eprint = {1202.4910}, archivePrefix = {arXiv}, primaryClass = {cs.DS}, @@ -696,7 +694,7 @@ inproceedings{HHRRW14, 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}, + slides = {https://justinh.su/files/slides/heavy-hh.pdf}, acceptance = {123/433=0.28}, } @@ -713,7 +711,7 @@ inproceedings{HHRRW14, year = {2016}, volume = {3}, number = {1}, - url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, + url = {https://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, doi = {10.1145/2893582.2893591}, jh = yes, plclub = yes, @@ -744,8 +742,8 @@ inproceedings{HHRRW14, jh = yes, plclub = yes, reviewed = no, - slides = {http://justinh.su/files/slides/taxes.pdf}, - url = {http://justinh.su/files/papers/taxes.pdf} + slides = {https://justinh.su/files/slides/taxes.pdf}, + url = {https://justinh.su/files/papers/taxes.pdf} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -1114,12 +1112,12 @@ inproceedings{HHRRW14, author = {Kelso, Alexander and Crawford, Vincent}, year = {1982}, pages = {1483--1504}, - url = {http://EconPapers.repec.org/RePEc:ecm:emetrp:v:50:y:1982:i:6:p:1483-1504} + url = {https://EconPapers.repec.org/RePEc:ecm:emetrp:v:50:y:1982:i:6:p:1483-1504} } @article{CSS10, title = {Private and continual release of statistics}, volume = {14}, - url = {http://eprint.iacr.org/2010/076.pdf}, + url = {https://eprint.iacr.org/2010/076.pdf}, number = {3}, urldate = {2013--06--23}, journal = tissec, @@ -1131,7 +1129,7 @@ inproceedings{HHRRW14, @inproceedings{DNPR10, title = {Differential privacy under continual observation}, author = {Dwork, Cynthia and Naor, Moni and Pitassi, Toniann and Rothblum, Guy N.}, - url = {http://www.mit.edu/~rothblum/papers/continalobs.pdf}, + url = {https://www.mit.edu/~rothblum/papers/continalobs.pdf}, booktitle = stoc10, pages = {715--724}, year = {2010}, @@ -1142,21 +1140,21 @@ inproceedings{HHRRW14, author = {Dwork, Cynthia and Naor, Moni and Vadhan, Salil}, booktitle = focs12, pages = {400--409}, - url = {http://projects.iq.harvard.edu/files/privacytools/files/06375318.pdf}, + url = {https://projects.iq.harvard.edu/files/privacytools/files/06375318.pdf}, year = {2012} } @article{PR13, title = {Privacy and Mechanism Design}, author = {Pai, Mallesh and Roth, Aaron}, - url = {http://arxiv.org/abs/1306.2083}, + url = {https://arxiv.org/abs/1306.2083}, journal = sigecom, year = {2013} } @inproceedings{NRS07, title = {Smooth sensitivity and sampling in private data analysis}, - url = {http://www.cse.psu.edu/~asmith/pubs/NRS07/NRS07-full-draft-v1.pdf}, + url = {https://www.cse.psu.edu/~asmith/pubs/NRS07/NRS07-full-draft-v1.pdf}, author = {Nissim, Kobbi and Raskhodnikova, Sofya and Smith, Adam}, booktitle = stoc07, pages = {75--84}, @@ -1169,12 +1167,12 @@ inproceedings{HHRRW14, booktitle = ec14, pages = {771--782}, year = {2014}, - url = {http://arxiv.org/abs/1311.2625} + url = {https://arxiv.org/abs/1311.2625} } @inproceedings{GLMRT10, title = {Differentially private combinatorial optimization}, - url = {http://arxiv.org/abs/0903.4510}, + url = {https://arxiv.org/abs/0903.4510}, author = {Gupta, Anupam and Ligett, Katrina and {McSherry}, Frank and Roth, Aaron and Talwar, Kunal}, booktitle = soda10, @@ -1185,7 +1183,7 @@ inproceedings{HHRRW14, @article{GS99, title = {Walrasian equilibrium with gross substitutes}, author = {Gul, Faruk and Stacchetti, Ennio}, - url = {http://www.princeton.edu/~fgul/walras.pdf}, + url = {https://www.princeton.edu/~fgul/walras.pdf}, journal = jet, volume = {87}, number = {1}, @@ -1198,7 +1196,7 @@ inproceedings{HHRRW14, title = {A learning theory approach to noninteractive database privacy}, author = {Blum, Avrim and Ligett, Katrina and Roth, Aaron}, journal = jacm, - url = {http://arxiv.org/abs/1109.2229}, + url = {https://arxiv.org/abs/1109.2229}, volume = {60}, number = {2}, pages = {12}, @@ -1208,7 +1206,7 @@ inproceedings{HHRRW14, @inproceedings{HR10, title = {A multiplicative weights mechanism for privacy-preserving data analysis}, author = {Hardt, Moritz and Rothblum, Guy N}, - url = {http://www.mit.edu/~rothblum/papers/pmw.pdf}, + url = {https://www.mit.edu/~rothblum/papers/pmw.pdf}, booktitle = focs10, pages = {61--70}, year = {2010}, @@ -1217,7 +1215,7 @@ inproceedings{HHRRW14, @inproceedings{DN03, title = {Revealing information while preserving privacy}, author = {Dinur, Irit and Nissim, Kobbi}, - url = {http://www.cse.psu.edu/~asmith/privacy598/papers/dn03.pdf}, + url = {https://www.cse.psu.edu/~asmith/privacy598/papers/dn03.pdf}, booktitle = pods03, pages = {202--210}, year = {2003}, @@ -1233,14 +1231,14 @@ inproceedings{HHRRW14, number = {3--4}, pages = {211--407}, doi = {10.1561/0400000042}, - url = {http://dx.doi.org/10.1561/0400000042}, + url = {https://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}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/fttcs/DworkR14}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{KPRU14, title = {Mechanism Design in Large Games: Incentives and Privacy}, - url = {http://arxiv.org/abs/1207.4084}, + url = {https://arxiv.org/abs/1207.4084}, author = {Kearns, Michael and Pai, Mallesh and Roth, Aaron and Ullman, Jonathan}, pages = {403--410}, booktitle = itcs14, @@ -1249,7 +1247,7 @@ inproceedings{HHRRW14, @inproceedings{DRV10, title = {Boosting and Differential Privacy}, - url = {http://research.microsoft.com/pubs/155170/dworkrv10.pdf}, + url = {https://research.microsoft.com/pubs/155170/dworkrv10.pdf}, booktitle = focs10, author = {Dwork, Cynthia and Rothblum, Guy N. and Vadhan, Salil}, year = {2010}, @@ -1261,7 +1259,7 @@ inproceedings{HHRRW14, @inproceedings{FPT04, title = {The complexity of pure Nash equilibria}, author = {Fabrikant, Alex and Papadimitriou, Christos and Talwar, Kunal}, - url = {http://research.microsoft.com/pubs/74349/pub10-pure.pdf}, + url = {https://research.microsoft.com/pubs/74349/pub10-pure.pdf}, booktitle = stoc04, pages = {604--612}, year = {2004}, @@ -1271,7 +1269,7 @@ inproceedings{HHRRW14, title = {Potential games}, author = {Monderer, Dov and Shapley, Lloyd S.}, journal = geb, - url = {http://www.cs.bu.edu/~steng/teaching/Fall2008/potential.pdf}, + url = {https://www.cs.bu.edu/~steng/teaching/Fall2008/potential.pdf}, volume = {14}, number = {1}, pages = {124--143}, @@ -1282,7 +1280,7 @@ inproceedings{HHRRW14, @inproceedings{CK05, title = {The price of anarchy of finite congestion games}, author = {Christodoulou, George and Koutsoupias, Elias}, - url = {http://dl.acm.org/citation.cfm?id=1060600}, + url = {https://dl.acm.org/citation.cfm?id=1060600}, booktitle = stoc05, pages = {67--73}, year = {2005}, @@ -1292,7 +1290,7 @@ inproceedings{HHRRW14, title = {The price of routing unsplittable flow}, author = {Awerbuch, Baruch and Azar, Yossi and Epstein, Amir}, booktitle = stoc05, - url = {http://dl.acm.org/citation.cfm?id=1060599}, + url = {https://dl.acm.org/citation.cfm?id=1060599}, pages = {57--66}, year = {2005}, } @@ -1300,7 +1298,7 @@ inproceedings{HHRRW14, @inproceedings{Rou09, title = {Intrinsic robustness of the price of anarchy}, author = {Roughgarden, Tim}, - url = {http://theory.stanford.edu/~tim/papers/robust.pdf}, + url = {https://theory.stanford.edu/~tim/papers/robust.pdf}, booktitle = stoc09, pages = {513--522}, year = {2009}, @@ -1310,7 +1308,7 @@ inproceedings{HHRRW14, title = {Regret minimization and the price of total anarchy}, author = {Blum, Avrim and {HajiAghayi}, {MohammadTaghi} and Ligett, Katrina and Roth, Aaron}, - url = {http://dl.acm.org/citation.cfm?id=1374430}, + url = {https://dl.acm.org/citation.cfm?id=1374430}, booktitle = stoc08, pages = {373--382}, year = {2008}, @@ -1321,7 +1319,7 @@ inproceedings{HHRRW14, author = {Moritz Hardt and Katrina Ligett and Frank {McSherry}}, booktitle = nips12, pages = {2348--2356}, - url = {http://arxiv.org/abs/1012.4763}, + url = {https://arxiv.org/abs/1012.4763}, year = 2012 } @@ -1331,7 +1329,7 @@ inproceedings{HHRRW14, author = {Ullman, Jonathan}, booktitle = stoc13, pages = {361--370}, - url = {http://arxiv.org/abs/1207.6945}, + url = {https://arxiv.org/abs/1207.6945}, year = 2013 } @inproceedings{MT07, @@ -1341,7 +1339,7 @@ inproceedings{HHRRW14, booktitle = focs07, pages = {94--103}, doi = {10.1109/FOCS.2007.66}, - url = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.41}, + url = {https://doi.ieeecomputersociety.org/10.1109/FOCS.2007.41}, year = 2007 } @@ -1350,7 +1348,7 @@ inproceedings{HHRRW14, author = {Freund, Y. and Schapire, R.E.}, booktitle = colt96, pages = {325--332}, - url = {http://dl.acm.org/citation.cfm?id=238163 }, + url = {https://dl.acm.org/citation.cfm?id=238163 }, year = 1996 } @@ -1362,7 +1360,7 @@ inproceedings{HHRRW14, Kobbi Nissim}, booktitle = pods05, pages = {128--138}, - url = {http://research.microsoft.com/pubs/64351/bdmn.pdf}, + url = {https://research.microsoft.com/pubs/64351/bdmn.pdf}, year = 2005 } @@ -1371,7 +1369,7 @@ inproceedings{HHRRW14, author = {Gupta, Anupam and Roth, Aaron and Jonathan Ullman}, booktitle = tcc12, pages = {339--356}, - url = {http://arxiv.org/abs/1107.3731}, + url = {https://arxiv.org/abs/1107.3731}, year = 2012 } @@ -1380,7 +1378,7 @@ inproceedings{HHRRW14, Shmatikov and Emmett Witchel}, title = {Airavat: Security and Privacy for {MapReduce}}, booktitle = nsdi10, - url = {http://dl.acm.org/citation.cfm?id=1855731 }, + url = {https://dl.acm.org/citation.cfm?id=1855731 }, year = 2010 } @@ -1389,7 +1387,7 @@ inproceedings{HHRRW14, booktitle = sigmod09, title = {Privacy Integrated Queries}, pages = {19--30}, - url = {http://research.microsoft.com/pubs/80218/sigmod115-mcsherry.pdf}, + url = {https://research.microsoft.com/pubs/80218/sigmod115-mcsherry.pdf}, doi = {10.1145/1559845.1559850}, year = 2009 } @@ -1398,7 +1396,7 @@ inproceedings{HHRRW14, author = {Zhang, Ning and Li, Ming and Lou, Wenjing}, title = {Distributed Data Mining with Differential Privacy}, booktitle = icc11, - url = {http://dl.acm.org/citation.cfm?id=1835868}, + url = {https://dl.acm.org/citation.cfm?id=1835868}, year = 2011 } @@ -1409,7 +1407,7 @@ inproceedings{HHRRW14, Gehrke, Johannes}, title = {Privacy preserving mining of association rules}, booktitle = kdd02, - url = {http://www.cs.cornell.edu/johannes/papers/2002/kdd2002-privacy.pdf}, + url = {https://www.cs.cornell.edu/johannes/papers/2002/kdd2002-privacy.pdf}, year = 2002 } @@ -1429,7 +1427,7 @@ inproceedings{HHRRW14, number = {5}, year = {2002}, pages = {557--570}, - url = {http://dl.acm.org/citation.cfm?id=774552} + url = {https://dl.acm.org/citation.cfm?id=774552} } @article{aol, @@ -1439,7 +1437,7 @@ inproceedings{HHRRW14, day = 9, month = aug, year = 2006, - url = {http://www.nytimes.com/2006/08/09/technology/09aol.html} + url = {https://www.nytimes.com/2006/08/09/technology/09aol.html} } @inproceedings{NV08, @@ -1449,7 +1447,7 @@ inproceedings{HHRRW14, booktitle = sp08, year = {2008}, pages = {111--125}, - url = {http://arxiv.org/abs/cs/0610105} + url = {https://arxiv.org/abs/cs/0610105} } @inproceedings{BLST10, @@ -1461,7 +1459,7 @@ inproceedings{HHRRW14, booktitle = kdd10, pages = {503--512}, year = 2010, - url = {http://dl.acm.org/citation.cfm?id=1835869} + url = {https://dl.acm.org/citation.cfm?id=1835869} } @inproceedings{CM08, @@ -1470,7 +1468,7 @@ inproceedings{HHRRW14, booktitle = nips08, pages = {289--296}, year = 2008, - url = {http://books.nips.cc/papers/files/nips21/NIPS2008_0964.pdf} + url = {https://books.nips.cc/papers/files/nips21/NIPS2008_0964.pdf} } @inproceedings{CH11, @@ -1480,7 +1478,7 @@ inproceedings{HHRRW14, series = pmlr, volume = {19}, pages = {155--186}, - url = {http://jmlr.org/proceedings/papers/v19/chaudhuri11a/chaudhuri11a.pdf}, + url = {https://jmlr.org/proceedings/papers/v19/chaudhuri11a/chaudhuri11a.pdf}, year = {2011} } @@ -1497,7 +1495,7 @@ inproceedings{HHRRW14, month = nov, year = {2013}, doi = {10.1145/2492061}, - url = {http://software.imdea.org/~bkoepf/papers/toplas13.pdf}, + url = {https://software.imdea.org/~bkoepf/papers/toplas13.pdf}, } @inproceedings{ReedPierce10, @@ -1508,7 +1506,7 @@ inproceedings{HHRRW14, year = 2010, pages = {157--168}, doi = {10.1145/1863543.1863568}, - url = {http://dl.acm.org/citation.cfm?id=1863568} + url = {https://dl.acm.org/citation.cfm?id=1863568} } @inproceedings{winq, @@ -1517,7 +1515,7 @@ inproceedings{HHRRW14, booktitle = wosn12, year = 2012, pages = {13--18}, - url = {http://arxiv.org/abs/1203.3453} + url = {https://arxiv.org/abs/1203.3453} } @article{KLNRS08, @@ -1529,7 +1527,7 @@ inproceedings{HHRRW14, number = {3}, pages = {793--826}, year = {2011}, - url = {http://arxiv.org/abs/0803.0924}, + url = {https://arxiv.org/abs/0803.0924}, } @inproceedings{UV11, @@ -1537,7 +1535,7 @@ inproceedings{HHRRW14, author = {Ullman, Jonathan and Vadhan, Salil}, booktitle = tcc11, pages = {400--416}, - url = {http://eccc.hpi-web.de/report/2010/017/revision/2/download}, + url = {https://eccc.hpi-web.de/report/2010/017/revision/2/download}, year = {2011} } @@ -1552,7 +1550,7 @@ inproceedings{HHRRW14, booktitle = stoc09, pages = {381--390}, year = {2009}, - url = {http://dl.acm.org/citation.cfm?id=1536467} + url = {https://dl.acm.org/citation.cfm?id=1536467} } @article{AHK12, @@ -1563,7 +1561,7 @@ inproceedings{HHRRW14, volume = {8}, number = {1}, pages = {121--164}, - url = {http://tocbeta.cs.uchicago.edu/articles/v008a006/v008a006.pdf}, + url = {https://tocbeta.cs.uchicago.edu/articles/v008a006/v008a006.pdf}, year = {2012} } @@ -1572,7 +1570,7 @@ inproceedings{HHRRW14, author = {Sanjam Garg}, school = {{UCLA}}, year = {2013}, - url = {http://www.cs.ucla.edu/~sanjamg/Sanjam%20Garg_files/sanjam-thesis.pdf} + url = {https://www.cs.ucla.edu/~sanjamg/Sanjam%20Garg_files/sanjam-thesis.pdf} } @inproceedings{GargGentryHalevi13, @@ -1581,7 +1579,7 @@ inproceedings{HHRRW14, booktitle = eucrypt13, pages = {1--17}, year = {2013}, - url = {http://http://eprint.iacr.org/2012/610.pdf} + url = {https://https://eprint.iacr.org/2012/610.pdf} } @article{BonehSilverberg03, @@ -1593,7 +1591,7 @@ inproceedings{HHRRW14, pages = {71--90}, year = {2003}, publisher = {AMS}, - url = {http://https://eprint.iacr.org/2002/080.pdf} + url = {https://https://eprint.iacr.org/2002/080.pdf} } @inproceedings{barak2007privacy, @@ -1603,7 +1601,7 @@ inproceedings{HHRRW14, Satyen and {McSherry}, Frank and Talwar, Kunal}, booktitle = pods07, pages = {273--282}, - url = {http://research.microsoft.com/en-us/projects/DatabasePrivacy/contingency.pdf}, + url = {https://research.microsoft.com/en-us/projects/DatabasePrivacy/contingency.pdf}, year = {2007} } @@ -1613,7 +1611,7 @@ inproceedings{HHRRW14, booktitle = itcs13, pages = {97--110}, year = {2013}, - url = {http://dl.acm.org/citation.cfm?id=2422450} + url = {https://dl.acm.org/citation.cfm?id=2422450} } @article{CMS11, @@ -1623,7 +1621,7 @@ inproceedings{HHRRW14, volume = {12}, pages = {1069--1109}, year = {2011}, - url = {http://jmlr.org/papers/volume12/chaudhuri11a/chaudhuri11a.pdf} + url = {https://jmlr.org/papers/volume12/chaudhuri11a/chaudhuri11a.pdf} } @article{RBHT09, @@ -1636,7 +1634,7 @@ inproceedings{HHRRW14, number = {1}, pages = {4}, year = {2012}, - url = {http://repository.cmu.edu/cgi/viewcontent.cgi?article=1065&context=jpc} + url = {https://repository.cmu.edu/cgi/viewcontent.cgi?article=1065&context=jpc} } @inproceedings{KST12, @@ -1647,7 +1645,7 @@ inproceedings{HHRRW14, volume = {23}, pages = {25.1--25.40}, year = {2012}, - url = {http://jmlr.org/proceedings/papers/v23/kifer12/kifer12.pdf} + url = {https://jmlr.org/proceedings/papers/v23/kifer12/kifer12.pdf} } @inproceedings{CSS12, @@ -1655,7 +1653,7 @@ inproceedings{HHRRW14, author = {Chaudhuri, Kamalika and Sarwate, Anand and Sinha, Kaushik}, booktitle = nips12, pages = {998--1006}, - url = {http://books.nips.cc/papers/files/nips25/NIPS2012_0482.pdf}, + url = {https://books.nips.cc/papers/files/nips25/NIPS2012_0482.pdf}, year = {2012} } @@ -1663,7 +1661,7 @@ inproceedings{HHRRW14, title = {Local privacy and statistical minimax rates}, author = {Duchi, John C and Jordan, Michael I. and Wainwright, Martin J.}, booktitle = focs13, - url = {http://www.cs.berkeley.edu/~jduchi/projects/DuchiJoWa13_focs.pdf}, + url = {https://www.cs.berkeley.edu/~jduchi/projects/DuchiJoWa13_focs.pdf}, year = {2013} } @@ -1673,7 +1671,7 @@ inproceedings{HHRRW14, author = {Thakurta, Abhradeep G. and Smith, Adam}, booktitle = nips13, pages = {2733--2741}, - url = {http://media.nips.cc/nipsbooks/nipspapers/paper_files/nips26/1270.pdf}, + url = {https://media.nips.cc/nipsbooks/nipspapers/paper_files/nips26/1270.pdf}, year = {2013} } @@ -1693,7 +1691,7 @@ inproceedings{HHRRW14, title = {Interactive privacy via the median mechanism}, booktitle = stoc10, pages = {765--774}, - url = {http://arxiv.org/abs/0911.1813}, + url = {https://arxiv.org/abs/0911.1813}, year = 2010 } @@ -1702,7 +1700,7 @@ inproceedings{HHRRW14, author = {Gupta, Anupam and Hardt, Moritz and Roth, Aaron and Ullman, Jonathan}, booktitle = stoc11, pages = {803--812}, - url = {http://arxiv.org/abs/1011.1296}, + url = {https://arxiv.org/abs/1011.1296}, year = {2011} } @@ -1713,7 +1711,7 @@ inproceedings{HHRRW14, series = pmlr, volume = 30, pages = {819--850}, - url = {http://jmlr.org/proceedings/papers/v30/Guha13.pdf}, + url = {https://jmlr.org/proceedings/papers/v30/Guha13.pdf}, year = {2013} } @@ -1723,7 +1721,7 @@ inproceedings{HHRRW14, booktitle = stoc09, pages = {371--380}, year = {2009}, - url = {http://research.microsoft.com/pubs/80239/dl09.pdf}, + url = {https://research.microsoft.com/pubs/80239/dl09.pdf}, } @article{LW94, @@ -1735,7 +1733,7 @@ inproceedings{HHRRW14, pages = {212--261}, year = {1994}, publisher = elsevier, - url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber = 63487} + url = {https://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber = 63487} } @article{PST95, @@ -1756,7 +1754,7 @@ inproceedings{HHRRW14, booktitle = stoc07, pages = {227--236}, year = {2007}, - url = {http://dl.acm.org/citation.cfm?id=1250823} + url = {https://dl.acm.org/citation.cfm?id=1250823} } @inproceedings{CHRMM10, @@ -1766,7 +1764,7 @@ inproceedings{HHRRW14, booktitle = pods10, pages = {123--134}, year = {2010}, - url = {http://arxiv.org/abs/0912.4742} + url = {https://arxiv.org/abs/0912.4742} } @article{LM12, @@ -1778,7 +1776,7 @@ inproceedings{HHRRW14, number = {6}, pages = {514--525}, year = {2012}, - url = {http://arxiv.org/abs/1202.3807} + url = {https://arxiv.org/abs/1202.3807} } @@ -1792,7 +1790,7 @@ inproceedings{HHRRW14, booktitle = icde13, year = {2013}, pages = {745--756}, - url = {http://doi.ieeecomputersociety.org/10.1109/ICDE.2013.6544871} + url = {https://doi.ieeecomputersociety.org/10.1109/ICDE.2013.6544871} } @inproceedings{CV13, @@ -1802,7 +1800,7 @@ inproceedings{HHRRW14, booktitle = nips13, pages = {2652--2660}, year = {2013}, - url = {http://papers.nips.cc/paper/5014-a-stability-based-validation-procedure-for-differentially-private-machine-learning.pdf} + url = {https://papers.nips.cc/paper/5014-a-stability-based-validation-procedure-for-differentially-private-machine-learning.pdf} } @article{HW01, @@ -1811,7 +1809,7 @@ inproceedings{HHRRW14, journal = jmlr, volume = {1}, pages = {281--309}, - url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.7354&rep=rep1&type=pdf}, + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.7354&rep=rep1&type=pdf}, year = {2001} } @@ -1821,7 +1819,7 @@ inproceedings{HHRRW14, booktitle = tamc08, pages = {1--19}, year = {2008}, - url = {http://research.microsoft.com/apps/pubs/default.aspx?id=74339}, + url = {https://research.microsoft.com/apps/pubs/default.aspx?id=74339}, publisher = springer } @@ -1830,7 +1828,7 @@ inproceedings{HHRRW14, author = {Narayanan, Arvind and Shmatikov, Vitaly}, booktitle = sp09, pages = {173--187}, - url = {http://arxiv.org/abs/0903.3276}, + url = {https://arxiv.org/abs/0903.3276}, year = {2009} } @@ -1841,7 +1839,7 @@ inproceedings{HHRRW14, booktitle = socg14, pages = {261}, year = {2014}, - url = {http://arxiv.org/abs/1308.1385} + url = {https://arxiv.org/abs/1308.1385} } @inproceedings{TUV12, @@ -1850,7 +1848,7 @@ inproceedings{HHRRW14, booktitle = icalp12, pages = {810--821}, year = {2012}, - url = {http://arxiv.org/abs/1205.1758} + url = {https://arxiv.org/abs/1205.1758} } @article{GHRU13, @@ -1862,7 +1860,7 @@ inproceedings{HHRRW14, number = {4}, pages = {1494--1520}, year = {2013}, - url = {http://epubs.siam.org/doi/abs/10.1137/110857714} + url = {https://epubs.siam.org/doi/abs/10.1137/110857714} } @inproceedings{DunfieldP04, @@ -1872,7 +1870,7 @@ inproceedings{HHRRW14, booktitle = popl04, pages = {281--292}, year = 2004, - url = {http://www.cs.cmu.edu/~joshuad/papers/tridirectional-typechecking/Dunfield04_tridirectional.pdf} + url = {https://www.cs.cmu.edu/~joshuad/papers/tridirectional-typechecking/Dunfield04_tridirectional.pdf} } @@ -1885,7 +1883,7 @@ inproceedings{HHRRW14, pages = {40--51}, year = {1992}, publisher = {IEEE}, - url = {http://www-public.int-evry.fr/~gibson/Teaching/CSC7322/ReadingMaterial/Meyer92.pdf} + url = {https://www-public.int-evry.fr/~gibson/Teaching/CSC7322/ReadingMaterial/Meyer92.pdf} } @inproceedings{Vazou+14:ICFP, @@ -1894,7 +1892,7 @@ author = {N. Vazou and E. L. Seidel and R. Jhala and D. Vytiniotis and title = {{Refinement Types for Haskell}}, booktitle = icfp14, year = {2014}, -url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} +url = {https://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} } @inproceedings{NR99, @@ -1903,7 +1901,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} booktitle = stoc99, pages = {129--140}, year = {1999}, - url = {http://www.cs.yale.edu/homes/jf/nisan-ronen.pdf} + url = {https://www.cs.yale.edu/homes/jf/nisan-ronen.pdf} } @book{NRTV07, @@ -1922,7 +1920,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} pages = {1245--1270}, year = {2008}, publisher = elsevier, - url = {http://www.cs.cmu.edu/~ninamf/papers/ml_md_bbhm.pdf} + url = {https://www.cs.cmu.edu/~ninamf/papers/ml_md_bbhm.pdf} } @inproceedings{DD09, @@ -1930,7 +1928,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} author = {Dobzinski, Shahar and Dughmi, Shaddin}, booktitle = focs09, pages = {505--514}, - url = {http://arxiv.org/abs/0904.4193} + url = {https://arxiv.org/abs/0904.4193} } @article{DugR14, @@ -1941,7 +1939,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} number = {1}, pages = {312--336}, year = {2014}, - url = {http://theory.stanford.edu/~tim/papers/blackbox.pdf} + url = {https://theory.stanford.edu/~tim/papers/blackbox.pdf} } @inproceedings{CIL12, @@ -1949,7 +1947,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} author = {Chawla, Shuchi and Immorlica, Nicole and Lucier, Brendan}, booktitle = stoc12, year = {2012}, - url = {http://arxiv.org/abs/1109.2067} + url = {https://arxiv.org/abs/1109.2067} } @inproceedings{HL10, @@ -1958,7 +1956,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} booktitle = stoc10, pages = {301--310}, year = {2010}, - url = {http://arxiv.org/abs/0909.4756} + url = {https://arxiv.org/abs/0909.4756} } @inproceedings{Ramsey:2002, @@ -1967,7 +1965,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} Pages = {154--165}, Title = {Stochastic lambda calculus and monads of probability distributions}, Year = {2002}, - url = {http://www.cs.tufts.edu/~nr/pubs/pmonad.pdf} + url = {https://www.cs.tufts.edu/~nr/pubs/pmonad.pdf} } @@ -1990,7 +1988,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} Title = {Probabilistic guarded commands mechanized in {HOL}}, Volume = {346}, Year = {2005}, - url = {http://www.cse.unsw.edu.au/~carrollm/probs/Papers/Hurd-05.pdf} + url = {https://www.cse.unsw.edu.au/~carrollm/probs/Papers/Hurd-05.pdf} } @book{McIver:2005, @@ -2010,7 +2008,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} booktitle = esop11, year = {2011}, pages = {77--96}, - url = {http://cis.upenn.edu/~mgree/papers/esop2011_mts.pdf} + url = {https://cis.upenn.edu/~mgree/papers/esop2011_mts.pdf} } @inproceedings{Kiselyov:2009, @@ -2037,7 +2035,7 @@ url = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf} booktitle = pldi14, pages = {14}, year = {2014}, - url = {http://research.microsoft.com/pubs/211410/passert-pldi2014.pdf} + url = {https://research.microsoft.com/pubs/211410/passert-pldi2014.pdf} } @Inproceedings {Bornholt+14, @@ -2045,7 +2043,7 @@ 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}, -url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf} +url = {https://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf} } @@ -2072,7 +2070,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf title = "Refinement types for secure implementations", booktitle = csf08, year = 2008, - url = {http://prosecco.gforge.inria.fr/personal/karthik/pubs/refinement-types-for-secure-implementations-proceedings-csf08.pdf} + url = {https://prosecco.gforge.inria.fr/personal/karthik/pubs/refinement-types-for-secure-implementations-proceedings-csf08.pdf} } @@ -2081,7 +2079,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf title = {Secure distributed programming with value-dependent types}, booktitle = icfp11, year = 2011, - url = {http://research.microsoft.com/pubs/150012/icfp-camera-ready.pdf} + url = {https://research.microsoft.com/pubs/150012/icfp-camera-ready.pdf} } @@ -2091,7 +2089,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf booktitle = pldi08, pages = {159--169}, year = {2008}, - url = {http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf} + url = {https://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf} } @inproceedings{rfstar, @@ -2106,7 +2104,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf pages = {193--206}, year = {2014}, doi = {10.1145/2535838.2535847}, - url = {http://research.microsoft.com/en-us/um/people/nswamy/papers/rfstar.pdf} + url = {https://research.microsoft.com/en-us/um/people/nswamy/papers/rfstar.pdf} } @INPROCEEDINGS{polymonad, @@ -2114,7 +2112,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf AUTHOR = {Michael Hicks and Gavin Bierman and Nataliya Guts and Daan Leijen and Nikhil Swamy}, BOOKTITLE = mfps14, YEAR = 2014, - url = {http://arxiv.org/abs/1406.2060} + url = {https://arxiv.org/abs/1406.2060} } @@ -2124,7 +2122,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf Pages = {1--12}, Title = {Differential Privacy}, Year = {2006}, - url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.7534&rep=rep1&type=pdf} + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.7534&rep=rep1&type=pdf} } @inproceedings{Benton04, @@ -2134,7 +2132,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf 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} + url = {https://research.microsoft.com/en-us/um/people/nick/correctnessfull.pdf} } @inproceedings{AmtoftB04, @@ -2147,7 +2145,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf series = lncs, volume = {3148}, year = {2004}, - url = {http://software.imdea.org/~ab/Publications/ifalftr.pdf} + url = {https://software.imdea.org/~ab/Publications/ifalftr.pdf} } @inproceedings{BartheGZ09, @@ -2159,7 +2157,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf 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} + url = {https://research.microsoft.com/pubs/185309/Zanella.2009.POPL.pdf} } @inproceedings{BartheDGKZ13, @@ -2172,7 +2170,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf booktitle = csf13, year = {2013}, pages = {287--301}, - url = {http://www0.cs.ucl.ac.uk/staff/G.Danezis/papers/easypriv.pdf} + url = {https://www0.cs.ucl.ac.uk/staff/G.Danezis/papers/easypriv.pdf} } @@ -2188,7 +2186,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf volume = {147}, year = {2014}, pages = {123--132}, - url = {http://dx.doi.org/10.4204/EPTCS.147.9}, + url = {https://dx.doi.org/10.4204/EPTCS.147.9}, } @@ -2201,7 +2199,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf booktitle = {FACS}, year = {2013}, pages = {23--40}, - url = {http://dx.doi.org/10.1007/978--3-319--07602--7_4}, + url = {https://dx.doi.org/10.1007/978--3-319--07602--7_4}, publisher = springer, series = lncs, volume = {8348}, @@ -2215,7 +2213,7 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf booktitle = ceemas07, year = {2007}, pages = {288--297}, - url = {http://dx.doi.org/10.1007/978--3-540--75254--7_29}, + url = {https://dx.doi.org/10.1007/978--3-540--75254--7_29}, publisher = springer, series = lncs, volume = {4696}, @@ -2229,8 +2227,8 @@ url = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf number = {2}, year = {2006}, pages = {46--51}, - url = {http://dx.doi.org/10.1016/j.ipl.2005.09.010}, - bibsource = {DBLP, http://dblp.uni-trier.de} + url = {https://dx.doi.org/10.1016/j.ipl.2005.09.010}, + bibsource = {DBLP, https://dblp.uni-trier.de} } @@ -2249,7 +2247,7 @@ title = {{A Typed Truthful Language for One-dimensional Truthful Mechan number = {BUCS-TR-2008--026}, year = {2008}, institution = {Boston University}, -url = {http://cs-people.bu.edu/lapets/resource/typed-ec-mech.pdf} +url = {https://cs-people.bu.edu/lapets/resource/typed-ec-mech.pdf} } @misc{Fang14, @@ -2265,7 +2263,7 @@ year = {2014} title = {Combining Proofs and Programs in a Dependently Typed Langauge}, booktitle = popl14, year = {2014}, - url = {http://www.seas.upenn.edu/~ccasin/papers/combining-TR.pdf} + url = {https://www.seas.upenn.edu/~ccasin/papers/combining-TR.pdf} } @inproceedings{DBLP:conf/mkm/0002CKMRWW13, @@ -2284,7 +2282,7 @@ year = {2014} volume = {7961}, year = {2013}, pages = {200--215}, - url = {http://dx.doi.org/10.1007/978--3-642--39320--4_13} + url = {https://dx.doi.org/10.1007/978--3-642--39320--4_13} } @article{DBLP:journals/cacm/ChaudhuriGL12, @@ -2297,7 +2295,7 @@ year = {2014} number = {8}, year = {2012}, pages = {107--115}, - url = {http://dl.acm.org/citation.cfm?id=2240262} + url = {https://dl.acm.org/citation.cfm?id=2240262} } @article{BartheDR04, @@ -2312,7 +2310,7 @@ year = {2014} year = {2011}, publisher = cup, doi = {10.1017/S0960129511000193}, - url = {http://www-sop.inria.fr/lemme/Tamara.Rezk/publication/Barthe-DArgenio-Rezk-Journal.pdf} + url = {https://www-sop.inria.fr/lemme/Tamara.Rezk/publication/Barthe-DArgenio-Rezk-Journal.pdf} } @inproceedings{ZaksP08, @@ -2325,7 +2323,7 @@ year = {2014} volume = {5014}, year = {2008}, doi = {10.1007/978-3-540-68237-0_5}, - url = {http://llvm.org/pubs/2008-05-CoVaC.pdf} + url = {https://llvm.org/pubs/2008-05-CoVaC.pdf} } @@ -2339,7 +2337,7 @@ year = {2014} Volume = {3672}, Year = {2005}, doi = {10.1007/11547662_24}, - url = {http://theory.stanford.edu/~aiken/publications/papers/sas05b.pdf} + url = {https://theory.stanford.edu/~aiken/publications/papers/sas05b.pdf} } @@ -2354,7 +2352,7 @@ year = {2014} series = lncs, volume = 6664, publisher = springer, - url = {http://software.imdea.org/~ckunz/rellog/long-rellog.pdf}, + url = {https://software.imdea.org/~ckunz/rellog/long-rellog.pdf}, doi = {10.1007/978-3-642-21437-0_17} } @@ -2371,8 +2369,8 @@ year = {2014} 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} + url = {https://dx.doi.org/10.1007/978--3-642--35722--0_3}, + bibsource = {DBLP, https://dblp.uni-trier.de} } @@ -2382,7 +2380,7 @@ year = {2014} booktitle = esop07, year = {2007}, pages = {505--519}, - url = {http://users.soe.ucsc.edu/~cormac/papers/esop07.pdf} + url = {https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf} } @inproceedings{DBLP:conf/esop/WadlerF09, @@ -2391,7 +2389,7 @@ year = {2014} booktitle = esop09, year = {2009}, pages = {1--16}, - url = {http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame.pdf} + url = {https://homepages.inf.ed.ac.uk/wadler/papers/blame/blame.pdf} } @inproceedings{DBLP:conf/popl/GreenbergPW10, @@ -2400,7 +2398,7 @@ year = {2014} booktitle = popl10, year = {2010}, pages = {353--364}, - url = {http://www.cis.upenn.edu/~bcpierce/papers/contracts-popl.pdf} + url = {https://www.cis.upenn.edu/~bcpierce/papers/contracts-popl.pdf} } @inproceedings{DBLP:conf/sfp/GronskiF07, @@ -2436,7 +2434,7 @@ year = {2014} year = {2002}, pages = {48--59}, url = - {http://www.eecs.northwestern.edu/~robby/pubs/papers/ho-contracts-techreport.pdf} + {https://www.eecs.northwestern.edu/~robby/pubs/papers/ho-contracts-techreport.pdf} } @INPROCEEDINGS{Augustsson98, @@ -2445,7 +2443,7 @@ year = {2014} booktitle = icfp98, year = {1998}, pages = {239--250}, - url = {http://link.springer.com/chapter/10.1007%2F10704973_6} + url = {https://link.springer.com/chapter/10.1007%2F10704973_6} } @@ -2458,7 +2456,7 @@ year = {2014} number = {5}, year = {2013}, pages = {552--593}, - url = {http://eb.host.cs.st-andrews.ac.uk/drafts/impldtp.pdf} + url = {https://eb.host.cs.st-andrews.ac.uk/drafts/impldtp.pdf} } @incollection{epigram, @@ -2468,14 +2466,14 @@ year = {2014} pages = {130--170}, year = {2005}, publisher = springer, - url = {http://cs.ru.nl/~freek/courses/tt-2010/tvftl/epigram-notes.pdf} + url = {https://cs.ru.nl/~freek/courses/tt-2010/tvftl/epigram-notes.pdf} } @inproceedings{Vytiniotis+13, author = {Vytiniotis, Dimitrios and Peyton Jones, Simon and Claessen, Koen and Ros{\'e}n, Dan}, title = {HALO: Haskell to Logic Through Denotational Semantics}, booktitle = popl13, year = {2013}, - url = {http://research.microsoft.com/en-us/people/dimitris/hcc-popl.pdf} + url = {https://research.microsoft.com/en-us/people/dimitris/hcc-popl.pdf} } @INPROCEEDINGS{Flanagan06, @@ -2484,7 +2482,7 @@ year = {2014} booktitle = {Scheme and Functional Programming Workshop}, year = {2006}, pages = {93--104}, - url = {http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf} + url = {https://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf} } @inproceedings{EignerM13, @@ -2494,7 +2492,7 @@ year = {2014} booktitle = csf13, year = {2013}, pages = {272--286}, - url = {http://sps.cs.uni-saarland.de/publications/dp_proto_long.pdf} + url = {https://sps.cs.uni-saarland.de/publications/dp_proto_long.pdf} } @@ -2507,7 +2505,7 @@ year = {2014} booktitle = icse14, year = {2014}, pages = {167--181}, - url = {http://research.microsoft.com/pubs/208585/fose-icse2014.pdf} + url = {https://research.microsoft.com/pubs/208585/fose-icse2014.pdf} } @inproceedings{DaviesP00, author = {Rowan Davies and @@ -2516,7 +2514,7 @@ year = {2014} booktitle = icfp00, year = {2000}, pages = {198--208}, - url = {http://www.cs.cmu.edu/~fp/papers/icfp00.pdf} + url = {https://www.cs.cmu.edu/~fp/papers/icfp00.pdf} } @inproceedings{XiP99, @@ -2526,7 +2524,7 @@ year = {2014} booktitle = popl99, year = {1999}, pages = {214--227}, - url = {http://www.cs.cmu.edu/~fp/papers/popl99.pdf} + url = {https://www.cs.cmu.edu/~fp/papers/popl99.pdf} } @inproceedings{DMNS06, @@ -2554,7 +2552,7 @@ year = {2014} volume = 276, pages = {61--79}, year = 2011, - url = {http://arxiv.org/pdf/1101.2819v1}, + url = {https://arxiv.org/pdf/1101.2819v1}, doi = {10.1016/j.entcs.2011.09.015}, publisher = elsevier } @@ -2568,7 +2566,7 @@ year = {2014} number = {2}, year = {2006}, pages = {242--269}, - url = {http://www.ime.usp.br/~yw/papers/games/goldberg2008-competitive-auctions.pdf}, + url = {https://www.ime.usp.br/~yw/papers/games/goldberg2008-competitive-auctions.pdf}, publisher = {Elsevier} } @@ -2580,7 +2578,7 @@ year = {2014} number = {2}, pages = {612--631}, year = {2008}, - url = {http://authors.library.caltech.edu/13158/1/MUAgeb08preprint.pdf}, + url = {https://authors.library.caltech.edu/13158/1/MUAgeb08preprint.pdf}, publisher = {Elsevier} } @@ -2590,7 +2588,7 @@ year = {2014} booktitle = ec14, pages = {185--186}, year = {2014}, - url = {http://web.stanford.edu/~isegal/heuristic.pdf} + url = {https://web.stanford.edu/~isegal/heuristic.pdf} } @article{CKRW14, @@ -2602,10 +2600,10 @@ year = {2014} journal = {CoRR}, year = {2014}, volume = {abs/1407.7740}, - url = {http://arxiv.org/abs/1407.7740}, + url = {https://arxiv.org/abs/1407.7740}, timestamp = {Sun, 26 Oct 2014 15:36:31 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/CummingsKRW14}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/CummingsKRW14}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{HK12, @@ -2614,7 +2612,7 @@ year = {2014} booktitle = focs12, pages = {140--149}, year = {2012}, - url = {http://arxiv.org/abs/1204.1255} + url = {https://arxiv.org/abs/1204.1255} } @inproceedings{zinkevich, @@ -2623,10 +2621,10 @@ year = {2014} booktitle = icml03, year = {2003}, pages = {928--936}, - url = {http://www.aaai.org/Library/ICML/2003/icml03-120.php}, + url = {https://www.aaai.org/Library/ICML/2003/icml03-120.php}, timestamp = {Thu, 16 Oct 2014 21:45:09 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/icml/Zinkevich03}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/icml/Zinkevich03}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{JKT11, @@ -2634,7 +2632,7 @@ year = {2014} author = {Jain, Prateek and Kothari, Pravesh and Thakurta, Abhradeep Guha}, eprint = {1109.0105}, year = {2011}, - url = {http://arxiv.org/abs/1109.0105} + url = {https://arxiv.org/abs/1109.0105} } @inproceedings{JT14, @@ -2645,7 +2643,7 @@ year = {2014} volume = 32, pages = {476--484}, year = {2014}, - url = {http://jmlr.org/proceedings/papers/v32/jain14.pdf} + url = {https://jmlr.org/proceedings/papers/v32/jain14.pdf} } @inproceedings{BST14, @@ -2654,7 +2652,7 @@ year = {2014} author = {Bassily, Raef and Smith, Adam and Thakurta, Abhradeep Guha}, booktitle = focs14, year = {2014}, - url = {http://arxiv.org/abs/1405.7085} + url = {https://arxiv.org/abs/1405.7085} } @article{dualdecomp, @@ -2677,7 +2675,7 @@ year = {2014} booktitle = itcs12, pages = {203--213}, year = {2012}, - url = {http://arxiv.org/abs/1004.2888} + url = {https://arxiv.org/abs/1004.2888} } @inproceedings{CCKMV13, @@ -2686,7 +2684,7 @@ year = {2014} booktitle = ec13, pages = {215--232}, year = {2013}, - url = {http://arxiv.org/abs/1111.5472} + url = {https://arxiv.org/abs/1111.5472} } @inproceedings{Xia13, @@ -2703,7 +2701,7 @@ year = {2014} author = {Ishtiaq, Samin S and O'Hearn, Peter W}, booktitle = popl01, year = 2001, - url = {http://dl.acm.org/citation.cfm?id=375719}, + url = {https://dl.acm.org/citation.cfm?id=375719}, pages = {14--26} } @@ -2716,7 +2714,7 @@ year = {2014} 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}, + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.1331&rep=rep1&type=pdf}, pages = {1--19} } @@ -2725,7 +2723,7 @@ year = {2014} author = {Distefano, Dino and O'Hearn, Peter W and Yang, Hongseok}, booktitle = tacas06, year = 2006, - url = {http://dl.acm.org/citation.cfm?id=2182039}, + url = {https://dl.acm.org/citation.cfm?id=2182039}, pages = {287--302} } @@ -2736,7 +2734,7 @@ year = {2014} Hongseok}, booktitle = cav07, pages = {178--192}, - url = {http://research.microsoft.com/pubs/73868/safcds.pdf}, + url = {https://research.microsoft.com/pubs/73868/safcds.pdf}, year = {2007} } @@ -2747,7 +2745,7 @@ year = {2014} volume = {2}, number = {1}, year = 2001, - url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.5999&rep=rep1&type=pdf}, + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.5999&rep=rep1&type=pdf}, pages = {303--321}, publisher = {Palgrave}, series = {Cornerstones of Computing}, @@ -2778,7 +2776,7 @@ year = {2014} author = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W}, booktitle = fmco06, pages = {115--137}, - url = {http://research.microsoft.com/pubs/67598/smallfoot.pdf}, + url = {https://research.microsoft.com/pubs/67598/smallfoot.pdf}, year = {2006} } @@ -2787,7 +2785,7 @@ year = {2014} author = {Vafeiadis, Viktor and Parkinson, Matthew}, booktitle = concur07, pages = {256--271}, - url = {http://www.cl.cam.ac.uk/~mjp41/RGSep.pdf}, + url = {https://www.cl.cam.ac.uk/~mjp41/RGSep.pdf}, year = 2007 } @@ -2796,7 +2794,7 @@ year = {2014} author = {Nguyen, Huu Hai and David, Cristina and Qin, Shengchao and Chin, Wei-Ngan}, booktitle = vmcai07, pages = {251--266}, - url = {http://link.springer.com/chapter/10.1007%2F978-3-540-69738-1_18}, + url = {https://link.springer.com/chapter/10.1007%2F978-3-540-69738-1_18}, year = {2007} } @@ -2805,7 +2803,7 @@ year = {2014} author = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W}, booktitle = fsttcs04, pages = {97--109}, - url = {http://research.microsoft.com/pubs/73583/unroll_collapse.pdf}, + url = {https://research.microsoft.com/pubs/73583/unroll_collapse.pdf}, year = 2004 } @@ -2814,7 +2812,7 @@ year = {2014} author = {Hobor, Aquinas and Appel, Andrew W and Nardelli, Francesco Zappa}, booktitle = {Programming Languages and Systems (with ESOP)}, pages = {353--367}, - url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.4226&rep=rep1&type=pdf}, + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.4226&rep=rep1&type=pdf}, year = {2008} } @@ -2823,7 +2821,7 @@ year = {2014} author = {Krebbers, Robbert}, booktitle = popl14, pages = {101--112}, - url = {http://robbertkrebbers.nl/research/articles/expressions.pdf}, + url = {https://robbertkrebbers.nl/research/articles/expressions.pdf}, year = {2014} } @@ -2832,7 +2830,7 @@ year = {2014} author = {O'Hearn, Peter W and Pym, David J}, journal = bsl, pages = {215--244}, - url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.27.4742&rep=rep1&type=pdf}, + url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.27.4742&rep=rep1&type=pdf}, year = {1999} } @@ -2844,7 +2842,7 @@ year = {2014} number = {1}, pages = {257--305}, year = {2004}, - url = {http://www.sciencedirect.com/science/article/pii/S0304397503006248}, + url = {https://www.sciencedirect.com/science/article/pii/S0304397503006248}, publisher = {Elsevier} } @@ -2852,7 +2850,7 @@ year = {2014} title = {Symbolic execution with separation logic}, author = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W}, booktitle = aplas05, - url = {http://research.microsoft.com/pubs/64175/execution.pdf}, + url = {https://research.microsoft.com/pubs/64175/execution.pdf}, year = {2005} } @@ -2863,7 +2861,7 @@ year = {2014} author = {Cousot, Patrick and Cousot, Radhia}, booktitle = popl77, pages = {238--252}, - url = {http://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf}, + url = {https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf}, year = {1977} } @@ -2875,7 +2873,7 @@ year = {2014} number = {2}, pages = {324--328}, year = {1996}, - url = {http://dl.acm.org/citation.cfm?id=234740}, + url = {https://dl.acm.org/citation.cfm?id=234740}, } @inproceedings{dwork2010pan, @@ -2887,7 +2885,7 @@ year = {2014} Yekhanin, Sergey}, booktitle = itcs10, pages = {66--80}, - url = {http://www.cs.toronto.edu/~toni/Papers/panprivacy.pdf}, + url = {https://www.cs.toronto.edu/~toni/Papers/panprivacy.pdf}, year = {2010} } @@ -2897,7 +2895,7 @@ year = {2014} booktitle = kdd09, pages = {627--636}, year = {2009}, - url = {http://research.microsoft.com/pubs/80511/netflixprivacy.pdf} + url = {https://research.microsoft.com/pubs/80511/netflixprivacy.pdf} } @book{cvxbook, @@ -2945,7 +2943,7 @@ year = {2014} booktitle = pldi14, pages = {112--122}, year = {2014}, - url = {http://doi.acm.org/10.1145/2594291.2594294}, + url = {https://doi.acm.org/10.1145/2594291.2594294}, } @article{alea, @@ -2970,7 +2968,7 @@ year = {2014} booktitle = pldi14, pages = {14}, year = {2014}, - url = {http://doi.acm.org/10.1145/2594291.2594294}, + url = {https://doi.acm.org/10.1145/2594291.2594294}, } @inproceedings{DBLP:conf/pldi/CarbinKMR12, author = {Michael Carbin and @@ -2982,7 +2980,7 @@ year = {2014} booktitle = pldi12, pages = {169--180}, year = {2012}, - url = {http://doi.acm.org/10.1145/2254064.2254086}, + url = {https://doi.acm.org/10.1145/2254064.2254086}, } @InProceedings{Necula97, @@ -3005,8 +3003,8 @@ year = {2014} publisher = springer, series = lncs, volume = {6841}, - url = {http://software.imdea.org/~szanella/Zanella.2011.CRYPTO.pdf}, - bibsource = {DBLP, http://dblp.uni-trier.de} + url = {https://software.imdea.org/~szanella/Zanella.2011.CRYPTO.pdf}, + bibsource = {DBLP, https://dblp.uni-trier.de} } @inproceedings{flanagan2001, @@ -3085,7 +3083,7 @@ verification conditions}, title = "Checking a Large Routine", pages = "67--69", year = "1949", - URL = "http://www.turingarchive.org/browse.php/B/8", + URL = "https://www.turingarchive.org/browse.php/B/8", booktitle = "{Report on a Conference on High Speed Automatic Computation, June 1949}", } @@ -3224,7 +3222,7 @@ pages = {197--214}, year = {2014}, pages = {123--132}, doi = {10.4204/EPTCS.147.9}, - url = {http://dx.doi.org/10.4204/EPTCS.147.9}, + url = {https://dx.doi.org/10.4204/EPTCS.147.9}, } @incollection{DBLP:conf/mkm/0002CKMRWW13, @@ -3243,7 +3241,7 @@ pages = {197--214}, volume = {7961}, year = {2013}, pages = {200--215}, - url = {http://dx.doi.org/10.1007/978--3-642--39320--4_13}, + url = {https://dx.doi.org/10.1007/978--3-642--39320--4_13}, publisher = springer } @@ -3255,8 +3253,8 @@ pages = {197--214}, number = {2}, year = {2006}, pages = {46--51}, - url = {http://dx.doi.org/10.1016/j.ipl.2005.09.010}, - bibsource = {DBLP, http://dblp.uni-trier.de} + url = {https://dx.doi.org/10.1016/j.ipl.2005.09.010}, + bibsource = {DBLP, https://dblp.uni-trier.de} } @inproceedings{DBLP:conf/aaai/WooldridgeADH07, @@ -3278,7 +3276,7 @@ pages = {197--214}, number = "5", pages = "672--713", year = "2002", - journal-url = "http://portal.acm.org/browse_dl.cfm?idx = J401", + journal-url = "https://portal.acm.org/browse_dl.cfm?idx = J401", } @inproceedings{Gonthier13, @@ -3348,7 +3346,7 @@ pages = {197--214}, author = {Naumann, David A}, title = {Theory for software verification}, year = {2009}, - url = {http://www.cs.stevens.edu/~naumann/publications/theoryverif.pdf} + url = {https://www.cs.stevens.edu/~naumann/publications/theoryverif.pdf} } @incollection{handbook-sat, @@ -3434,7 +3432,7 @@ pages = {197--214}, booktitle = icfp05, year = "2005", pages = "66--77", - url = "http://doi.acm.org/10.1145/1086365.1086375", + url = "https://doi.acm.org/10.1145/1086365.1086375", } @article{McBrideMcKinna02, @@ -3457,7 +3455,7 @@ pages = {197--214}, title = {Giving Haskell A Promotion}, booktitle = tldi12, year = 2012, - url = {http://www.seas.upenn.edu/~sweirich/papers/tldi12.pdf}, + url = {https://www.seas.upenn.edu/~sweirich/papers/tldi12.pdf}, } @Article{cervesato-llf, @@ -3514,7 +3512,7 @@ year = {2011} year = "2011", ISBN = "978-1-4503-0443-6", pages = "102--112", - URL = "http://doi.acm.org/10.1145/2025113.2025131", + URL = "https://doi.acm.org/10.1145/2025113.2025131", } @INPROCEEDINGS{Lowe-QIF02, @@ -3543,7 +3541,7 @@ year = {2011} publisher = springer, volume = {6756}, pages = {60--76}, - url = {http://hal.inria.fr/inria-00627937/en}, + url = {https://hal.inria.fr/inria-00627937/en}, } @inproceedings{barthekoepf11, @@ -3694,7 +3692,7 @@ inproceedings{Kozen79, year = {1981}, publisher = {Elsevier}, doi = {10.1016/0022-0000(81)90036-2}, - url = {http://www.sciencedirect.com/science/article/pii/0022000081900362} + url = {https://www.sciencedirect.com/science/article/pii/0022000081900362} } @article{HSP83, @@ -3783,7 +3781,7 @@ inproceedings{Kozen79, Number = {CMU-CS-11-110}, Title = {Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation}, Year = {2011}, - url = {http://arxiv.org/abs/1103.4577} + url = {https://arxiv.org/abs/1103.4577} } @article{Yang07, @@ -3794,7 +3792,7 @@ inproceedings{Kozen79, number = {1--3}, year = 2007, pages = {308--334}, - url = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/data.pdf} + url = {https://www.cs.ox.ac.uk/people/hongseok.yang/paper/data.pdf} } @article{mufa1994optimal, @@ -3816,7 +3814,7 @@ inproceedings{Kozen79, number={2}, pages={161--192}, year={1974}, - url={http://www.kellogg.northwestern.edu/faculty/reiter/papers/22_informationalsize.pdf}, + url={https://www.kellogg.northwestern.edu/faculty/reiter/papers/22_informationalsize.pdf}, publisher={Elsevier} } @@ -3827,7 +3825,7 @@ inproceedings{Kozen79, pages={122--133}, year={2011}, publisher=springer, - url={http://users.eecs.northwestern.edu/~hartline/papers/auctions-WINE-11.pdf}, + url={https://users.eecs.northwestern.edu/~hartline/papers/auctions-WINE-11.pdf}, } @inproceedings{CR14, @@ -3837,7 +3835,7 @@ inproceedings{Kozen79, year = {2014}, pages = {243--252}, numpages = {10}, - url={http://arxiv.org/abs/1502.00963}, + url={https://arxiv.org/abs/1502.00963}, keywords = {Myerson's auction, sample complexity}, } @@ -3847,7 +3845,7 @@ inproceedings{Kozen79, pages = {1156--1163}, publisher = siam, title = {Near-optimal online auctions}, - url={http://users.eecs.northwestern.edu/~hartline/papers/online-auctions-SODA-05.pdf}, + url={https://users.eecs.northwestern.edu/~hartline/papers/online-auctions-SODA-05.pdf}, year = 2005 } @@ -3859,7 +3857,7 @@ inproceedings{Kozen79, title = {Mechanism Design via Machine Learning}, booktitle = focs05, pages = {605--614}, - url = {http://users.eecs.northwestern.edu/~hartline/papers/auctions-FOCS-05.pdf}, + url = {https://users.eecs.northwestern.edu/~hartline/papers/auctions-FOCS-05.pdf}, year = 2005, } @@ -3867,7 +3865,7 @@ inproceedings{Kozen79, author = {Blum, Avrim and Kumar, Vijay and Rudra, Atri and Wu, Felix}, title = "Online Learning in Online Auctions", booktitle = soda03, - url = {http://www.cs.cmu.edu/~avrim/Papers/onlineauction.pdf}, + url = {https://www.cs.cmu.edu/~avrim/Papers/onlineauction.pdf}, year = 2003, } @@ -3877,7 +3875,7 @@ inproceedings{Kozen79, pages = {1190--1204}, publisher = siam, title = {Regret Minimization for Reserve Prices in Second-Price Auctions}, - url = {http://epubs.siam.org/doi/pdf/10.1137/1.9781611973105.86}, + url = {https://epubs.siam.org/doi/pdf/10.1137/1.9781611973105.86}, year = 2013 } @@ -3887,7 +3885,7 @@ inproceedings{Kozen79, booktitle = ec09, title = {Simple versus optimal mechanisms}, year = 2009, - url = {http://www.sigecom.org/exchanges/volume_8/1/hartline.pdf}, + url = {https://www.sigecom.org/exchanges/volume_8/1/hartline.pdf}, } @@ -3897,7 +3895,7 @@ booktitle = itcs11, publisher = {Tsinghua University Press}, title = {Posting Prices with Unknown Distributions}, year = {2011}, -url = {http://research.microsoft.com/apps/pubs/default.aspx?id=144123}, +url = {https://research.microsoft.com/apps/pubs/default.aspx?id=144123}, } @@ -3906,7 +3904,7 @@ url = {http://research.microsoft.com/apps/pubs/default.aspx?id=144123}, title = {The Pseudo-Dimension of Nearly-Optimal Auctions}, booktitle = nips15, year = 2015, - url = {http://arxiv.org/abs/1506.03684}, + url = {https://arxiv.org/abs/1506.03684}, } @inproceedings{RS15, @@ -3924,7 +3922,7 @@ url = {http://research.microsoft.com/apps/pubs/default.aspx?id=144123}, booktitle = ec15, year = {2015}, pages = {377--394}, - url = {http://people.csail.mit.edu/smweinberg/ec15subadditive.pdf}, + url = {https://people.csail.mit.edu/smweinberg/ec15subadditive.pdf}, } @inproceedings{balcan2014learning, @@ -3934,7 +3932,7 @@ url = {http://research.microsoft.com/apps/pubs/default.aspx?id=144123}, pages={338--353}, year={2014}, publisher=springer, - url={http://arxiv.org/abs/1407.7937} + url={https://arxiv.org/abs/1407.7937} } @inproceedings{dughmi2014sampling, @@ -3946,7 +3944,7 @@ title={Sampling and Representation Complexity of Revenue Maximization}, publisher=springer, author={Dughmi, Shaddin and Han, Li and Nisan, Noam}, pages={277--291}, -url={http://arxiv.org/abs/1402.4535}, +url={https://arxiv.org/abs/1402.4535}, } @@ -3956,7 +3954,7 @@ url={http://arxiv.org/abs/1402.4535}, Booktitle = focs14, Title = {A Simple and Approximately Optimal Mechanism for an Additive Buyer}, Year = {2014}, - url = {http://arxiv.org/abs/1405.6146} + url = {https://arxiv.org/abs/1405.6146} } @inproceedings{yao2015soda, @@ -3966,7 +3964,7 @@ booktitle = soda14, chapter = {8}, year={2015}, pages = {92--109}, -url = {http://arxiv.org/abs/1406.3278} +url = {https://arxiv.org/abs/1406.3278} } @@ -3978,7 +3976,7 @@ url = {http://arxiv.org/abs/1406.3278} isbn = {978-1-4503-3410-5}, pages = {45--60}, keywords = {auction, revenue, sample complexity}, - url = {http://arxiv.org/abs/1407.2479}, + url = {https://arxiv.org/abs/1407.2479}, } @article{dhangwatnotai2014revenue, @@ -3987,7 +3985,7 @@ url = {http://arxiv.org/abs/1406.3278} journal=geb, year={2014}, publisher={Elsevier}, - url={http://theory.stanford.edu/~tim/papers/single.pdf}, + url={https://theory.stanford.edu/~tim/papers/single.pdf}, } @@ -3997,7 +3995,7 @@ url = {http://arxiv.org/abs/1406.3278} booktitle = ec07, year = {2007}, pages = {243--251}, - url = {http://arxiv.org/abs/0808.1671}, + url = {https://arxiv.org/abs/0808.1671}, } @article{GS99a, @@ -4008,7 +4006,7 @@ number = "1", pages = "66--95", year = "2000", issn = "0022-0531", -url = "http://www.sciencedirect.com/science/article/pii/S0022053199925802", +url = "https://www.sciencedirect.com/science/article/pii/S0022053199925802", author = "Faruk Gul and Ennio Stacchetti" } @@ -4031,7 +4029,7 @@ booktitle=ipco06, volume={1084}, series=lncs, title={Convexity and {Steinitz}'s exchange property}, -url={http://dx.doi.org/10.1007/3-540-61310-2_20}, +url={https://dx.doi.org/10.1007/3-540-61310-2_20}, publisher=springer, author={Murota, Kazuo}, pages={260--274}, @@ -4067,7 +4065,7 @@ number = "1", pages = "6--20", year = "2010", issn = "0304-4068", -url = "http://www.sciencedirect.com/science/article/pii/S0304406809000627", +url = "https://www.sciencedirect.com/science/article/pii/S0304406809000627", author = "Debasis Mishra and Dolf Talman", } @@ -4087,7 +4085,7 @@ author = "Debasis Mishra and Dolf Talman", journal = {CoRR}, volume = {abs/1301.1153}, year = {2013}, - url = {http://arxiv.org/abs/1301.1153}, + url = {https://arxiv.org/abs/1301.1153}, } @@ -4116,7 +4114,7 @@ author = "Debasis Mishra and Dolf Talman", author={Daniely, Amit and Shalev-Shwartz, Shai}, booktitle=colt14, pages={287--316}, - url={http://arxiv.org/abs/1405.2420}, + url={https://arxiv.org/abs/1405.2420}, year={2014} } @@ -4136,7 +4134,7 @@ author = "Debasis Mishra and Dolf Talman", number={4}, pages={545--561}, year={1996}, - url={http://www.keisu.t.u-tokyo.ac.jp/research/techrep/data/2003/METR03-42.pdf}, + url={https://www.keisu.t.u-tokyo.ac.jp/research/techrep/data/2003/METR03-42.pdf}, } @article{ST15, @@ -4148,7 +4146,7 @@ author = "Debasis Mishra and Dolf Talman", number = {1}, year = 2015, pages = {61--103}, - url = {http://www.orsj.or.jp/~archive/pdf/e_mag/Vol.58_01_061.pdf} + url = {https://www.orsj.or.jp/~archive/pdf/e_mag/Vol.58_01_061.pdf} } @Book{Matroid, @@ -4165,7 +4163,7 @@ author = "Debasis Mishra and Dolf Talman", booktitle=ec07, pages={736--745}, year={2007}, - url={http://eprints.soton.ac.uk/263443/1/finsup.pdf} + url={https://eprints.soton.ac.uk/263443/1/finsup.pdf} } @inproceedings{medina2014learning, @@ -4174,7 +4172,7 @@ author = "Debasis Mishra and Dolf Talman", booktitle=icml14, pages={262--270}, year={2014}, - url={http://arxiv.org/abs/1310.5665} + url={https://arxiv.org/abs/1310.5665} } @article{arrow1954existence, @@ -4183,7 +4181,7 @@ author = "Debasis Mishra and Dolf Talman", journal={Econometrica}, pages={265--290}, year={1954}, - url={http://web.stanford.edu/class/msande311/arrow-debreu.pdf} + url={https://web.stanford.edu/class/msande311/arrow-debreu.pdf} } @inproceedings{deng02complexity, @@ -4195,7 +4193,7 @@ author = "Debasis Mishra and Dolf Talman", pages = {67--71}, numpages = {5}, acmid = {509920}, - url={http://dl.acm.org/citation.cfm?id=509920} + url={https://dl.acm.org/citation.cfm?id=509920} } @article{nisan06communication, @@ -4208,7 +4206,7 @@ author = "Debasis Mishra and Dolf Talman", Title = {The communication requirements of efficient allocations and supporting prices}, Volume = {129}, Year = {2006}, - url={http://web.stanford.edu/~isegal/prices.pdf} + url={https://web.stanford.edu/~isegal/prices.pdf} } @inproceedings{DH09, @@ -4217,14 +4215,14 @@ author = "Debasis Mishra and Dolf Talman", booktitle=ec09, pages={71--78}, year={2009}, - url={http://research.microsoft.com/en-us/um/people/nikdev/pubs/adwords.pdf} + url={https://research.microsoft.com/en-us/um/people/nikdev/pubs/adwords.pdf} } @techreport{samplingbalcan07, title = {Random Sampling Auctions for Limited Supply}, author = {Balcan, Maria-Florina and Devanur, Nikhil and Hartline, Jason D and Talwar, Kunal}, - url = {http://reports-archive.adm.cs.cmu.edu/anon/2007/CMU-CS-07-154.pdf}, + url = {https://reports-archive.adm.cs.cmu.edu/anon/2007/CMU-CS-07-154.pdf}, year = {2007}, institution = {Carnegie Mellon University}, Date-Added = {09-01-2007}, @@ -4236,10 +4234,10 @@ Hartline, Jason D and Talwar, Kunal}, journal = {CoRR}, volume = {abs/1507.00473}, year = {2015}, - url = {http://arxiv.org/abs/1507.00473}, + url = {https://arxiv.org/abs/1507.00473}, timestamp = {Sun, 02 Aug 2015 18:42:02 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Hanneke15}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/Hanneke15}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @book{pollard1984, @@ -4247,7 +4245,7 @@ Hartline, Jason D and Talwar, Kunal}, author={Pollard, David}, year={1984}, publisher={David Pollard}, - url = {http://www.stat.yale.edu/~pollard/Books/1984book/pollard1984.pdf}, + url = {https://www.stat.yale.edu/~pollard/Books/1984book/pollard1984.pdf}, } @@ -4259,7 +4257,7 @@ Hartline, Jason D and Talwar, Kunal}, number={2}, pages={264--280}, year={1971}, - url={http://www.springer.com/cda/content/document/cda_downloaddocument/9783642411359-c1.pdf?SGWID=0-0-45-1431218-p175483535}, + url={https://www.springer.com/cda/content/document/cda_downloaddocument/9783642411359-c1.pdf?SGWID=0-0-45-1431218-p175483535}, publisher=siam } @@ -4276,7 +4274,7 @@ year={2015}, isbn={978-3-662-48799-0}, booktitle=ascrypt15, title={Pure Differential Privacy for Rectangle Queries via Private Partitions}, -url={http://dx.doi.org/10.1007/978-3-662-48800-3_30}, +url={https://dx.doi.org/10.1007/978-3-662-48800-3_30}, publisher=springer, author={Dwork, Cynthia and Naor, Moni and Reingold, Omer and Rothblum, Guy N}, pages={735--751}, @@ -4294,7 +4292,7 @@ pages={735--751}, publisher = springer, year = {2013}, doi = {10.1007/978-3-642-39212-2_8}, - url = {http://certicrypt.gforge.inria.fr/2013.ICALP.pdf} + url = {https://certicrypt.gforge.inria.fr/2013.ICALP.pdf} } @inproceedings{DBLP:conf/stoc/DworkFHPRR15, @@ -4308,7 +4306,7 @@ pages={735--751}, booktitle = stoc15, pages = {117--126}, year = {2015}, - url = {http://doi.acm.org/10.1145/2746539.2746580}, + url = {https://doi.acm.org/10.1145/2746539.2746580}, } @inproceedings{xu:hal-00879140, TITLE = {Metrics for Differential Privacy in Concurrent Systems}, @@ -4351,7 +4349,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} pages = {169--193}, publisher = springer, year = {2012}, - url = {http://www.di.ens.fr/~cousot/publications.www/Cousot-Monerau-ESOP2012-extended.pdf} + url = {https://www.di.ens.fr/~cousot/publications.www/Cousot-Monerau-ESOP2012-extended.pdf} } @incollection{dwork2006our, @@ -4375,7 +4373,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} volume=10, number=6, pages={637--648}, - url={http://arxiv.org/abs/1603.01699}, + url={https://arxiv.org/abs/1603.01699}, doi={10.14778/3055330.3055331}, year={2017}, } @@ -4445,7 +4443,7 @@ inproceedings{DBLP:journals/corr/OhV13, pages={223--231}, year={1997}, doi={10.1109/SFCS.1997.646111}, - url={http://ieeexplore.ieee.org/document/646111/} + url={https://ieeexplore.ieee.org/document/646111/} } @unpublished{DworkRothblumCDP, @@ -4455,10 +4453,10 @@ inproceedings{DBLP:journals/corr/OhV13, journal = {CoRR}, volume = {abs/1603.01887}, year = {2016}, - url = {http://arxiv.org/abs/1603.01887}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/DworkR16}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{BunS2016, @@ -4519,7 +4517,7 @@ inproceedings{DBLP:journals/corr/OhV13, pages={266--277}, year={1991}, doi={10.1109/LICS.1991.151651}, - url={http://ieeexplore.ieee.org/document/151651/} + url={https://ieeexplore.ieee.org/document/151651/} } @inproceedings{rogers2016privacy, @@ -4528,7 +4526,7 @@ inproceedings{DBLP:journals/corr/OhV13, booktitle=nips16, pages={1921--1929}, year={2016}, - url={http://arxiv.org/abs/1605.08294} + url={https://arxiv.org/abs/1605.08294} } @inproceedings{sousa2016cartesian, @@ -4572,11 +4570,11 @@ inproceedings{DBLP:journals/corr/OhV13, number = {6}, pages = {1149--1178}, year = {1989}, - url = {http://dx.doi.org/10.1137/0218077}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/siamcomp/JerrumS89}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/rsa/Jerrum95, @@ -4588,14 +4586,14 @@ inproceedings{DBLP:journals/corr/OhV13, number = {2}, pages = {157--166}, year = {1995}, - url = {http://dx.doi.org/10.1002/rsa.3240070205}, + url = {https://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}, + {https://dblp.uni-trier.de/rec/bib/journals/rsa/Jerrum95}, bibsource = {dblp computer science bibliography, - http://dblp.org} + https://dblp.org} } @inproceedings{Sato16, @@ -4619,7 +4617,7 @@ inproceedings{DBLP:journals/corr/OhV13, year={1965}, doi={10.1214/aoms/1177700153}, publisher={Institute of Mathematical Statistics}, - url={http://projecteuclid.org/euclid.aoms/1177700153} + url={https://projecteuclid.org/euclid.aoms/1177700153} } @inproceedings{tracolDZ11, @@ -4634,11 +4632,11 @@ inproceedings{DBLP:journals/corr/OhV13, series = eptcs, volume = 57, publisher = {Open Publishing Association}, - url = {http://dx.doi.org/10.4204/EPTCS.57.11}, + url = {https://dx.doi.org/10.4204/EPTCS.57.11}, doi = {10.4204/EPTCS.57.11}, timestamp = {Mon, 28 Oct 2013 16:56:55 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1107-1206}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/abs-1107-1206}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{desharnaisLT08, @@ -4660,11 +4658,11 @@ inproceedings{LarsenS89, booktitle = popl89, pages = {344--352}, year = {1989}, - url = {http://doi.acm.org/10.1145/75277.75307}, + url = {https://doi.acm.org/10.1145/75277.75307}, 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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/popl/LarsenS89}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{LarsenS89, @@ -4677,11 +4675,11 @@ inproceedings{LarsenS89, pages = {1--28}, year = {1991}, doi = {10.1016/0890-5401(91)90030-6}, - url = {http://www.sciencedirect.com/science/article/pii/0890540191900306}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/popl/LarsenS89}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{giacalone1990algebraic, @@ -4689,7 +4687,7 @@ inproceedings{LarsenS89, 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} + url={https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3664} } @inproceedings{SegalaTurrini07, @@ -4708,7 +4706,7 @@ inproceedings{LarsenS89, author = {Federico Olmedo}, school = {Universidad Polit\'ecnica de Madrid}, year = {2014}, - url = {http://oa.upm.es/23088/1/FEDERICO_OLMEDO.pdf} + url = {https://oa.upm.es/23088/1/FEDERICO_OLMEDO.pdf} } @article{DBLP:journals/jct/AharoniBGPS11, @@ -4723,11 +4721,11 @@ inproceedings{LarsenS89, number = {1}, pages = {1--17}, year = {2011}, - url = {http://dx.doi.org/10.1016/j.jctb.2010.08.002}, + url = {https://dx.doi.org/10.1016/j.jctb.2010.08.002}, doi = {10.1016/j.jctb.2010.08.002}, timestamp = {Sat, 04 Dec 2010 15:33:06 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/jct/AharoniBGPS11}, - bibsource = {dblp computer science bibliography, http://dblp.org} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/jct/AharoniBGPS11}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{katsumata2015codensity, @@ -4740,7 +4738,7 @@ inproceedings{LarsenS89, publisher = dagstuhl, volume={35}, doi={10.4230/LIPIcs.CALCO.2015.156}, - url = {http://drops.dagstuhl.de/opus/volltexte/2015/5532}, + url = {https://drops.dagstuhl.de/opus/volltexte/2015/5532}, } @inproceedings{aldous1983random, @@ -4877,7 +4875,7 @@ inproceedings{LarsenS89, location = {Beijing, China}, pages = {405--416}, numpages = {12}, - url = {http://doi.acm.org/10.1145/2254064.2254112}, + url = {https://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}, @@ -4911,13 +4909,13 @@ inproceedings{LarsenS89, booktitle = asplos06, pages = {404--415}, year = {2006}, - url = {http://doi.acm.org/10.1145/1168857.1168907}, + url = {https://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}, + {https://dblp.dagstuhl.de/rec/bib/conf/asplos/Solar-LezamaTBSS06}, bibsource = {dblp computer science bibliography, - http://dblp.org} + https://dblp.org} } @article{pnueli1998translation, @@ -4956,7 +4954,7 @@ inproceedings{LarsenS89, location = {Madrid, Spain}, pages = {313--326}, numpages = {14}, - url = {http://doi.acm.org/10.1145/1706299.1706337}, + url = {https://doi.acm.org/10.1145/1706299.1706337}, doi = {10.1145/1706299.1706337}, acmid = {1706337}, address = {New York, NY, USA}, @@ -5022,11 +5020,11 @@ inproceedings{LarsenS89, booktitle = popl84, pages = {165--174}, year = {1984}, - url = {http://doi.acm.org/10.1145/800017.800528}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/popl/MacQueenPS84}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{AbadiP90, @@ -5039,8 +5037,8 @@ inproceedings{LarsenS89, 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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/lics/AbadiP90}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{Shamir16, @@ -5050,10 +5048,10 @@ inproceedings{LarsenS89, journal = {CoRR}, volume = {abs/1603.00570}, year = {2016}, - url = {http://arxiv.org/abs/1603.00570}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/Shamir16}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -5068,9 +5066,9 @@ inproceedings{LarsenS89, 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}, + {https://dblp2.uni-trier.de/rec/bib/series/ncs/Jansen13}, bibsource = {dblp computer science bibliography, - http://dblp.org} + https://dblp.org} } @@ -5090,7 +5088,7 @@ year={2006}} pages = {499--526}, year = {2002}, doi = {10.1162/153244302760200704}, - url = {http://www.jmlr.org/papers/v2/bousquet02a.html} + url = {https://www.jmlr.org/papers/v2/bousquet02a.html} } @inproceedings{GomulkiewiczKK03, @@ -5167,10 +5165,10 @@ year={2006}} volume = {2012}, pages = {363}, year = {2012}, - url = {http://eprint.iacr.org/2012/363}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/iacr/CanteautFNPRV12}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{NanevskiBG11, @@ -5220,7 +5218,7 @@ AUTHOR = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.}, TITLE = {Markov Chains and Mixing Times}, PUBLISHER = {American Mathematical Society}, YEAR = {2009}, -URL = {http://pages.uoregon.edu/dlevin/MARKOV/markovmixing.pdf} +URL = {https://pages.uoregon.edu/dlevin/MARKOV/markovmixing.pdf} } @book{Villani08, @@ -5377,11 +5375,11 @@ year={2016}} pages = {282--309}, publisher = springer, year = {2016}, - url = {http://dx.doi.org/10.1007/978-3-662-49498-1_12}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/esop/FosterKMR016}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{KaminskiKMO16, @@ -5397,11 +5395,11 @@ year={2016}} pages = {364--389}, publisher = springer, year = {2016}, - url = {http://dx.doi.org/10.1007/978-3-662-49498-1_15}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/esop/KaminskiKMO16}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @InProceedings{ABB06:popl, @@ -5426,10 +5424,10 @@ year={2016}} volume = {2016}, pages = {912}, year = {2016}, - url = {http://eprint.iacr.org/2016/912}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/iacr/BartheDFGSS16}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/tcad/EldibWTS15, @@ -5444,11 +5442,11 @@ year={2016}} number = {10}, pages = {1558--1568}, year = {2015}, - url = {http://dx.doi.org/10.1109/TCAD.2015.2424951}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/tcad/EldibWTS15}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/crypto/IshaiSW03, @@ -5462,11 +5460,11 @@ year={2016}} pages = {463--481}, publisher = springer, year = {2003}, - url = {http://dx.doi.org/10.1007/978-3-540-45146-4_27}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/crypto/IshaiSW03}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -5511,10 +5509,10 @@ year={2016}} volume = {6}, pages = {55--79}, year = {2005}, - url = {http://www.jmlr.org/papers/v6/elisseeff05a.html}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/jmlr/ElisseeffEP05}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{PanageasSV16, @@ -5525,11 +5523,11 @@ year={2016}} booktitle = soda16, pages = {480--497}, year = {2016}, - url = {http://dx.doi.org/10.1137/1.9781611974331.ch36}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/soda/PanageasSV16}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{Vishnoi15, @@ -5538,17 +5536,17 @@ year={2016}} booktitle = soda15, pages = {1590--1601}, year = {2015}, - url = {http://dx.doi.org/10.1137/1.9781611973730.105}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/soda/Vishnoi15}, + bibsource = {dblp computer science bibliography, https://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}, + citeulike-linkout-0 = {https://dx.doi.org/10.1214/aoap/1177005980}, doi = {10.1214/aoap/1177005980}, issn = {1050-5164}, journal = {The Annals of Applied Probability}, @@ -5559,7 +5557,7 @@ year={2016}} posted-at = {2011-03-01 12:39:26}, priority = {4}, title = {Geometric Bounds for Eigenvalues of {Markov} Chains}, - url = {http://dx.doi.org/10.1214/aoap/1177005980}, + url = {https://dx.doi.org/10.1214/aoap/1177005980}, volume = {1}, year = {1991} } @@ -5574,11 +5572,11 @@ year={2016}} number = {6}, pages = {1149--1178}, year = {1989}, - url = {http://dx.doi.org/10.1137/0218077}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/siamcomp/JerrumS89}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/rsa/KumarR01, @@ -5589,7 +5587,7 @@ year={2016}} number = {1}, pages = {1--17}, year = {2001}, - url = {http://hariharan-ramesh.com/papers/mcmc.pdf}, + url = {https://hariharan-ramesh.com/papers/mcmc.pdf}, publisher = {Wiley} } @@ -5606,7 +5604,7 @@ year={2016}} archivePrefix = "arXiv", eprint = {1509.01240}, primaryClass = "cs.LG", - url={http://arxiv.org/abs/1603.01445} + url={https://arxiv.org/abs/1603.01445} } @techreport{randomwalk:notes, @@ -5616,7 +5614,7 @@ year={2016}} Verbitskiy, Evgeny and van Zuijlen, Willem}, title = {Random Walks (lecture notes)}, - url = {http://websites.math.leidenuniv.nl/probability/lecturenotes/RandomWalks.pdf}, + url = {https://websites.math.leidenuniv.nl/probability/lecturenotes/RandomWalks.pdf}, institution = {Mathematical Institute, Leiden University} } @@ -5639,11 +5637,11 @@ year={1997}} booktitle = stoc82, pages = {153--158}, year = {1982}, - url = {http://doi.acm.org/10.1145/800070.802188}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/conf/stoc/DeBakkerZ82}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{ArnoldN80, @@ -5658,8 +5656,8 @@ year={1997}} 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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/tcs/ArnoldN80}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @book{brooks2011handbook, @@ -5676,7 +5674,7 @@ year={1997}} booktitle=mfps16, year={2016}, doi={10.1016/j.entcs.2016.09.043}, - url={http://arxiv.org/abs/1603.01445} + url={https://arxiv.org/abs/1603.01445} } @article{metropolis1953equation, @@ -5695,7 +5693,7 @@ year={1997}} author="Dexter Kozen", title="Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes", booktitle=lics16, - url = {http://hdl.handle.net/1813/41517}, + url = {https://hdl.handle.net/1813/41517}, year={2016} } @@ -5712,7 +5710,7 @@ year={1997}} @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}, + biburl = {https://www.bibsonomy.org/bibtex/2463c71fb3a6d5f453c9ced9044fcec7f/bsmyth}, date = {2002-01-03}, description = {dblp}, interhash = {fa163d46ad9a635a36f162a6961931ad}, @@ -5722,7 +5720,7 @@ year={1997}} 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}, + url = {https://dblp.uni-trier.de/db/journals/siamcomp/siamcomp11.html#SmythP82}, volume = 11, year = 1982 } @@ -5737,7 +5735,7 @@ series={Lecture Notes in Mathematics}, volume=1488, pages="95--104", isbn="978-3-540-46435-8", -url="http://dx.doi.org/10.1007/BFb0084215" +url="https://dx.doi.org/10.1007/BFb0084215" } @article{Lawvere:02, @@ -5810,7 +5808,7 @@ url="http://dx.doi.org/10.1007/BFb0084215" number = {2}, pages = {181--205}, year = {1980}, - url = {http://dx.doi.org/10.1016/0304-3975(80)90045-6}, + url = {https://dx.doi.org/10.1016/0304-3975(80)90045-6}, publisher = elsevier } @@ -5821,7 +5819,7 @@ url="http://dx.doi.org/10.1007/BFb0084215" booktitle = stoc82, pages = {153--158}, year = {1982}, - url = {http://doi.acm.org/10.1145/800070.802188}, + url = {https://doi.acm.org/10.1145/800070.802188}, } @inproceedings{DBLP:conf/mfps/AmericaR87, @@ -5835,7 +5833,7 @@ url="http://dx.doi.org/10.1007/BFb0084215" volume = 298, pages = {254--288}, year = {1987}, - url = {http://dx.doi.org/10.1007/3-540-19020-1_13}, + url = {https://dx.doi.org/10.1007/3-540-19020-1_13}, } @article{Baier1994, @@ -5846,7 +5844,7 @@ number = "2", pages = "171--220", year = "1994", issn = "0304-3975", -url = "http://dx.doi.org/10.1016/0304-3975(94)00046-8", +url = "https://dx.doi.org/10.1016/0304-3975(94)00046-8", author = "Christel Baier and Mila E. Majster{-}Cederbaum", publisher = elsevier, } @@ -5860,7 +5858,7 @@ publisher = elsevier, number = {6}, pages = {277--281}, year = {1988}, - url = {http://dx.doi.org/10.1016/0020-0190(88)90224-4}, + url = {https://dx.doi.org/10.1016/0020-0190(88)90224-4}, publisher = elsevier } @@ -5873,7 +5871,7 @@ publisher = elsevier, number = {2}, pages = {217--243}, year = {1991}, - url = {http://dx.doi.org/10.1016/0890-5401(91)90005-M}, + url = {https://dx.doi.org/10.1016/0890-5401(91)90005-M}, publisher = elsevier } @@ -5887,7 +5885,7 @@ publisher = elsevier, number = {1}, pages = {1--40}, year = {1994}, - url = {http://dx.doi.org/10.1016/0304-3975(94)90052-3}, + url = {https://dx.doi.org/10.1016/0304-3975(94)90052-3}, publisher = elsevier } @@ -5900,7 +5898,7 @@ publisher = elsevier, number = {1--2}, pages = {1--98}, year = {2001}, - url = {http://dx.doi.org/10.1016/S0304-3975(00)00403-5}, + url = {https://dx.doi.org/10.1016/S0304-3975(00)00403-5}, publisher = elsevier } @@ -5908,7 +5906,7 @@ publisher = elsevier, 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}, + url = {https://www.cs.bham.ac.uk/~mhe/papers/metricpcf.pdf}, year = {1999} } @@ -5932,7 +5930,7 @@ publisher = elsevier, volume = {424}, pages = {20--45}, year = {2012}, - url = {http://dx.doi.org/10.1016/j.tcs.2011.11.027}, + url = {https://dx.doi.org/10.1016/j.tcs.2011.11.027}, doi = {10.1016/j.tcs.2011.11.027}, publisher = elsevier } @@ -5945,7 +5943,7 @@ publisher = elsevier, booktitle = popl84, pages = {165--174}, year = {1984}, - url = {http://doi.acm.org/10.1145/800017.800528}, + url = {https://doi.acm.org/10.1145/800017.800528}, } @inproceedings{DBLP:conf/lics/AbadiPP89, @@ -5956,7 +5954,7 @@ publisher = elsevier, booktitle = lics89, pages = {216--225}, year = {1989}, - url = {http://dx.doi.org/10.1109/LICS.1989.39176} + url = {https://dx.doi.org/10.1109/LICS.1989.39176} } @article{DBLP:journals/iandc/Amadio91, @@ -5967,7 +5965,7 @@ publisher = elsevier, number = {1}, pages = {55--85}, year = {1991}, - url = {http://dx.doi.org/10.1016/0890-5401(91)90074-C}, + url = {https://dx.doi.org/10.1016/0890-5401(91)90074-C}, doi = {10.1016/0890-5401(91)90074-C}, publisher = elsevier } @@ -5980,7 +5978,7 @@ publisher = elsevier, booktitle = lics90, pages = {355--365}, year = {1990}, - url = {http://dx.doi.org/10.1109/LICS.1990.113761}, + url = {https://dx.doi.org/10.1109/LICS.1990.113761}, } @inproceedings{DBLP:conf/tlca/Chroboczek01, @@ -5992,7 +5990,7 @@ publisher = elsevier, publisher = springer, pages = {61--75}, year = {2001}, - url = {http://dx.doi.org/10.1007/3-540-45413-6_9}, + url = {https://dx.doi.org/10.1007/3-540-45413-6_9}, } @article{DBLP:journals/tcs/BirkedalST10, @@ -6005,7 +6003,7 @@ publisher = elsevier, number = {47}, pages = {4102--4122}, year = {2010}, - url = {http://dx.doi.org/10.1016/j.tcs.2010.07.010}, + url = {https://dx.doi.org/10.1016/j.tcs.2010.07.010}, publisher = elsevier } @@ -6021,7 +6019,7 @@ publisher = elsevier, series = lncs, publisher = springer, volume = 5504, - url = {http://dx.doi.org/10.1007/978-3-642-00596-1_32}, + url = {https://dx.doi.org/10.1007/978-3-642-00596-1_32}, } @inproceedings{DBLP:conf/fossacs/SchwinghammerBS11, @@ -6036,7 +6034,7 @@ publisher = elsevier, series = lncs, publisher = springer, volume = 6604, - url = {http://dx.doi.org/10.1007/978-3-642-19805-2_21} + url = {https://dx.doi.org/10.1007/978-3-642-19805-2_21} } @inproceedings{DBLP:conf/lics/Nakano00, @@ -6045,7 +6043,7 @@ publisher = elsevier, booktitle = lics00, pages = {255--266}, year = {2000}, - url = {http://dx.doi.org/10.1109/LICS.2000.855774}, + url = {https://dx.doi.org/10.1109/LICS.2000.855774}, } @inproceedings{DBLP:conf/lics/BirkedalMSS11, @@ -6058,7 +6056,7 @@ publisher = elsevier, booktitle = lics11, pages = {55--64}, year = {2011}, - url = {http://dx.doi.org/10.1109/LICS.2011.16}, + url = {https://dx.doi.org/10.1109/LICS.2011.16}, } @inproceedings{DBLP:conf/icfp/2011, @@ -6077,11 +6075,11 @@ publisher = elsevier, booktitle = lics11, pages = {257--266}, year = {2011}, - url = {http://dx.doi.org/10.1109/LICS.2011.38}, + url = {https://dx.doi.org/10.1109/LICS.2011.38}, } @article{csiszarS04, -url = {http://dx.doi.org/10.1561/0100000004}, +url = {https://dx.doi.org/10.1561/0100000004}, year = {2004}, volume = {1}, journal = {Foundations and Trends® in Communications and Information Theory}, @@ -6102,7 +6100,7 @@ publisher = now volume = {7}, pages = {34--54}, year = {1997}, - url = {http://dx.doi.org/10.1016/S1571-0661(05)80465-7}, + url = {https://dx.doi.org/10.1016/S1571-0661(05)80465-7}, publisher = elsevier, } @@ -6116,7 +6114,7 @@ publisher = now volume = {40}, pages = {72--99}, year = {2000}, - url = {http://dx.doi.org/10.1016/S1571-0661(05)80038-6}, + url = {https://dx.doi.org/10.1016/S1571-0661(05)80038-6}, publisher = elsevier, } @@ -6129,7 +6127,7 @@ publisher = now booktitle = lics02, pages = {413--422}, year = {2002}, - url = {http://dx.doi.org/10.1109/LICS.2002.1029849}, + url = {https://dx.doi.org/10.1109/LICS.2002.1029849}, } @Unpublished{PlotkinGD:lecppf, @@ -6147,7 +6145,7 @@ publisher = now title = {Differential Privacy Under Fire}, booktitle = usenix11, year = {2011}, - url = {http://static.usenix.org/events/sec11/tech/full_papers/Haeberlen.pdf}, + url = {https://static.usenix.org/events/sec11/tech/full_papers/Haeberlen.pdf}, } @incollection{Jonsson:2001, @@ -6194,7 +6192,7 @@ series={Lecture Notes in Mathematics}, volume={137}, year={1970}, pages={39–55}, -url={http://www.math.mcgill.ca/barr/papers/relalgs.pdf}, +url={https://www.math.mcgill.ca/barr/papers/relalgs.pdf}, publisher=springer } @@ -6205,10 +6203,10 @@ publisher=springer journal = {CoRR}, volume = {abs/1508.07306}, year = {2015}, - url = {http://arxiv.org/abs/1508.07306}, + url = {https://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} + biburl = {https://dblp.uni-trier.de/rec/bib/journals/corr/ChenM15e}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @book{royden-analysis, @@ -6238,7 +6236,7 @@ publisher=springer 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", + doi = "https://dx.doi.org/10.1016/j.tcs.2006.12.035", author = "Peter W. O'Hearn", publisher=elsevier } @@ -6272,7 +6270,7 @@ publisher=springer issn = {0164-0925}, pages = {431--483}, numpages = {53}, - url = {http://doi.acm.org/10.1145/357146.357150}, + url = {https://doi.acm.org/10.1145/357146.357150}, doi = {10.1145/357146.357150}, acmid = {357150}, } @@ -6285,8 +6283,8 @@ publisher=springer 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", + doi = "https://dx.doi.org/10.1016/0304-3975(83)90066-X", + url = "https://www.sciencedirect.com/science/article/pii/030439758390066X", author = {Apt, Krzysztof R.}, publisher=elsevier } @@ -6300,8 +6298,8 @@ publisher=springer 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", + doi = "https://dx.doi.org/10.1016/j.tcs.2006.12.036", + url = "https://www.sciencedirect.com/science/article/pii/S0304397506009261", author = "Hongseok Yang", publisher=elsevier } @@ -6328,7 +6326,7 @@ publisher=springer pages = {69--81}, year = {2015}, doi = {10.1145/2676726.2677005}, - url = {http://doi.acm.org/10.1145/2676726.2677005}, + url = {https://doi.acm.org/10.1145/2676726.2677005}, } @article{ebadi2016featherweight, @@ -6353,7 +6351,7 @@ publisher=springer pages={637--648}, year={2014}, doi={10.14778/2732296.2732300}, - url={http://www.vldb.org/pvldb/vol7/p637-proserpio.pdf}, + url={https://www.vldb.org/pvldb/vol7/p637-proserpio.pdf}, } @inproceedings{palamidessi:hal-00760688, @@ -6378,7 +6376,7 @@ publisher=springer title = {Formalizing Differential Privacy}, author = {Buch, Mads}, school = {Aarhus University}, - url = {http://madsbuch.com/thesis}, + url = {https://madsbuch.com/thesis}, year = 2017 } @@ -6412,7 +6410,7 @@ publisher=springer isbn = {978-1-4503-3549-2}, pages = {327--342}, numpages = {16}, - url = {http://doi.acm.org/10.1145/2837614.2837639}, + url = {https://doi.acm.org/10.1145/2837614.2837639}, doi = {10.1145/2837614.2837639}, acmid = {2837639}, keywords = {Concentration, Probabilistic Programs, Ranking Supermartingale, Termination}, @@ -6441,7 +6439,7 @@ publisher=springer isbn = {978-1-4503-4660-3}, pages = {145--160}, numpages = {16}, - url = {http://doi.acm.org/10.1145/3009837.3009873}, + url = {https://doi.acm.org/10.1145/3009837.3009873}, doi = {10.1145/3009837.3009873}, acmid = {3009873}, keywords = {Concentration, Martingales, Probabilistic Programs, Termination}, @@ -6471,7 +6469,7 @@ publisher=springer year={2009}, publisher=elsevier, doi={10.1016/j.entcs.2009.10.006}, - url={http://www.sciencedirect.com/science/article/pii/S1571066109004265} + url={https://www.sciencedirect.com/science/article/pii/S1571066109004265} } @article{ghosh2012universally, @@ -6491,7 +6489,7 @@ publisher=springer 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}, + url = {https://eprint.iacr.org/2004/332}, } @article{HallWassermanRinaldo, @@ -6503,7 +6501,7 @@ publisher=springer volume = {4}, issue = {2}, number = {3}, - url = {http://repository.cmu.edu/jpc/vol4/iss2/3}, + url = {https://repository.cmu.edu/jpc/vol4/iss2/3}, year = 2013} @@ -6521,8 +6519,8 @@ publisher=springer 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} + biburl = {https://dblp.org/rec/bib/journals/rsa/HayesV07}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/rsa/ProppW96, @@ -6538,8 +6536,8 @@ publisher=springer 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} + biburl = {https://dblp.org/rec/bib/journals/rsa/ProppW96}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @InProceedings{fijalkow_et_al:LIPIcs:2017:7368, @@ -6555,7 +6553,7 @@ publisher=springer 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}, + URL ={https://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} @@ -6570,7 +6568,7 @@ publisher=springer year = {2002}, issn = {0890-5401}, doi = {10.1006/inco.2001.2962}, - url = {http://www.sciencedirect.com/science/article/pii/S0890540101929621}, + url = {https://www.sciencedirect.com/science/article/pii/S0890540101929621}, author = {Jos{\'e}e Desharnais and Abbas Edalat and Prakash Panangaden}, publisher=elsevier } @@ -6584,7 +6582,7 @@ publisher=springer year = {2003}, issn = {0890-5401}, doi = {10.1016/S0890-5401(03)00051-8}, - url = {http://www.sciencedirect.com/science/article/pii/S0890540103000518}, + url = {https://www.sciencedirect.com/science/article/pii/S0890540103000518}, author = {Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden} } @@ -6598,7 +6596,7 @@ publisher=springer issn = {0304-3975}, publisher = elsevier, doi = {10.1016/j.tcs.2003.09.013}, - url = {http://www.sciencedirect.com/science/article/pii/S0304397503006042}, + url = {https://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} } @@ -6651,6 +6649,6 @@ url={https://doi.org/10.1007/3-540-48224-5_35} 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} + biburl = {https://dblp.org/rec/bib/journals/njc/SegalaL95}, + bibsource = {dblp computer science bibliography, https://dblp.org} } diff --git a/content/about.md b/content/about.md index e129146..efa156e 100644 --- a/content/about.md +++ b/content/about.md @@ -1,27 +1,27 @@ I am a postdoc in the [Programming Principles, Logic, and Verification -Group](http://pplv.cs.ucl.ac.uk/welcome/) at the [University College +Group](https://pplv.cs.ucl.ac.uk/welcome/) at the [University College London](https://www.ucl.ac.uk/), hosted by [Alexandra -Silva](http://www.alexandrasilva.org/). +Silva](https://www.alexandrasilva.org/). Previously, I was a graduate student in the [Department of Computer -Science](http://cis.upenn.edu) at the [University of -Pennsylvania](http://www.upenn.edu), associated with the [Theory -Group](http://theory.cis.upenn.edu), the [PL -Club](http://www.cis.upenn.edu/~plclub/), and the [Privacy -Group](http://privacy.cis.upenn.edu). I was very fortunate to be co-advised by -[Benjamin Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron -Roth](http://cis.upenn.edu/~aaroth). +Science](https://cis.upenn.edu) at the [University of +Pennsylvania](https://www.upenn.edu), associated with the [Theory +Group](https://theory.cis.upenn.edu), the [PL +Club](https://www.cis.upenn.edu/~plclub/), and the [Privacy +Group](https://privacy.cis.upenn.edu). I was very fortunate to be co-advised by +[Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron +Roth](https://cis.upenn.edu/~aaroth). ## Research Interests ## My research spans two classical areas of computer science: **algorithms** from theoretical computer science (commonly known as **TCS**) and **formal verification**. My work has mostly centered on [**differential -privacy**](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous +privacy**](https://en.wikipedia.org/wiki/Differential_privacy), a rigorous definition of privacy that is currently under extensive study. From the verification side, I investigate formal methods---such as [**type -systems**](http://en.wikipedia.org/wiki/Type_system) and [**program -logics**](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs +systems**](https://en.wikipedia.org/wiki/Type_system) and [**program +logics**](https://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs are differentially private. More generally, I consider formal verification for properties of randomized algorithms, including **incentive compatibility**, Markov chain **mixing**, and various notions of **algorithmic stability**. From diff --git a/content/footer.md b/content/footer.md index cc40320..d21729a 100644 --- a/content/footer.md +++ b/content/footer.md @@ -1,6 +1,6 @@ [Source](https://git.justinh.su/justhsu/justin-site). Powered by -[Hakyll](http://jaspervdj.be/hakyll/), -[Pandoc](http://johnmacfarlane.net/pandoc/), +[Hakyll](https://jaspervdj.be/hakyll/), +[Pandoc](https://johnmacfarlane.net/pandoc/), and [bibtex2html](https://www.lri.fr/~filliatr/bibtex2html/). © Justin Hsu, 2015.