×
Edit Profile (opens in new tab)

Hsu, Justin

Co-Author Distance
Author ID: hsu.justin Recent zbMATH articles by "Hsu, Justin"
Published as: Hsu, Justin
Documents Indexed: 28 Publications since 1976
Co-Authors: 35 Co-Authors with 26 Joint Publications
1,002 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
13 Barthe, Gilles
10 Strub, Pierre-Yves
9 Roth, Aaron Leon
7 Gaboardi, Marco
6 Espitau, Thomas
6 Grégoire, Benjamin
3 Huang, Zhiyi
3 Roughgarden, Tim
3 Wu, Zhiwei Steven
2 Gallego Arias, Emilio Jesús
2 Sato, Tetsuya
2 Silva, Alexandra
2 Ullman, Jonathan R.
1 Aguirre, Alejandro
1 Albarghouthi, Aws
1 Azevedo de Amorim, Arthur
1 Bao, Jialu
1 Cherigui, Ikram
1 Eisenberg, Richard A.
1 Ferrer Fioriti, Luis María
1 Haeberlen, Andreas
1 Katsumata, Shin-ya
1 Khanna, Sanjeev
1 Morgenstern, Jamie
1 Narayan, Arjun
1 Ouaknine, Joel O.
1 Pathak, Drashti
1 Pierce, Benjamin C.
1 Rogers, Ryan
1 Roy, Subhajit
1 Stefanesco, Léo
1 Trivedi, Nitesh
1 van Heerdt, Gerco
1 Vohra, Rakesh V.
1 Weirich, Stephanie

Serials

1 Acta Mechanica
1 IEEE Transactions on Communications
1 SIAM Journal on Computing
1 Logical Methods in Computer Science
all top 5

Fields

24 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Information and communication theory, circuits (94-XX)
2 Probability theory and stochastic processes (60-XX)
2 Operations research, mathematical programming (90-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

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

Cited by 207 Authors

10 Barthe, Gilles
10 Gaboardi, Marco
9 Hsu, Justin
5 Chatterjee, Krishnendu
5 Katsumata, Shin-ya
5 Roth, Aaron Leon
5 Strub, Pierre-Yves
4 Dal Lago, Ugo
4 Gavazzo, Francesco
4 Katoen, Joost-Pieter
4 Novotný, Petr
4 Orchard, Dominic A.
4 Sato, Tetsuya
4 Žikelić, {D}or{d}e
3 Azevedo de Amorim, Arthur
3 Batz, Kevin
3 Bérczi, Kristóf
3 Huang, Zhiyi
3 Kaminski, Benjamin Lucien
3 Matheja, Christoph
3 Roughgarden, Tim
3 Wu, Zhiwei Steven
2 Baier, Christel
2 Baillot, Patrick
2 Bartocci, Ezio
2 Bassily, Raef
2 Eades, Harley III
2 Fu, Peng
2 Gallego Arias, Emilio Jesús
2 Garg, Deepak
2 Goharshady, Ehsan Kafshdar
2 Grégoire, Benjamin
2 Kakimura, Naonori
2 Kishida, Kohei
2 Kobayashi, Yusuke
2 Kovács, Laura Ildikó
2 Liu, Depeng
2 Lochbihler, Andreas
2 Nissim, Kobbi
2 Palamidessi, Catuscia
2 Selinger, Peter
2 Smith, Adam D.
2 Stankovič, Miroslav
2 Stemmer, Uri
2 Wang, Bow-Yaw
2 Weirich, Stephanie
2 Zárevúcky, Jiří
2 Zhang, Lijun
1 Allais, Guillaume
1 Anshelevich, Elliot
1 Ateniese, Giuseppe
1 Balle, Borja
1 Bao, Jialu
1 Barg, Alexander M.
1 Basin, David A.
1 Benveniste, Albert
1 Bi, Xuan
1 Biewer, Sebastian
1 Bonchi, Filippo
1 Brázdil, Tomáš
1 Cao, Yongzhi
1 Chadha, Rohit
1 Chatzikokolakis, Konstantinos
1 Chen, Bo
1 Chen, Mingshuai
1 Cherigui, Ikram
1 Chong, Stephen
1 Çiçek, Ezgi
1 Crespo, Juan Manuel
1 Cummings, Rachel
1 Dagan, Yuval
1 D’Argenio, Pedro Rubén
1 Deng, Yuxin
1 Dubut, Jérémy
1 Ebadi, Hamid
1 Eisenberg, Richard A.
1 ElSalamouny, Ehab
1 Espitau, Thomas
1 Farina, Gian Pietro
1 Feldman, Vitaly
1 Feng, Yuan
1 Fesefeldt, Ira
1 Finkbeiner, Bernd
1 Fiore, Dario
1 Fredrikson, Matthew
1 Fu, Chen
1 Fukihara, Yōji
1 Gascón, Adrià
1 Gazeau, Ivan
1 Ghazi, Badih
1 Gilliam, George
1 Goharshady, Amir Kafshdar
1 Golowich, Noah
1 Gupta, Vijay
1 Hale, Matthew T.
1 Hasuo, Ichiro
1 He, Xingkang
1 Hermanns, Holger
1 Hoffmann, Jan-Philipp
1 Höner zu Siederdissen, Christian
...and 107 more Authors
all top 5

Cited in 21 Serials

7 Theoretical Computer Science
3 Journal of Machine Learning Research (JMLR)
3 Logical Methods in Computer Science
2 Automatica
2 Journal of Automated Reasoning
2 SIAM Journal on Discrete Mathematics
2 Journal of the ACM
1 International Journal of Control
1 Journal of Computer and System Sciences
1 SIAM Journal on Computing
1 Operations Research Letters
1 Information and Computation
1 Journal of Cryptology
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Discrete Event Dynamic Systems
1 Mathematical Programming. Series A. Series B
1 Formal Methods in System Design
1 Journal of Functional Programming
1 Electronic Journal of Statistics
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 14 Fields

78 Computer science (68-XX)
18 Mathematical logic and foundations (03-XX)
13 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
10 Information and communication theory, circuits (94-XX)
7 Operations research, mathematical programming (90-XX)
6 Category theory; homological algebra (18-XX)
5 Probability theory and stochastic processes (60-XX)
4 Quantum theory (81-XX)
3 Statistics (62-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Systems theory; control (93-XX)
1 Combinatorics (05-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year