From b45b01f8972453ad6b020b9c2aa9f7241d44914b Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sat, 17 Sep 2016 04:33:15 -0400 Subject: [PATCH] Bib tweaks, fix typo. --- bibs/myrefs.bib | 205 +++++++++++++++++++++++++++++++++++++++--------- 1 file changed, 169 insertions(+), 36 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index ab9de04..38181f8 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -5,10 +5,10 @@ Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, {P}ierre-{Y}ves}, - year = {}, + year = 2016, jh = yes, eprint = yes, - url = {http://arxiv.org/abs/1607.03455} + url = {http://arxiv.org/abs/1607.03455}, } @unpublished{BEGGHS16, @@ -19,9 +19,9 @@ Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, {P}ierre-{Y}ves}, - year = {}, + year = 2016, jh = yes, - docs = yes + docs = yes, } @unpublished{ACGHK16, @@ -31,9 +31,9 @@ Gaboardi, Marco and Hsu, Justin and Katsumata, {Shin-ya}}, - year = {}, + year = 2016, jh = yes, - docs = yes + docs = yes, } @unpublished{HKM-verif16, @@ -44,15 +44,15 @@ Hsu, Justin and Roth, Aaron and Strub, Pierre-Yves}, - year = {}, + year = 2016, url = {http://arxiv.org/abs/1502.04052}, jh = yes, - eprint = yes + eprint = yes, } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{BGGHS16c, - title = {Advanced Probabilistic Couplings for Differential Privacy}, + title = {Advanced probabilistic couplings for differential privacy}, author = {Barthe, Gilles and Fong, No{\'e}mie and Gaboardi, Marco and @@ -225,7 +225,7 @@ Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and Hsu, Justin}, - title = {Really naturally linear indexed type-checking}, + title = {Really natural linear indexed type-checking}, booktitle = {Symposium on Implementation and Application of Functional Programming Languages (IFL), Boston, Massachusetts}, year = {2014}, @@ -400,13 +400,11 @@ Hsu, Justin and Pierce, Benjamin C}, pages = {34--53}, - editor = {Murawski, Andrzej}, journal = {ACM SIGLOG News}, month = jan, year = {2016}, volume = {3}, number = {1}, - publisher = {ACM}, address = {New York, NY, USA}, url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, jh = yes, @@ -943,7 +941,6 @@ journal = jufks, volume = {10}, number = {5}, - month = oct, year = {2002}, pages = {557--570}, url = {http://dl.acm.org/citation.cfm?id=774552} @@ -1000,7 +997,7 @@ year = {2011} } -@article{certipriv, +@article{BKOZ13-toplas, author = {Barthe, Gilles and K{\"{o}}pf, Boris and Olmedo, Federico and @@ -2534,9 +2531,6 @@ verification conditions}, C{\'{e}}sar Kunz and Benedikt Schmidt and Pierre{-}Yves Strub}, - editor = {Alessandro Aldini and - Javier Lopez and - Fabio Martinelli}, title = {EasyCrypt: {A} Tutorial}, booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013 Tutorial Lectures}, @@ -2547,13 +2541,14 @@ verification conditions}, year = {2013} } -@article{Hoare69, - author = {C. A. R. Hoare}, - title = {An Axiomatic Basis for Computer Programming}, - journal = cacm, - year = {1969}, - volume = {12}, - number = {10} +@article{hoare1969axiomatic, + title={An axiomatic basis for computer programming}, + author={Hoare, Charles Antony Richard}, + journal=cacm, + volume={12}, + number={10}, + pages={576--580}, + year={1969}, } @incollection{Floyd67, @@ -2801,7 +2796,6 @@ language = {English} volume = "49", number = "5", pages = "672--713", - month = sep, year = "2002", journal-url = "http://portal.acm.org/browse_dl.cfm?idx = J401", } @@ -2997,7 +2991,6 @@ language = {English} title = "A Linear Logical Framework", author = "Iliano Cervesato and Frank Pfenning", journal = ic, - month = nov, year = "2002", volume = "179", number = "1", @@ -3442,7 +3435,6 @@ year = {2011} @Inproceedings {BBDSics11, author = {Babaioff, Moshe and Blumrosen, Liad and Dughmi, Shaddin and Singer, Yaron}, booktitle = itcs11, -month = jan, publisher = {Tsinghua University Press}, title = {Posting Prices with Unknown Distributions}, year = {2011}, @@ -3578,7 +3570,6 @@ author = "Faruk Gul and Ennio Stacchetti" volume={10}, number={3}, pages={853--865}, - month=sep, keywords={Substitutability; matching; combinatorial auctions; matroids}, abstract={We show that the class of preferences satisfying the Gross Substitutes condition of Kelso and Crawford (1982) is strictly larger than the class of Endowed Assignment Valuations of Hatfield and Milgrom (2005), thus resolving the open question posed by the latter paper. In particular, our result implies that not every substitutable valuation function can be \"decomposed\" into a combination of unit-demand valuations.}, url={https://econtheory.org/ojs/index.php/te/article/viewFile/20150853/13867/412} @@ -3590,7 +3581,6 @@ isbn={978-3-540-61310-7}, booktitle=ipco06, volume={1084}, series={Lecture Notes in Computer Science}, -editor={Cunningham, William H and McCormick, S Thomas and Queyranne, Maurice}, title={Convexity and {S}teinitz's exchange property}, url={http://dx.doi.org/10.1007/3-540-61310-2_20}, publisher={Springer Berlin Heidelberg}, @@ -3718,7 +3708,6 @@ keywords = "Underdemanded set " volume = {58}, number = {1}, year = 2015, - month = jan, pages = {61--103}, url = {http://www.orsj.or.jp/~archive/pdf/e_mag/Vol.58_01_061.pdf} } @@ -3802,7 +3791,6 @@ Hartline, Jason D and Talwar, Kunal}, url = {http://reports-archive.adm.cs.cmu.edu/anon/2007/CMU-CS-07-154.pdf}, year = {2007}, institution = {Carnegie Mellon University}, - month = sep, Date-Added = {09-01-2007}, } @@ -3862,10 +3850,6 @@ language={English} @inproceedings{BartheO13, author = {Barthe, Gilles and Olmedo, Federico}, - editor = {Fedor V. Fomin and - Rusins Freivalds and - Marta Z. Kwiatkowska and - David Peleg}, title = {Beyond Differential Privacy: Composition Theorems and Relational Logic for $f$-divergences between Probabilistic Programs}, booktitle = icalp13, @@ -3943,7 +3927,6 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} @inproceedings{CousotM12, author = {Patrick Cousot and Michael Monerau}, - editor = {Helmut Seidl}, title = {Probabilistic Abstract Interpretation}, booktitle = esop12, series = {Lecture Notes in Computer Science}, @@ -3999,3 +3982,153 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf} year={2015}, publisher={American Association for the Advancement of Science} } + +@article{aldous93shift, + author = {Aldous, D. J. and Thorisson, H.}, + citeulike-article-id = {4046853}, + journal = {Stochastic Proc. Appl}, + keywords = {aldousbib}, + mrnumber = {1198659}, + pages = {1--14}, + posted-at = {2009-02-13 21:55:05}, + priority = {2}, + title = {{Shift-Coupling}}, + volume = {44}, + year = {1993} +} + +@inproceedings{bubley1997path, + title={Path coupling: A technique for proving rapid mixing in {M}arkov chains}, + author={Bubley, Russ and Dyer, Martin}, + booktitle=focs97, + pages={223--231}, + year={1997}, +} + +@unpublished{BunS2016, + author = {{Bun}, M. and {Steinke}, T.}, + title = "{Concentrated Differential Privacy: Simplifications, Extensions, and Lower Bounds}", + journal = {ArXiv e-prints}, +archivePrefix = "arXiv", + eprint = {1605.02065}, + primaryClass = "cs.CR", + keywords = {Computer Science - Cryptography and Security, Computer Science - Data Structures and Algorithms, Computer Science - Information Theory, Computer Science - Learning}, + year = 2016, +} + +@unpublished{BunSU16, + author = {{Bun}, M. and {Steinke}, T. and {Ullman}, J.}, + title = {Make Up Your Mind: The Price of Online Queries in Differential Privacy}, + journal = {ArXiv e-prints}, +archivePrefix = "arXiv", + eprint = {1604.04618}, + primaryClass = "cs.CR", + keywords = {Computer Science - Cryptography and Security, Computer Science - Data Structures and Algorithms, Computer Science - Learning}, + year = 2016, +} + +@inproceedings{moser2009constructive, + title={A constructive proof of the {Lov{\'a}sz Local Lemma}}, + author={Moser, Robin A}, + booktitle=stoc09, + pages={343--350}, + year={2009}, +} + +@inproceedings{micciancio1997oblivious, + title={Oblivious data structures: applications to cryptography}, + author={Micciancio, Daniele}, + booktitle=stoc97, + pages={456--464}, + year={1997}, +} + +@inproceedings{jonsson1991specification, + title={Specification and refinement of probabilistic processes}, + author={Jonsson, Bengt and Larsen, Kim Guldstrand}, + booktitle=lics91, + pages={266--277}, + year={1991}, +} + +@article{barthe2013probabilistic, + title={Probabilistic relational reasoning for differential privacy}, + author={Barthe, Gilles and K{\"o}pf, Boris and Olmedo, Federico and + Zanella-B{\'e}guelin, Santiago}, + journal=toplas, + volume={35}, + number={3}, + pages={9}, + year={2013}, + url={http://software.imdea.org/~bkoepf/papers/toplas13.pdf} +} + +@article{rogers2016privacy, + title={Privacy Odometers and Filters: Pay-as-you-Go Composition}, + author={Rogers, Ryan and Roth, Aaron and Ullman, Jonathan and Vadhan, + Salil}, + journal={arXiv preprint arXiv:1605.08294}, + year={2016}, + url={http://arxiv.org/abs/1605.08294} +} + +@inproceedings{sousa2016cartesian, + title={Cartesian hoare logic for verifying k-safety properties}, + author={Sousa, Marcelo and Dillig, Isil}, + booktitle=pldi16, + pages={57--69}, + year={2016}, +} + +@inproceedings{BKOZ12-popl, + title={Probabilistic relational reasoning for differential privacy}, + author={Barthe, Gilles and K{\"o}pf, Boris and Olmedo, Federico and + Zanella B{\'e}guelin, Santiago}, + booktitle=popl12, + volume={47}, + number={1}, + pages={97--110}, + year={2012}, +} + +@article{zhang2016autopriv, + title={AutoPriv: Automating Differential Privacy Proofs}, + author={Zhang, Danfeng and Kifer, Daniel}, + journal={arXiv preprint arXiv:1607.08228}, + year={2016} +} + +@article{JerrumS89, + author = {Mark Jerrum and + Alistair Sinclair}, + title = {Approximating the Permanent}, + journal = siamjc, + volume = {18}, + number = {6}, + pages = {1149--1178}, + year = {1989}, + url = {http://dx.doi.org/10.1137/0218077}, + doi = {10.1137/0218077}, + timestamp = {Mon, 12 Sep 2011 16:10:07 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/JerrumS89}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{DBLP:journals/rsa/Jerrum95, + author = {Mark Jerrum}, + title = {A Very Simple Algorithm for Estimating the Number of + k-Colorings of a Low-Degree Graph}, + journal = {Random Struct. Algorithms}, + volume = {7}, + number = {2}, + pages = {157--166}, + year = {1995}, + url = {http://dx.doi.org/10.1002/rsa.3240070205}, + doi = {10.1002/rsa.3240070205}, + timestamp = {Sat, 14 Apr 2012 16:35:21 +0200}, + biburl = + {http://dblp.uni-trier.de/rec/bib/journals/rsa/Jerrum95}, + bibsource = {dblp computer science bibliography, + http://dblp.org} +} +