Rearrange bibs.
This commit is contained in:
Justin Hsu
parent
c9e3534b24
commit
5fa0230c7f
138
bibs/myrefs.bib
138
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},
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue