From 5fa0230c7f12fe091373bec0cc764ad14888ddc5 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 12 Oct 2016 22:09:09 -0400 Subject: [PATCH] Rearrange bibs. --- bibs/myrefs.bib | 138 +++++++++++++++++++++++++++++++++++------------- 1 file changed, 100 insertions(+), 38 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index a7f4cf6..559d6bd 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,5 +1,4 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - @unpublished{BEGGHS16, title = {Formal certification of randomized algorithms}, author = {Barthe, Gilles and @@ -13,6 +12,42 @@ docs = yes, } +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{GGHRW14, + author = {Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin and + Roth, Aaron and + Wu, Zhiwei Steven}, + 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, + slides = yes, + poster = yes, + eprint = yes, + note = "To appear. Previously published in " # icml14 # ", 2014." +} + +@article{HHRRW14, + author = {Hsu, Justin and + Huang, Zhiyi and + Roth, Aaron and + Roughgarden, Tim and + Wu, Zhiwei Steven}, + title = {Private matchings and allocations}, + journal = siamjc, + year = {2016}, + reviewed = yes, + url = {http://arxiv.org/abs/1311.2828}, + jh = yes, + poster = yes, + eprint = yes, + note = "To appear. Previously published in " # stoc14 # ", 2014." +} + %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{BGHS16, title = {Coupling proofs are probabilistic product programs}, @@ -22,6 +57,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = popl17, year = 2017, + reviewed = yes, jh = yes, eprint = yes, url = {http://arxiv.org/abs/1607.03455}, @@ -37,6 +73,7 @@ Katsumata, {Shin-ya}}, booktitle = popl17, year = 2017, + reviewed = yes, jh = yes, docs = yes, note = {To appear.} @@ -52,6 +89,7 @@ Strub, Pierre-Yves}, booktitle = wine16, year = 2016, + reviewed = yes, url = {http://arxiv.org/abs/1502.04052}, jh = yes, eprint = yes, @@ -68,6 +106,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = ccs16, year = 2016, + reviewed = yes, jh = yes, eprint = yes, url = {https://arxiv.org/abs/1606.07143}, @@ -85,6 +124,7 @@ Strub, Pierre-Yves}, booktitle = ccs16, year = {2016}, + reviewed = yes, url = {https://arxiv.org/abs/1605.00283}, jh = yes, eprint = yes, @@ -98,6 +138,7 @@ Hsu, Justin}, booktitle = cav16, year = 2016, + reviewed = yes, jh = yes, eprint = yes, url = {https://arxiv.org/abs/1605.02765}, @@ -112,6 +153,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = icalp16, year = 2016, + reviewed = yes, jh = yes, eprint = yes, url = {http://arxiv.org/abs/1602.05681} @@ -126,6 +168,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = lics16, year = 2016, + reviewed = yes, url = {http://arxiv.org/abs/1601.05047}, jh = yes, eprint = yes, @@ -141,6 +184,7 @@ Vohra, Rakesh}, booktitle = stoc16, year = 2016, + reviewed = yes, url = {http://arxiv.org/abs/1511.00925}, jh = yes, eprint = yes, @@ -154,6 +198,7 @@ title = {Jointly private convex programming}, booktitle = soda16, year = {2016}, + reviewed = yes, url = {http://arxiv.org/abs/1411.0998}, jh = yes, eprint = yes, @@ -170,6 +215,7 @@ Strub, {P}ierre-{Y}ves}, booktitle = lpar15, year = 2015, + reviewed = yes, jh = yes, slides = yes, eprint = yes, @@ -186,21 +232,12 @@ author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, year = {2015}, booktitle = hcomp15, + reviewed = yes, url = {http://arxiv.org/abs/1508.03593}, jh = yes, eprint = yes, } -@inproceedings{HsuTaxes, - author = {Justin Hsu}, - title = {Death, taxes, and formal verification (Abstract)}, - year = {2015}, - booktitle = snapl15, - jh = yes, - slides = yes, - docs = yes -} - @inproceedings{GHaccuracy, author = {Marco Gaboardi and Justin Hsu}, @@ -208,6 +245,7 @@ year = {2015}, booktitle = snapl15, jh = yes, + reviewed = yes, slides = yes, docs = yes } @@ -223,6 +261,7 @@ Strub, Pierre-Yves}, booktitle = popl15, year = {2015}, + reviewed = yes, url = {http://arxiv.org/abs/1407.6845}, jh = yes, slides = yes, @@ -238,6 +277,7 @@ booktitle = {Symposium on Implementation and Application of Functional Programming Languages (IFL), Boston, Massachusetts}, year = {2014}, + reviewed = yes, url = {http://arxiv.org/abs/1503.04522}, jh = yes, slides = yes, @@ -254,6 +294,7 @@ title = {Proving differential privacy in {H}oare logic}, booktitle = csf14, year = {2014}, + reviewed = yes, url = {http://arxiv.org/abs/1407.2988}, jh = yes, eprint = yes @@ -265,11 +306,12 @@ Haeberlen, Andreas and Khanna, Sanjeev and Narayan, Arjun and - Pierce, Benjamin C and + Pierce, Benjamin C. and Roth, Aaron}, title = {Differential privacy: An economic method for choosing epsilon}, booktitle = csf14, year = 2014, + reviewed = yes, url = {http://arxiv.org/abs/1402.3329}, jh = yes, slides = yes, @@ -284,6 +326,7 @@ title = {Privately solving linear programs}, booktitle = icalp14, year = {2014}, + reviewed = yes, pages = {612--624}, url = {http://arxiv.org/abs/1402.3631}, timestamp = {Fri, 31 Oct 2014 14:45:31 +0100}, @@ -294,7 +337,7 @@ eprint = yes } -@inproceedings{GGHRW14, +inproceedings{GGHRW14, author = {Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and Hsu, Justin and @@ -303,14 +346,14 @@ title = {Dual Query: Practical private query release for high dimensional data}, booktitle = icml14, year = {2014}, + reviewed = yes, url = {http://arxiv.org/abs/1402.1526}, jh = yes, slides = yes, poster = yes, - eprint = yes -} + eprint = yes } -@inproceedings{HHRRW14, +inproceedings{HHRRW14, author = {Hsu, Justin and Huang, Zhiyi and Roth, Aaron and @@ -319,6 +362,7 @@ title = {Private matchings and allocations}, booktitle = stoc14, year = {2014}, + reviewed = yes, pages = {21--30}, url = {http://arxiv.org/abs/1311.2828}, timestamp = {Wed, 22 Oct 2014 14:44:14 +0200}, @@ -333,10 +377,11 @@ title = {Towards dependently typed {H}askell: {S}ystem {FC} with kind equality}, author = {Weirich, Stephanie and Hsu, Justin and - Eisenberg, Richard A}, + Eisenberg, Richard A.}, booktitle = icfp13, url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, year = {2013}, + reviewed = yes, jh = yes, docs = yes } @@ -350,35 +395,24 @@ booktitle = stoc13, pages = {341--350}, year = {2013}, + reviewed = yes, jh = yes, slides = yes, eprint = yes } -@inproceedings{GGHHP13, - title = {Automatic sensitivity analysis using linear dependent types}, - author = {Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Haeberlen, Andreas and - Hsu, Justin and - Pierce, Benjamin C}, - url = {http://fopara2013.cs.unibo.it/paper_8.pdf}, - booktitle = fopara, - year = {2013}, - jh = yes -} - @inproceedings{GHHNP13, title = {Linear dependent types for differential privacy}, author = {Gaboardi, Marco and Haeberlen, Andreas and Hsu, Justin and Narayan, Arjun and - Pierce, Benjamin C}, + Pierce, Benjamin C.}, booktitle = popl13, pages = {357--370}, url = {http://dl.acm.org/citation.cfm?id=2429113}, year = {2013}, + reviewed = yes, jh = yes, docs = yes } @@ -391,6 +425,7 @@ booktitle = icalp12, pages = {461--472}, year = {2012}, + reviewed = yes, publisher = springer, url = {http://arxiv.org/abs/1202.4910}, note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now @@ -400,13 +435,13 @@ eprint = yes } -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{Murawski:2016:2893582, title = {Programming language techniques for differential privacy}, author = {Barthe, Gilles and Gaboardi, Marco and Hsu, Justin and - Pierce, Benjamin C}, + Pierce, Benjamin C.}, pages = {34--53}, journal = {ACM SIGLOG News}, month = jan, @@ -415,10 +450,37 @@ number = {1}, address = {New York, NY, USA}, url = {http://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf}, + reviewed = no, jh = yes, eprint = yes } +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{GGHHP13, + title = {Automatic sensitivity analysis using linear dependent types}, + author = {Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Haeberlen, Andreas and + Hsu, Justin and + Pierce, Benjamin C.}, + url = {http://fopara2013.cs.unibo.it/paper_8.pdf}, + booktitle = fopara, + year = {2013}, + reviewed = no, + jh = yes +} + +@inproceedings{HsuTaxes, + author = {Justin Hsu}, + title = {Death, taxes, and formal verification (Abstract)}, + year = {2015}, + booktitle = snapl15, + reviewed = no, + jh = yes, + slides = yes, + docs = yes +} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @misc{msrc16-talk, title = {Formal Verification of Randomized Algorithms}, @@ -1020,7 +1082,7 @@ } @inproceedings{ReedPierce10, - author = {Jason Reed and Benjamin C Pierce}, + author = {Jason Reed and Benjamin C. Pierce}, title = {Distance Makes the Types Grow Stronger: {A} Calculus for Differential Privacy}, booktitle = icfp10, @@ -1901,7 +1963,7 @@ year = {2014} } @inproceedings{DBLP:conf/popl/GreenbergPW10, - author = {Michael Greenberg and Benjamin C Pierce and Stephanie Weirich}, + author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich}, title = {Contracts made manifest}, booktitle = popl10, year = {2010}, @@ -1928,7 +1990,7 @@ year = {2014} } @misc{Pierce:2012, - author = {Benjamin C Pierce}, + author = {Benjamin C. Pierce}, title = {Differential Privacy in the Programming Languages Community}, year = {2012}, howpublished = {Invited tutorial at DIMACS Workshop on Recent Work on @@ -2891,7 +2953,7 @@ language = {English} @inproceedings{HPN11, title = {Differential Privacy Under Fire}, author = {Haeberlen, Andreas and - Pierce, Benjamin C and + Pierce, Benjamin C. and Narayan, Arjun}, booktitle = {USENIX Security Symposium}, year = {2011} @@ -2912,7 +2974,7 @@ language = {English} author = {David Walker}, title = {Substructural Type Systems}, booktitle = {Advanced Topics in Types and Programming Languages}, - editor = {Benjamin C Pierce}, + editor = {Benjamin C. Pierce}, publisher = mitpress, year = {2005}, }