Shuffle bibliography, add a few missing strings.
This commit is contained in:
Justin Hsu
parent
15e9937a54
commit
ff08f9562a
|
|
@ -57,6 +57,7 @@
|
||||||
University of Edinburgh" }
|
University of Edinburgh" }
|
||||||
@STRING{mp = "MIT Press" }
|
@STRING{mp = "MIT Press" }
|
||||||
@STRING{mitpress = mp }
|
@STRING{mitpress = mp }
|
||||||
|
@STRING{informs = "INFORMS" }
|
||||||
%
|
%
|
||||||
% Journals and magazines
|
% Journals and magazines
|
||||||
% %%%%%%%%%%%%%%%%%%%%%%
|
% %%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
|
@ -457,6 +458,7 @@
|
||||||
Software Components and Architectures (FESCA)} }
|
Software Components and Architectures (FESCA)} }
|
||||||
@STRING{flops = {International Symposium on Functional and Logic Programming
|
@STRING{flops = {International Symposium on Functional and Logic Programming
|
||||||
(FLOPS)} }
|
(FLOPS)} }
|
||||||
|
@STRING{fm = {International Symposium on Formal Methods (FM)} }
|
||||||
@STRING{fmco = {International Symposia on Formal Methods for Components and
|
@STRING{fmco = {International Symposia on Formal Methods for Components and
|
||||||
Objects (FMCO)} }
|
Objects (FMCO)} }
|
||||||
@STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer
|
@STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer
|
||||||
|
|
@ -469,6 +471,8 @@
|
||||||
@STRING{icse = {International Conference on Software Engineering (ICSE)} }
|
@STRING{icse = {International Conference on Software Engineering (ICSE)} }
|
||||||
@STRING{lfcompsci = {International Symposium on Logical Foundations of Computer
|
@STRING{lfcompsci = {International Symposium on Logical Foundations of Computer
|
||||||
Science (LFCS)} }
|
Science (LFCS)} }
|
||||||
|
@STRING{lpar = {International Conference on Logic for Programming,
|
||||||
|
Artificial Intelligence and Reasoning (LPAR)} }
|
||||||
@STRING{mfps = {Workshop on the Mathematical Foundations of Programming
|
@STRING{mfps = {Workshop on the Mathematical Foundations of Programming
|
||||||
Semantics (MFPS)} }
|
Semantics (MFPS)} }
|
||||||
@STRING{osdi = {USENIX Symposium on Operating Systems Design and
|
@STRING{osdi = {USENIX Symposium on Operating Systems Design and
|
||||||
|
|
@ -489,6 +493,7 @@
|
||||||
@STRING{tacas = {International Conference on Tools and Algorithms for the
|
@STRING{tacas = {International Conference on Tools and Algorithms for the
|
||||||
Construction and Analysis of Systems (TACAS)} }
|
Construction and Analysis of Systems (TACAS)} }
|
||||||
@STRING{tapsoft = {Theory and Practice of Software Development (TAPSOFT)} }
|
@STRING{tapsoft = {Theory and Practice of Software Development (TAPSOFT)} }
|
||||||
|
@STRING{tfp = {Symposium on Trends in Functional Programming (TFP)} }
|
||||||
@STRING{tic = {ACM SIGPLAN Workshop on Types in Compilation ({TIC})} }
|
@STRING{tic = {ACM SIGPLAN Workshop on Types in Compilation ({TIC})} }
|
||||||
@STRING{tlca = {International Conference on Typed Lambda Calculi and
|
@STRING{tlca = {International Conference on Typed Lambda Calculi and
|
||||||
Applications (TLCA)} }
|
Applications (TLCA)} }
|
||||||
|
|
@ -540,6 +545,7 @@
|
||||||
@STRING{csl01 = csl # ", Paris, France" }
|
@STRING{csl01 = csl # ", Paris, France" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" }
|
@STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" }
|
||||||
|
@STRING{csfw04 = csfw # ", Pacific Grove, California" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{ecoop90 = oopsla # "/" # ecoop # ", Ottawa, Ontario" }
|
@STRING{ecoop90 = oopsla # "/" # ecoop # ", Ottawa, Ontario" }
|
||||||
@STRING{ecoop97 = ecoop # ", Jyv{\"a}skyl{\"a}, Finland" }
|
@STRING{ecoop97 = ecoop # ", Jyv{\"a}skyl{\"a}, Finland" }
|
||||||
|
|
@ -555,6 +561,7 @@
|
||||||
@STRING{esop00 = esop # ", Berlin, Germany" }
|
@STRING{esop00 = esop # ", Berlin, Germany" }
|
||||||
@STRING{esop01 = esop # ", Genova, Italy" }
|
@STRING{esop01 = esop # ", Genova, Italy" }
|
||||||
@STRING{esop02 = esop # ", Grenoble, France" }
|
@STRING{esop02 = esop # ", Grenoble, France" }
|
||||||
|
@STRING{esop07 = esop # ", Braga, Portugal" }
|
||||||
@STRING{esop09 = esop # ", York, England" }
|
@STRING{esop09 = esop # ", York, England" }
|
||||||
@STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" }
|
@STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" }
|
||||||
@STRING{esop13 = esop # ", Rome, Italy" }
|
@STRING{esop13 = esop # ", Rome, Italy" }
|
||||||
|
|
@ -564,6 +571,9 @@
|
||||||
% ---
|
% ---
|
||||||
@STRING{flops04 = flops # ", Nara, Japan" }
|
@STRING{flops04 = flops # ", Nara, Japan" }
|
||||||
% ---
|
% ---
|
||||||
|
@STRING{fm08 = fm # ", Turku, Finland" }
|
||||||
|
@STRING{fm11 = fm # ", Limerick, Ireland" }
|
||||||
|
% ---
|
||||||
@STRING{fmco06 = fmco # ", Amsterdam, The Netherlands" }
|
@STRING{fmco06 = fmco # ", Amsterdam, The Netherlands" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{fsttcs93 = fsttcs # ", Bombay, India" }
|
@STRING{fsttcs93 = fsttcs # ", Bombay, India" }
|
||||||
|
|
@ -583,6 +593,9 @@
|
||||||
@STRING{icse14 = icse # ", Hyderabad, India" }
|
@STRING{icse14 = icse # ", Hyderabad, India" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" }
|
@STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" }
|
||||||
|
@STRING{lfcompsci13 = lfcompsci # ", San Diego, California" }
|
||||||
|
% ---
|
||||||
|
@STRING{lpar15 = lpar # ", Suva, Fiji" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{mfps89 = mfps # ", New Orleans, Louisiana" }
|
@STRING{mfps89 = mfps # ", New Orleans, Louisiana" }
|
||||||
@STRING{mfps95 = mfps # ", New Orleans, Louisiana" }
|
@STRING{mfps95 = mfps # ", New Orleans, Louisiana" }
|
||||||
|
|
@ -607,6 +620,8 @@
|
||||||
@STRING{sas96 = sas # ", Aachen, Germany" }
|
@STRING{sas96 = sas # ", Aachen, Germany" }
|
||||||
@STRING{sas97 = sas # ", Paris, France" }
|
@STRING{sas97 = sas # ", Paris, France" }
|
||||||
@STRING{sas01 = sas # ", Paris, France" }
|
@STRING{sas01 = sas # ", Paris, France" }
|
||||||
|
@STRING{sas04 = sas # ", Verona, Italy" }
|
||||||
|
@STRING{sas05 = sas # ", London, England" }
|
||||||
% ---
|
% ---
|
||||||
@STRING{sosp93 = sosp # ", Asheville, North Carolina" }
|
@STRING{sosp93 = sosp # ", Asheville, North Carolina" }
|
||||||
% ---
|
% ---
|
||||||
|
|
@ -618,6 +633,8 @@
|
||||||
@STRING{tapsoft93 = tapsoft # ", Orsay, France" }
|
@STRING{tapsoft93 = tapsoft # ", Orsay, France" }
|
||||||
@STRING{tapsoft97 = tapsoft # ", Lille, France" }
|
@STRING{tapsoft97 = tapsoft # ", Lille, France" }
|
||||||
% ---
|
% ---
|
||||||
|
@STRING{tfp07 = tfp # ", New York, New York" }
|
||||||
|
% ---
|
||||||
@STRING{tic97 = tic # ", Amsterdam, The Netherlands"}
|
@STRING{tic97 = tic # ", Amsterdam, The Netherlands"}
|
||||||
@STRING{tic98 = tic # ", Kyoto, Japan"}
|
@STRING{tic98 = tic # ", Kyoto, Japan"}
|
||||||
@STRING{tic00 = tic # ", Montr{\'e}al, Qu{\'e}bec" }
|
@STRING{tic00 = tic # ", Montr{\'e}al, Qu{\'e}bec" }
|
||||||
|
|
|
||||||
560
bibs/myrefs.bib
560
bibs/myrefs.bib
|
|
@ -1,3 +1,282 @@
|
||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
@unpublished{HKM-verif15,
|
||||||
|
title = {Computer-aided verification in mechanism design},
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Gallego Arias, Emilio Jes{\'u}s and
|
||||||
|
Hsu, Justin and
|
||||||
|
Roth, Aaron and
|
||||||
|
Strub, Pierre-Yves},
|
||||||
|
year = {2015},
|
||||||
|
url = {http://arxiv.org/abs/1502.04052},
|
||||||
|
jh = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@unpublished{HHRW15,
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Huang, Zhiyi and
|
||||||
|
Roth, Aaron and
|
||||||
|
Wu, Zhiwei Steven},
|
||||||
|
title = {Jointly private convex programming},
|
||||||
|
year = {2015},
|
||||||
|
url = {http://arxiv.org/abs/1411.0998},
|
||||||
|
jh = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@unpublished{BEGGHS15,
|
||||||
|
title = {Formal Certification of Randomized Algorithms},
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Espitau, Thomas and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Gr{\'e}goire, Benjamin and
|
||||||
|
Hsu, Justin and
|
||||||
|
Strub, {P}ierre-{Y}ves},
|
||||||
|
year = 2015,
|
||||||
|
jh = yes,
|
||||||
|
docs = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
@inproceedings{BEGHSS15,
|
||||||
|
title = {Relational reasoning via probabilistic coupling},
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Espitau, Thomas and
|
||||||
|
Gr{\'e}goire, Benjamin and
|
||||||
|
Hsu, Justin and
|
||||||
|
Stefanesco, L{\'e}o and
|
||||||
|
Strub, {P}ierre-{Y}ves},
|
||||||
|
booktitle = lpar15,
|
||||||
|
year = 2015,
|
||||||
|
jh = yes,
|
||||||
|
docs = yes,
|
||||||
|
note = {To appear.}
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{AHJ15,
|
||||||
|
title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing
|
||||||
|
Markets},
|
||||||
|
author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
|
||||||
|
year = {2015},
|
||||||
|
booktitle = hcomp15,
|
||||||
|
url = {http://arxiv.org/abs/1508.03593},
|
||||||
|
jh = yes,
|
||||||
|
eprint = yes,
|
||||||
|
note = {To appear.}
|
||||||
|
}
|
||||||
|
|
||||||
|
@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},
|
||||||
|
title = {A Theory {AB} Toolbox},
|
||||||
|
year = {2015},
|
||||||
|
booktitle = snapl15,
|
||||||
|
jh = yes,
|
||||||
|
slides = yes,
|
||||||
|
docs = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{BGGHRS15,
|
||||||
|
title = {Higher-order approximate relational refinement types for
|
||||||
|
mechanism design and differential privacy},
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Gallego Arias, Emilio Jes{\'u}s and
|
||||||
|
Hsu, Justin and
|
||||||
|
Roth, Aaron and
|
||||||
|
Strub, Pierre-Yves},
|
||||||
|
booktitle = popl15,
|
||||||
|
year = {2015},
|
||||||
|
url = {http://arxiv.org/abs/1407.6845},
|
||||||
|
jh = yes,
|
||||||
|
slides = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{AGGH14,
|
||||||
|
author = {de Amorim, Arthur Azevedo and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Gallego Arias, Emilio Jes{\'u}s and
|
||||||
|
Hsu, Justin},
|
||||||
|
title = {Really naturally linear indexed type-checking},
|
||||||
|
booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts},
|
||||||
|
year = {2014},
|
||||||
|
url = {http://arxiv.org/abs/1503.04522},
|
||||||
|
jh = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{BGGHKS14,
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Gallego Arias, Emilio Jes{\'u}s and
|
||||||
|
Hsu, Justin and
|
||||||
|
Kunz, C\'esar and
|
||||||
|
Strub, Pierre-Yves},
|
||||||
|
title = {Proving differential privacy in {H}oare logic},
|
||||||
|
booktitle = csf14,
|
||||||
|
year = {2014},
|
||||||
|
url = {http://arxiv.org/abs/1407.2988},
|
||||||
|
jh = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{HGH14,
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Gaboardi, Marco and
|
||||||
|
Haeberlen, Andreas and
|
||||||
|
Khanna, Sanjeev and
|
||||||
|
Narayan, Arjun and
|
||||||
|
Pierce, Benjamin C and
|
||||||
|
Roth, Aaron},
|
||||||
|
title = {Differential privacy: An economic method for choosing epsilon},
|
||||||
|
booktitle = csf14,
|
||||||
|
year = 2014,
|
||||||
|
url = {http://arxiv.org/abs/1402.3329},
|
||||||
|
jh = yes,
|
||||||
|
slides = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{HRRU14,
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Roth, Aaron and
|
||||||
|
Roughgarden, Tim and
|
||||||
|
Ullman, Jonathan},
|
||||||
|
title = {Privately solving linear programs},
|
||||||
|
booktitle = icalp14,
|
||||||
|
year = {2014},
|
||||||
|
pages = {612--624},
|
||||||
|
url = {http://arxiv.org/abs/1402.3631},
|
||||||
|
doi = {10.1007/978-3-662-43948-7_51},
|
||||||
|
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,
|
||||||
|
slides = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{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},
|
||||||
|
booktitle = icml14,
|
||||||
|
year = {2014},
|
||||||
|
url = {http://arxiv.org/abs/1402.1526},
|
||||||
|
jh = yes,
|
||||||
|
slides = yes,
|
||||||
|
poster = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{HHRRW14,
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Huang, Zhiyi and
|
||||||
|
Roth, Aaron and
|
||||||
|
Roughgarden, Tim and
|
||||||
|
Wu, Zhiwei Steven},
|
||||||
|
title = {Private matchings and allocations},
|
||||||
|
booktitle = stoc14,
|
||||||
|
year = {2014},
|
||||||
|
pages = {21--30},
|
||||||
|
url = {http://arxiv.org/abs/1311.2828},
|
||||||
|
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},
|
||||||
|
jh = yes,
|
||||||
|
poster = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{WHE13,
|
||||||
|
title = {Towards dependently typed {H}askell: System {FC} with kind equality},
|
||||||
|
author = {Weirich, Stephanie and
|
||||||
|
Hsu, Justin and
|
||||||
|
Eisenberg, Richard A},
|
||||||
|
booktitle = icfp13,
|
||||||
|
url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
|
||||||
|
volume = {13},
|
||||||
|
year = {2013},
|
||||||
|
jh = yes,
|
||||||
|
docs = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{HRU13,
|
||||||
|
title = {Differential privacy for the analyst via private equilibrium computation},
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Roth, Aaron and
|
||||||
|
Ullman, Jonathon},
|
||||||
|
url = {http://arxiv.org/abs/1211.0877},
|
||||||
|
booktitle = stoc13,
|
||||||
|
pages = {341--350},
|
||||||
|
year = {2013},
|
||||||
|
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},
|
||||||
|
booktitle = popl13,
|
||||||
|
pages = {357--370},
|
||||||
|
url = {http://dl.acm.org/citation.cfm?id=2429113},
|
||||||
|
year = {2013},
|
||||||
|
jh = yes,
|
||||||
|
docs = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{HKR12,
|
||||||
|
title = {Distributed private heavy hitters},
|
||||||
|
author = {Hsu, Justin and
|
||||||
|
Khanna, Sanjeev and
|
||||||
|
Roth, Aaron},
|
||||||
|
booktitle = icalp12,
|
||||||
|
pages = {461--472},
|
||||||
|
year = {2012},
|
||||||
|
publisher = springer,
|
||||||
|
url = {http://arxiv.org/abs/1202.4910},
|
||||||
|
note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now
|
||||||
|
fixed.},
|
||||||
|
jh = yes,
|
||||||
|
slides = yes,
|
||||||
|
eprint = yes
|
||||||
|
}
|
||||||
|
|
||||||
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
@article{job-matching,
|
@article{job-matching,
|
||||||
title = {Job Matching, Coalition Formation, and Gross Substitutes},
|
title = {Job Matching, Coalition Formation, and Gross Substitutes},
|
||||||
volume = {50},
|
volume = {50},
|
||||||
|
|
@ -99,20 +378,6 @@
|
||||||
year = {2013},
|
year = {2013},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{HRU13,
|
|
||||||
title = {Differential privacy for the analyst via private equilibrium computation},
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Roth, Aaron and
|
|
||||||
Ullman, Jonathon},
|
|
||||||
url = {http://arxiv.org/abs/1211.0877},
|
|
||||||
booktitle = stoc13,
|
|
||||||
pages = {341--350},
|
|
||||||
year = {2013},
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{HR10,
|
@inproceedings{HR10,
|
||||||
title = {A multiplicative weights mechanism for privacy-preserving data analysis},
|
title = {A multiplicative weights mechanism for privacy-preserving data analysis},
|
||||||
author = {Hardt, Moritz and Rothblum, Guy N.},
|
author = {Hardt, Moritz and Rothblum, Guy N.},
|
||||||
|
|
@ -223,47 +488,6 @@
|
||||||
year = {2008},
|
year = {2008},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{WHE13,
|
|
||||||
title = {Towards dependently typed {H}askell: System {FC} with kind equality},
|
|
||||||
author = {Weirich, Stephanie and
|
|
||||||
Hsu, Justin and
|
|
||||||
Eisenberg, Richard A},
|
|
||||||
booktitle = icfp13,
|
|
||||||
url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
|
|
||||||
volume = {13},
|
|
||||||
year = {2013},
|
|
||||||
jh = yes,
|
|
||||||
docs = 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},
|
|
||||||
booktitle = popl13,
|
|
||||||
pages = {357--370},
|
|
||||||
url = {http://dl.acm.org/citation.cfm?id=2429113},
|
|
||||||
year = {2013},
|
|
||||||
jh = yes,
|
|
||||||
docs = yes,
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{HLM12,
|
@inproceedings{HLM12,
|
||||||
title = {A Simple and Practical Algorithm for Differentially Private Data Release},
|
title = {A Simple and Practical Algorithm for Differentially Private Data Release},
|
||||||
author = {Moritz Hardt and Katrina Ligett and Frank {McSherry}},
|
author = {Moritz Hardt and Katrina Ligett and Frank {McSherry}},
|
||||||
|
|
@ -273,24 +497,6 @@
|
||||||
year = 2012
|
year = 2012
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{HKR12,
|
|
||||||
title = {Distributed private heavy hitters},
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Khanna, Sanjeev and
|
|
||||||
Roth, Aaron},
|
|
||||||
booktitle = icalp12,
|
|
||||||
pages = {461--472},
|
|
||||||
year = {2012},
|
|
||||||
publisher = springer,
|
|
||||||
url = {http://arxiv.org/abs/1202.4910},
|
|
||||||
note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now
|
|
||||||
fixed.},
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@inproceedings{Ullman13,
|
@inproceedings{Ullman13,
|
||||||
title = {Answering $n^{2+ o(1)}$ counting queries with differential
|
title = {Answering $n^{2+ o(1)}$ counting queries with differential
|
||||||
privacy is hard},
|
privacy is hard},
|
||||||
|
|
@ -449,23 +655,6 @@
|
||||||
year = {2011}
|
year = {2011}
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{HGH14,
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Haeberlen, Andreas and
|
|
||||||
Khanna, Sanjeev and
|
|
||||||
Narayan, Arjun and
|
|
||||||
Pierce, Benjamin C and
|
|
||||||
Roth, Aaron},
|
|
||||||
title = {Differential privacy: An economic method for choosing epsilon},
|
|
||||||
booktitle = csf14,
|
|
||||||
year = 2014,
|
|
||||||
url = {http://arxiv.org/abs/1402.3329},
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{certipriv,
|
@inproceedings{certipriv,
|
||||||
author = {Barthe, Gilles and K\"{o}pf, Boris and Olmedo, Federico and
|
author = {Barthe, Gilles and K\"{o}pf, Boris and Olmedo, Federico and
|
||||||
Zanella B{\'e}guelin, Santiago},
|
Zanella B{\'e}guelin, Santiago},
|
||||||
|
|
@ -773,7 +962,7 @@
|
||||||
title = {A Stability-based Validation Procedure for Differentially Private
|
title = {A Stability-based Validation Procedure for Differentially Private
|
||||||
Machine Learning},
|
Machine Learning},
|
||||||
author = {Chaudhuri, Kamalika and Vinterbo, Staal A.},
|
author = {Chaudhuri, Kamalika and Vinterbo, Staal A.},
|
||||||
booktitle = nips2013,
|
booktitle = nips13,
|
||||||
pages = {2652--2660},
|
pages = {2652--2660},
|
||||||
year = {2013},
|
year = {2013},
|
||||||
url = {http://papers.nips.cc/paper/5014-a-stability-based-validation-procedure-for-differentially-private-machine-learning.pdf}
|
url = {http://papers.nips.cc/paper/5014-a-stability-based-validation-procedure-for-differentially-private-machine-learning.pdf}
|
||||||
|
|
@ -1306,7 +1495,7 @@ year = {2014}
|
||||||
Pedro R. D'Argenio and
|
Pedro R. D'Argenio and
|
||||||
Tamara Rezk},
|
Tamara Rezk},
|
||||||
title = {Secure Information Flow by Self-Composition},
|
title = {Secure Information Flow by Self-Composition},
|
||||||
booktitle = csf04,
|
booktitle = csfw04,
|
||||||
year = {2004},
|
year = {2004},
|
||||||
pages = {100--114},
|
pages = {100--114},
|
||||||
url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.17},
|
url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.17},
|
||||||
|
|
@ -1359,7 +1548,7 @@ year = {2014}
|
||||||
C{\'e}sar Kunz},
|
C{\'e}sar Kunz},
|
||||||
title = {Beyond 2-Safety: Asymmetric Product Programs for Relational
|
title = {Beyond 2-Safety: Asymmetric Product Programs for Relational
|
||||||
Program Verification},
|
Program Verification},
|
||||||
booktitle = lfcs13,
|
booktitle = lfcompsci13,
|
||||||
year = {2013},
|
year = {2013},
|
||||||
pages = {29--43},
|
pages = {29--43},
|
||||||
url = {http://dx.doi.org/10.1007/978--3-642--35722--0_3},
|
url = {http://dx.doi.org/10.1007/978--3-642--35722--0_3},
|
||||||
|
|
@ -1485,38 +1674,6 @@ year = {2014}
|
||||||
{http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf}
|
{http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf}
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{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},
|
|
||||||
booktitle = icml14,
|
|
||||||
year = {2014},
|
|
||||||
url = {http://arxiv.org/abs/1402.1526},
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
poster = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{BGGHKS14,
|
|
||||||
author = {Barthe, Gilles and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Gallego Arias, Emilio Jes{\'u}s and
|
|
||||||
Hsu, Justin and
|
|
||||||
Kunz, C\'esar and
|
|
||||||
Strub, Pierre-Yves},
|
|
||||||
title = {Proving differential privacy in {H}oare logic},
|
|
||||||
booktitle = csf14,
|
|
||||||
year = {2014},
|
|
||||||
url = {http://arxiv.org/abs/1407.2988},
|
|
||||||
jh = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@inproceedings{EignerM13,
|
@inproceedings{EignerM13,
|
||||||
author = {Fabienne Eigner and
|
author = {Fabienne Eigner and
|
||||||
Matteo Maffei},
|
Matteo Maffei},
|
||||||
|
|
@ -1713,26 +1870,6 @@ year = {2014}
|
||||||
url={http://arxiv.org/abs/1111.5472}
|
url={http://arxiv.org/abs/1111.5472}
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{HHRRW14,
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Huang, Zhiyi and
|
|
||||||
Roth, Aaron and
|
|
||||||
Roughgarden, Tim and
|
|
||||||
Wu, Zhiwei Steven},
|
|
||||||
title = {Private matchings and allocations},
|
|
||||||
booktitle = stoc14,
|
|
||||||
year = {2014},
|
|
||||||
pages = {21--30},
|
|
||||||
url = {http://arxiv.org/abs/1311.2828},
|
|
||||||
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},
|
|
||||||
jh = yes,
|
|
||||||
poster = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{Xia13,
|
@inproceedings{Xia13,
|
||||||
title={Is privacy compatible with truthfulness?},
|
title={Is privacy compatible with truthfulness?},
|
||||||
author={Xiao, David},
|
author={Xiao, David},
|
||||||
|
|
@ -1742,23 +1879,6 @@ year = {2014}
|
||||||
url={https://eprint.iacr.org/2011/005}
|
url={https://eprint.iacr.org/2011/005}
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{BGGHRS15,
|
|
||||||
title = {Higher-order approximate relational refinement types for
|
|
||||||
mechanism design and differential privacy},
|
|
||||||
author = {Barthe, Gilles and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Gallego Arias, Emilio Jes{\'u}s and
|
|
||||||
Hsu, Justin and
|
|
||||||
Roth, Aaron and
|
|
||||||
Strub, Pierre-Yves},
|
|
||||||
booktitle = popl15,
|
|
||||||
year = {2015},
|
|
||||||
url = {http://arxiv.org/abs/1407.6845},
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{IOh01,
|
@inproceedings{IOh01,
|
||||||
title={{BI} as an assertion language for mutable data structures},
|
title={{BI} as an assertion language for mutable data structures},
|
||||||
author={Ishtiaq, Samin S and O'Hearn, Peter W},
|
author={Ishtiaq, Samin S and O'Hearn, Peter W},
|
||||||
|
|
@ -1943,25 +2063,6 @@ year = {2014}
|
||||||
year = {2010}
|
year = {2010}
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{HRRU14,
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Roth, Aaron and
|
|
||||||
Roughgarden, Tim and
|
|
||||||
Ullman, Jonathan},
|
|
||||||
title = {Privately solving linear programs},
|
|
||||||
booktitle = icalp14,
|
|
||||||
year = {2014},
|
|
||||||
pages = {612--624},
|
|
||||||
url = {http://arxiv.org/abs/1402.3631},
|
|
||||||
doi = {10.1007/978-3-662-43948-7_51},
|
|
||||||
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,
|
|
||||||
slides = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{recommender,
|
@inproceedings{recommender,
|
||||||
title = {Differentially private recommender systems: building privacy into the net},
|
title = {Differentially private recommender systems: building privacy into the net},
|
||||||
author = {McSherry, Frank and Mironov, Ilya},
|
author = {McSherry, Frank and Mironov, Ilya},
|
||||||
|
|
@ -1987,19 +2088,6 @@ year = {2014}
|
||||||
publisher = cup
|
publisher = cup
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{AGGH14,
|
|
||||||
author = {de Amorim, Arthur Azevedo and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Gallego Arias, Emilio Jes{\'u}s and
|
|
||||||
Hsu, Justin},
|
|
||||||
title = {Really naturally linear indexed type-checking},
|
|
||||||
booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts},
|
|
||||||
year = {2014},
|
|
||||||
url = {http://arxiv.org/abs/1503.04522},
|
|
||||||
jh = yes,
|
|
||||||
eprint = yes,
|
|
||||||
}
|
|
||||||
|
|
||||||
@article{LovaszLocal,
|
@article{LovaszLocal,
|
||||||
title={Problems and results on 3-chromatic hypergraphs and some related
|
title={Problems and results on 3-chromatic hypergraphs and some related
|
||||||
questions},
|
questions},
|
||||||
|
|
@ -2084,27 +2172,6 @@ year = {2014}
|
||||||
url = {http://doi.acm.org/10.1145/2254064.2254086},
|
url = {http://doi.acm.org/10.1145/2254064.2254086},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{GHaccuracy,
|
|
||||||
author = {Marco Gaboardi and
|
|
||||||
Justin Hsu},
|
|
||||||
title = {A Theory {AB} Toolbox},
|
|
||||||
year = {2015},
|
|
||||||
booktitle = snapl15,
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
docs = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{HsuTaxes,
|
|
||||||
author = {Justin Hsu},
|
|
||||||
title = {Death, Taxes, and Formal Verification (Abstract)},
|
|
||||||
year = {2015},
|
|
||||||
booktitle = snapl15,
|
|
||||||
jh = yes,
|
|
||||||
slides = yes,
|
|
||||||
docs = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@InProceedings{Necula97,
|
@InProceedings{Necula97,
|
||||||
author = "G. C. Necula",
|
author = "G. C. Necula",
|
||||||
title = "Proof-carrying code",
|
title = "Proof-carrying code",
|
||||||
|
|
@ -2496,43 +2563,6 @@ language={English}
|
||||||
publisher = {IOS press},
|
publisher = {IOS press},
|
||||||
}
|
}
|
||||||
|
|
||||||
@unpublished{HHRW15,
|
|
||||||
author = {Hsu, Justin and
|
|
||||||
Huang, Zhiyi and
|
|
||||||
Roth, Aaron and
|
|
||||||
Wu, Zhiwei Steven},
|
|
||||||
title = {Jointly private convex programming},
|
|
||||||
year = {2015},
|
|
||||||
url = {http://arxiv.org/abs/1411.0998},
|
|
||||||
jh = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{AHJ15,
|
|
||||||
title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing
|
|
||||||
Markets},
|
|
||||||
author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
|
|
||||||
year = {2015},
|
|
||||||
booktitle = hcomp15,
|
|
||||||
url = {http://arxiv.org/abs/1508.03593},
|
|
||||||
jh = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@unpublished{HKM-verif15,
|
|
||||||
title = {Computer-aided verification in mechanism design},
|
|
||||||
author = {Barthe, Gilles and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Gallego Arias, Emilio Jes{\'u}s and
|
|
||||||
Hsu, Justin and
|
|
||||||
Roth, Aaron and
|
|
||||||
Strub, Pierre-Yves},
|
|
||||||
year = {2015},
|
|
||||||
url = {http://arxiv.org/abs/1502.04052},
|
|
||||||
jh = yes,
|
|
||||||
eprint = yes
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{HPN11,
|
@inproceedings{HPN11,
|
||||||
title={Differential Privacy Under Fire},
|
title={Differential Privacy Under Fire},
|
||||||
author={Haeberlen, Andreas and
|
author={Haeberlen, Andreas and
|
||||||
|
|
@ -2940,29 +2970,3 @@ year={2011}
|
||||||
pages={159--169},
|
pages={159--169},
|
||||||
year={2008},
|
year={2008},
|
||||||
}
|
}
|
||||||
|
|
||||||
@unpublished{BEGGHS15,
|
|
||||||
title = {Formal Certification of Randomized Algorithms},
|
|
||||||
author = {Barthe, Gilles and
|
|
||||||
Espitau, Thomas and
|
|
||||||
Gaboardi, Marco and
|
|
||||||
Gr{\'e}goire, Benjamin and
|
|
||||||
Hsu, Justin and
|
|
||||||
Strub, {P}ierre-{Y}ves},
|
|
||||||
year = 2015,
|
|
||||||
jh = yes,
|
|
||||||
docs = yes,
|
|
||||||
}
|
|
||||||
|
|
||||||
@unpublished{BEGHSS15,
|
|
||||||
title = {Relational reasoning via probabilistic coupling},
|
|
||||||
author = {Barthe, Gilles and
|
|
||||||
Espitau, Thomas and
|
|
||||||
Gr{\'e}goire, Benjamin and
|
|
||||||
Hsu, Justin and
|
|
||||||
Stefanesco, L{\'e}o and
|
|
||||||
Strub, {P}ierre-{Y}ves},
|
|
||||||
year = 2015,
|
|
||||||
jh = yes,
|
|
||||||
docs = yes,
|
|
||||||
}
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue