Use Last, First ordering on authors.
Better for trickier names.
This commit is contained in:
Justin Hsu
parent
2d330f59fb
commit
f700124ccf
160
bibs/myrefs.bib
160
bibs/myrefs.bib
|
|
@ -111,9 +111,26 @@
|
|||
year = {2013},
|
||||
}
|
||||
|
||||
@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},
|
||||
jh = yes,
|
||||
slides = yes,
|
||||
eprint = yes
|
||||
}
|
||||
|
||||
@inproceedings{HRU13,
|
||||
title = {Differential privacy for the analyst via private equilibrium computation},
|
||||
author = {Justin Hsu and Aaron Roth and Jonathon Ullman},
|
||||
author = {Hsu, Justin and
|
||||
Roth, Aaron and
|
||||
Ullman, Jonathon},
|
||||
url = {http://arxiv.org/abs/1211.0877},
|
||||
booktitle = stoc13,
|
||||
pages = {341--350},
|
||||
|
|
@ -235,7 +252,9 @@
|
|||
|
||||
@inproceedings{WHE13,
|
||||
title = {Towards dependently typed {H}askell: System {FC} with kind equality},
|
||||
author = {Stephanie Weirich and Justin Hsu and Richard A Eisenberg},
|
||||
author = {Weirich, Stephanie and
|
||||
Hsu, Justin and
|
||||
Eisenberg, Richard A},
|
||||
booktitle = icfp13,
|
||||
url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
|
||||
volume = {13},
|
||||
|
|
@ -244,26 +263,13 @@
|
|||
docs = yes,
|
||||
}
|
||||
|
||||
@inproceedings{GGHHP13,
|
||||
title = {Automatic sensitivity analysis using linear dependent types},
|
||||
author = {Marco Gaboardi and
|
||||
Emilio Jes{\'u}s Gallego Arias and
|
||||
Andreas Haeberlen and
|
||||
Justin Hsu and
|
||||
Benjamin C Pierce},
|
||||
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 = {Marco Gaboardi and
|
||||
Andreas Haeberlen and
|
||||
Justin Hsu and
|
||||
Arjun Narayan and
|
||||
Benjamin C Pierce},
|
||||
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},
|
||||
|
|
@ -272,19 +278,19 @@
|
|||
docs = yes,
|
||||
}
|
||||
|
||||
@inproceedings{HKR12,
|
||||
title = {Distributed private heavy hitters},
|
||||
author = {Justin Hsu and Sanjeev Khanna and Aaron Roth},
|
||||
booktitle = icalp12,
|
||||
pages = {461--472},
|
||||
year = {2012},
|
||||
publisher = springer,
|
||||
url = {http://arxiv.org/abs/1202.4910},
|
||||
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{HLM12,
|
||||
title = {A Simple and Practical Algorithm for Differentially Private Data Release},
|
||||
author = {Moritz Hardt and Katrina Ligett and Frank {McSherry}},
|
||||
|
|
@ -472,13 +478,13 @@
|
|||
}
|
||||
|
||||
@inproceedings{HGH+13,
|
||||
author = {Justin Hsu and
|
||||
Marco Gaboardi and
|
||||
Andreas Haeberlen and
|
||||
Sanjeev Khanna and
|
||||
Arjun Narayan and
|
||||
Benjamin C Pierce and
|
||||
Aaron Roth},
|
||||
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,
|
||||
|
|
@ -1508,11 +1514,11 @@ year = {2014}
|
|||
}
|
||||
|
||||
@inproceedings{GGHRW14,
|
||||
author = {Marco Gaboardi and
|
||||
Emilio Jes{\'u}s Gallego Arias and
|
||||
Justin Hsu and
|
||||
Aaron Roth and
|
||||
Zhiwei Steven Wu},
|
||||
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},
|
||||
|
|
@ -1524,12 +1530,12 @@ year = {2014}
|
|||
}
|
||||
|
||||
@inproceedings{BGGHKS14,
|
||||
author = {Gilles Barthe and
|
||||
Marco Gaboardi and
|
||||
Emilio Jes{\'u}s Gallego Arias and
|
||||
Justin Hsu and
|
||||
C\'esar Kunz and
|
||||
Pierre-Yves Strub},
|
||||
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},
|
||||
|
|
@ -1735,11 +1741,11 @@ year = {2014}
|
|||
}
|
||||
|
||||
@inproceedings{HHRRW14,
|
||||
author = {Justin Hsu and
|
||||
Zhiyi Huang and
|
||||
Aaron Roth and
|
||||
Tim Roughgarden and
|
||||
Zhiwei Steven Wu},
|
||||
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},
|
||||
|
|
@ -1766,12 +1772,12 @@ year = {2014}
|
|||
@inproceedings{BGGHRS15,
|
||||
title = {Higher-order approximate relational refinement types for
|
||||
mechanism design and differential privacy},
|
||||
author = {Gilles Barthe and
|
||||
Marco Gaboardi and
|
||||
Emilio Jes{\'u}s Gallego Arias and
|
||||
Justin Hsu and
|
||||
Aaron Roth and
|
||||
Pierre-Yves Strub},
|
||||
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},
|
||||
|
|
@ -1965,10 +1971,10 @@ year = {2014}
|
|||
}
|
||||
|
||||
@inproceedings{HRRU14,
|
||||
author = {Justin Hsu and
|
||||
Aaron Roth and
|
||||
Tim Roughgarden and
|
||||
Jonathan Ullman},
|
||||
author = {Hsu, Justin and
|
||||
Roth, Aaron and
|
||||
Roughgarden, Tim and
|
||||
Ullman, Jonathan},
|
||||
title = {Privately solving linear programs},
|
||||
booktitle = icalp14,
|
||||
year = {2014},
|
||||
|
|
@ -2009,12 +2015,12 @@ year = {2014}
|
|||
}
|
||||
|
||||
@inproceedings{AGGH14,
|
||||
author = {Arthur Azevedo de Amorim and
|
||||
Marco Gaboardi and
|
||||
Emilio Jes{\'u}s Gallego Arias and
|
||||
Justin Hsu},
|
||||
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},
|
||||
booktitle = {Implementation of Functional Languages (IFL), Boston, Massachusetts},
|
||||
year = {2014},
|
||||
url = {http://www.cis.upenn.edu/~justhsu/docs/dfuzztc.pdf},
|
||||
jh = yes,
|
||||
|
|
@ -2022,10 +2028,10 @@ year = {2014}
|
|||
}
|
||||
|
||||
@unpublished{HHRW15,
|
||||
author = {Justin Hsu and
|
||||
Zhiyi Huang and
|
||||
Aaron Roth and
|
||||
Zhiwei Steven Wu},
|
||||
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},
|
||||
|
|
@ -2118,8 +2124,8 @@ year = {2014}
|
|||
}
|
||||
|
||||
@unpublished{GHaccuracy,
|
||||
author = {Marco Gaboardi and
|
||||
Justin Hsu},
|
||||
author = {Gaboardi, Marco and
|
||||
Hsu, Justin },
|
||||
title = {A theory {AB} toolbox},
|
||||
year = {2015},
|
||||
jh = yes,
|
||||
|
|
@ -2127,7 +2133,7 @@ year = {2014}
|
|||
}
|
||||
|
||||
@unpublished{HsuTaxes,
|
||||
author = {Justin Hsu},
|
||||
author = {Hsu, Justin},
|
||||
title = {Death, taxes, and formal verification},
|
||||
year = {2015},
|
||||
jh = yes,
|
||||
|
|
|
|||
Loading…
Reference in New Issue