Linear dependent types for differential privacy. Zbl 1301.68111
Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C. |
|
2013
|
Proving differential privacy via probabilistic couplings. Zbl 1401.68184
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2016
|
Higher-order approximate relational refinement types for mechanism design and differential privacy. Zbl 1346.68058
Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves |
|
2015
|
Synthesizing probabilistic invariants via Doob’s decomposition. Zbl 1411.68057
Barthe, Gilles; Espitau, Thomas; Ferrer Fioriti, Luis María; Hsu, Justin |
|
2016
|
Behavior of tandem buffers with geometric input and Markovian output. Zbl 0349.60101
Hsu, J.; Burke, P. J. |
|
1976
|
A semantic account of metric preservation. Zbl 1380.68263
Azevedo de Amorim, Arthur; Gaboardi, Marco; Hsu, Justin; Katsumata, Shin-ya; Cherigui, Ikram |
|
2017
|
Distributed private heavy hitters. Zbl 1272.68125
Hsu, Justin; Khanna, Sanjeev; Roth, Aaron |
|
2012
|
Do prices coordinate markets? Zbl 1377.91096
Hsu, Justin; Morgenstern, Jamie; Rogers, Ryan; Roth, Aaron; Vohra, Rakesh |
|
2016
|
System FC with explicit kind equality. Zbl 1323.68194
Weirich, Stephanie; Hsu, Justin; Eisenberg, Richard A. |
|
2013
|
Privately solving linear programs. Zbl 1410.68109
Hsu, Justin; Roth, Aaron; Roughgarden, Tim; Ullman, Jonathan |
|
2014
|
Coupling proofs are probabilistic product programs. Zbl 1380.68267
Barthe, Gilles; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2017
|
Differential privacy for the analyst via private equilibrium computation. Zbl 1293.68099
Hsu, Justin; Roth, Aaron; Ullman, Jonathan |
|
2013
|
Constraint-based synthesis of coupling proofs. Zbl 1511.68065
Albarghouthi, Aws; Hsu, Justin |
|
2018
|
Jointly private convex programming. Zbl 1403.68352
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Wu, Zhiwei Steven |
|
2016
|
Relational reasoning via probabilistic coupling. Zbl 1471.68127
Barthe, Gilles; Espitau, Thomas; Grégoire, Benjamin; Hsu, Justin; Stefanesco, Léo; Strub, Pierre-Yves |
|
2015
|
A program logic for union bounds. Zbl 1388.68022
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2016
|
An assertion-based program logic for probabilistic programs. Zbl 1418.68049
Barthe, Gilles; Espitau, Thomas; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2018
|
Convex language semantics for nondeterministic probabilistic automata. Zbl 1518.68192
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra |
|
2018
|
Private matchings and allocations. Zbl 1315.94116
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Roughgarden, Tim; Wu, Zhiwei Steven |
|
2014
|
\(*\)-liftings for differential privacy. Zbl 1442.68100
Barthe, Gilles; Espitau, Thomas; Hsu, Justin; Sato, Tetsuya; Strub, Pierre-Yves |
|
2017
|
Private matchings and allocations. Zbl 1349.91177
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Roughgarden, Tim; Wu, Zhiwei Steven |
|
2016
|
The stress intensity factors of slightly undulating interface cracks of anisotropic bimaterials. Zbl 0897.73046
Chen, C-H.; Hsu, J. |
|
1998
|
Constraint-based synthesis of coupling proofs. Zbl 1511.68065
Albarghouthi, Aws; Hsu, Justin |
|
2018
|
An assertion-based program logic for probabilistic programs. Zbl 1418.68049
Barthe, Gilles; Espitau, Thomas; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2018
|
Convex language semantics for nondeterministic probabilistic automata. Zbl 1518.68192
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra |
|
2018
|
A semantic account of metric preservation. Zbl 1380.68263
Azevedo de Amorim, Arthur; Gaboardi, Marco; Hsu, Justin; Katsumata, Shin-ya; Cherigui, Ikram |
|
2017
|
Coupling proofs are probabilistic product programs. Zbl 1380.68267
Barthe, Gilles; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2017
|
\(*\)-liftings for differential privacy. Zbl 1442.68100
Barthe, Gilles; Espitau, Thomas; Hsu, Justin; Sato, Tetsuya; Strub, Pierre-Yves |
|
2017
|
Proving differential privacy via probabilistic couplings. Zbl 1401.68184
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2016
|
Synthesizing probabilistic invariants via Doob’s decomposition. Zbl 1411.68057
Barthe, Gilles; Espitau, Thomas; Ferrer Fioriti, Luis María; Hsu, Justin |
|
2016
|
Do prices coordinate markets? Zbl 1377.91096
Hsu, Justin; Morgenstern, Jamie; Rogers, Ryan; Roth, Aaron; Vohra, Rakesh |
|
2016
|
Jointly private convex programming. Zbl 1403.68352
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Wu, Zhiwei Steven |
|
2016
|
A program logic for union bounds. Zbl 1388.68022
Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves |
|
2016
|
Private matchings and allocations. Zbl 1349.91177
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Roughgarden, Tim; Wu, Zhiwei Steven |
|
2016
|
Higher-order approximate relational refinement types for mechanism design and differential privacy. Zbl 1346.68058
Barthe, Gilles; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin; Roth, Aaron; Strub, Pierre-Yves |
|
2015
|
Relational reasoning via probabilistic coupling. Zbl 1471.68127
Barthe, Gilles; Espitau, Thomas; Grégoire, Benjamin; Hsu, Justin; Stefanesco, Léo; Strub, Pierre-Yves |
|
2015
|
Privately solving linear programs. Zbl 1410.68109
Hsu, Justin; Roth, Aaron; Roughgarden, Tim; Ullman, Jonathan |
|
2014
|
Private matchings and allocations. Zbl 1315.94116
Hsu, Justin; Huang, Zhiyi; Roth, Aaron; Roughgarden, Tim; Wu, Zhiwei Steven |
|
2014
|
Linear dependent types for differential privacy. Zbl 1301.68111
Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C. |
|
2013
|
System FC with explicit kind equality. Zbl 1323.68194
Weirich, Stephanie; Hsu, Justin; Eisenberg, Richard A. |
|
2013
|
Differential privacy for the analyst via private equilibrium computation. Zbl 1293.68099
Hsu, Justin; Roth, Aaron; Ullman, Jonathan |
|
2013
|
Distributed private heavy hitters. Zbl 1272.68125
Hsu, Justin; Khanna, Sanjeev; Roth, Aaron |
|
2012
|
The stress intensity factors of slightly undulating interface cracks of anisotropic bimaterials. Zbl 0897.73046
Chen, C-H.; Hsu, J. |
|
1998
|
Behavior of tandem buffers with geometric input and Markovian output. Zbl 0349.60101
Hsu, J.; Burke, P. J. |
|
1976
|