diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 64eb16a..5183e14 100644 --- a/bibs/myrefs.bib +++ b/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,