diff --git a/bibs/header.bib b/bibs/header.bib index a2015f6..c23c812 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -51,12 +51,15 @@ @STRING{elsevier = "Elsevier" } @STRING{entcs = "Electronic Notes in Theoretical Computer Science" } @STRING{lncs = "Lecture Notes in Computer Science" } +@STRING{lipics = "Leibniz International Proceedings in Informatics" } @STRING{lnm = "Lecture Notes in Mathematics" } @STRING{gtm = "Graduate Texts in Mathematics" } @STRING{lfcs = "Laboratory for Foundations of Computer Science, University of Edinburgh" } +@STRING{jmlr = "Journal of Machine Learning Research"} @STRING{mp = "MIT Press" } @STRING{mitpress = mp } +@STRING{dagstuhl = "Schloss Dagstuhl--Leibniz Center for Informatics" } @STRING{informs = "INFORMS" } % % Journals and magazines @@ -97,7 +100,7 @@ @STRING{jufks = "{I}nternational {J}ournal of {U}ncertainty, {F}uzziness and {K}nowledge-{B}ased {S}ystems"} @STRING{toc = "Theory of Computing"} -@STRING{jmlr = "Journal of Machine Learning Research"} +@STRING{jmlrproc = "JMLR: Workshop and Conference Proceedings"} @STRING{jpc = "Journal of Privacy and Confidentiality"} @STRING{mor = "Mathematics of Operations Research"} % @@ -504,7 +507,7 @@ @STRING{fossacs = {International Confernece on Foundations of Software Science and Computation Structures {(FoSSaCS)}}} @STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)} } -@STRING{hcomp = {Conference on Human Computation \& Crowdsourcing (HCOMP)} } +@STRING{hcomp = {{AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)} } @STRING{hoots = {Workshop on Higher Order Operational Techniques in Semantics (HOOTS)} } @STRING{icalp = {International Colloquium on Automata, Languages and diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 86b698d..efb135b 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -22,9 +22,9 @@ title = {Dual Query: Practical private query release for high dimensional data}, journal = jpc, year = {2016}, - reviewed = yes, url = {http://arxiv.org/abs/1402.1526}, jh = yes, + reviewed = yes, poster = {http://justinh.su/files/posters/dualquery.pdf}, note = "To appear. Previously published in " # icml14 # ", 2014." } @@ -38,9 +38,9 @@ title = {Private matchings and allocations}, journal = siamjc, year = {2016}, - reviewed = yes, url = {http://arxiv.org/abs/1311.2828}, jh = yes, + reviewed = yes, poster = {http://justinh.su/files/posters/matchings.pdf}, note = "To appear. Previously published in " # stoc14 # ", 2014." } @@ -54,9 +54,9 @@ Strub, {P}ierre-{Y}ves}, booktitle = popl17, year = 2017, - reviewed = yes, - jh = yes, url = {http://arxiv.org/abs/1607.03455}, + jh = yes, + reviewed = yes, note = {To appear.} } @@ -69,9 +69,9 @@ Katsumata, {Shin-ya}}, booktitle = popl17, year = 2017, - reviewed = yes, - jh = yes, url = {http://justinh.su/files/papers/metric-sem.pdf}, + jh = yes, + reviewed = yes, note = {To appear.} } @@ -85,9 +85,9 @@ Strub, Pierre-Yves}, booktitle = wine16, year = 2016, - reviewed = yes, url = {http://arxiv.org/abs/1502.04052}, jh = yes, + reviewed = yes, note = {To appear.} } @@ -101,9 +101,9 @@ Strub, {P}ierre-{Y}ves}, booktitle = ccs16, year = 2016, - reviewed = yes, - jh = yes, url = {https://arxiv.org/abs/1606.07143}, + jh = yes, + reviewed = yes, note = {To appear.} } @@ -118,9 +118,9 @@ Strub, Pierre-Yves}, booktitle = ccs16, year = {2016}, - reviewed = yes, url = {https://arxiv.org/abs/1605.00283}, jh = yes, + reviewed = yes, note = {To appear.} } @inproceedings{BEFFH16, @@ -130,10 +130,14 @@ Ferrer Fioriti, Luis Mar{\'i}a and Hsu, Justin}, booktitle = cav16, + pages = {43--61}, + volume = {9779}, + series = lncs, year = 2016, - reviewed = yes, - jh = yes, + publisher = springer, url = {https://arxiv.org/abs/1605.02765}, + jh = yes, + reviewed = yes, } @inproceedings{BGGHS16b, @@ -144,10 +148,14 @@ Hsu, Justin and Strub, {P}ierre-{Y}ves}, booktitle = icalp16, + pages = {107:1--107:15}, + volume = {55}, + series = lipics, year = 2016, + publisher = dagstuhl, + url = {http://arxiv.org/abs/1602.05681}, reviewed = yes, jh = yes, - url = {http://arxiv.org/abs/1602.05681} } @inproceedings{BGGHS16, @@ -159,9 +167,9 @@ Strub, {P}ierre-{Y}ves}, booktitle = lics16, year = 2016, - reviewed = yes, url = {http://arxiv.org/abs/1601.05047}, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/approx-couplings.pdf} } @@ -173,10 +181,11 @@ Roth, Aaron and Vohra, Rakesh}, booktitle = stoc16, + pages = {440--453}, year = 2016, - reviewed = yes, url = {http://arxiv.org/abs/1511.00925}, jh = yes, + reviewed = yes, } @inproceedings{HHRW16, @@ -186,10 +195,11 @@ Wu, Zhiwei Steven}, title = {Jointly private convex programming}, booktitle = soda16, + pages = {580--599}, year = {2016}, - reviewed = yes, url = {http://arxiv.org/abs/1411.0998}, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/privdude.pdf}, } @@ -202,25 +212,26 @@ Stefanesco, L{\'e}o and Strub, {P}ierre-{Y}ves}, booktitle = lpar15, + pages = {387--401}, + volume = {9450}, + series = lncs, year = 2015, - reviewed = yes, + publisher = springer, + reviewed = yes, jh = yes, slides = {http://justinh.su/files/slides/couplings.pdf}, - volume = {9450}, - pages = {387--401}, - publisher = springer, - series = lncs, url = {http://arxiv.org/abs/1509.03476}, } @inproceedings{AHJ15, title = {Online assignment with heterogeneous tasks in crowdsourcing markets}, author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, - year = {2015}, booktitle = hcomp15, - reviewed = yes, + pages = {12--21}, + year = {2015}, url = {http://arxiv.org/abs/1508.03593}, jh = yes, + reviewed = yes, } @inproceedings{GHaccuracy, @@ -229,10 +240,14 @@ title = {A {Theory AB} toolbox}, year = {2015}, booktitle = snapl15, + pages = {129--139}, + volume = {32}, + series = lipics, + publisher = dagstuhl, + url = {http://justinh.su/files/papers/theory-ab.pdf}, jh = yes, reviewed = yes, slides = {http://justinh.su/files/slides/theory-ab.pdf}, - url = {http://justinh.su/files/papers/theory-ab.pdf} } @inproceedings{BGGHRS15, @@ -245,6 +260,7 @@ Roth, Aaron and Strub, Pierre-Yves}, booktitle = popl15, + pages = {55--68}, year = {2015}, reviewed = yes, url = {http://arxiv.org/abs/1407.6845}, @@ -260,10 +276,12 @@ title = {Really natural linear indexed type-checking}, booktitle = {Symposium on Implementation and Application of Functional Programming Languages (IFL), Boston, Massachusetts}, + pages = {5:1--5:12}, year = {2014}, - reviewed = yes, + publisher = acmpress, url = {http://arxiv.org/abs/1503.04522}, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/dfuzz-tc.pdf}, } @@ -276,6 +294,7 @@ Strub, Pierre-Yves}, title = {Proving differential privacy in {H}oare logic}, booktitle = csf14, + pages = {411--424}, year = {2014}, reviewed = yes, url = {http://arxiv.org/abs/1407.2988}, @@ -292,6 +311,7 @@ Roth, Aaron}, title = {Differential privacy: An economic method for choosing epsilon}, booktitle = csf14, + pages = {398--410}, year = 2014, reviewed = yes, url = {http://arxiv.org/abs/1402.3329}, @@ -306,14 +326,14 @@ Ullman, Jonathan}, title = {Privately solving linear programs}, booktitle = icalp14, - year = {2014}, - reviewed = yes, pages = {612--624}, + volume = 8572, + series = lncs, + year = {2014}, + publisher = springer, url = {http://arxiv.org/abs/1402.3631}, - timestamp = {Fri, 31 Oct 2014 14:45:31 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/HsuRRU14}, - bibsource = {dblp computer science bibliography, http://dblp.org}, jh = yes, + reviewed = yes, slides = {http://justinh.su/files/slides/priv-lp.pdf}, } @@ -325,7 +345,11 @@ inproceedings{GGHRW14, Wu, Zhiwei Steven}, title = {Dual Query: Practical private query release for high dimensional data}, booktitle = icml14, + pages = {1170--1178}, + volume = {32}, + series = jmlrproc, year = {2014}, + publisher = jmlr, reviewed = yes, url = {http://arxiv.org/abs/1402.1526}, jh = yes, @@ -353,13 +377,15 @@ inproceedings{HHRRW14, } @inproceedings{WHE13, - title = {Towards dependently typed {H}askell: {S}ystem {FC} with kind equality}, + title = {{S}ystem {FC} with explicit kind equality}, author = {Weirich, Stephanie and Hsu, Justin and Eisenberg, Richard A.}, booktitle = icfp13, - url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, + pages = {275--286}, year = {2013}, + publisher = acmpress, + url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, reviewed = yes, jh = yes, } @@ -400,6 +426,8 @@ inproceedings{HHRRW14, Roth, Aaron}, booktitle = icalp12, pages = {461--472}, + volume = {7391}, + series = lncs, year = {2012}, reviewed = yes, publisher = springer,