Justin Hsu

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 101

Top Venues

CoRR

Proc. ACM Program. Lang.

LICS

ICALP

Publications

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. CoRR (2024)
Noah Bertram, Tean Lai, Justin Hsu
Verifying Cake-Cutting, Faster. CoRR (2024)
Ariel E. Kellison, Justin Hsu
Numerical Fuzz: A Type System for Rounding Error Analysis. CoRR (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. FSCD (2024)
Ariel E. Kellison, Justin Hsu
Numerical Fuzz: A Type System for Rounding Error Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Noah Bertram, Tean Lai, Justin Hsu
Verifying Cake-Cutting, Faster. CAV (2) (2024)
Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez
Hardware-Aware Latency Pruning for Real-Time 3D Object Detection. IV (2023)
Noah Bertram, Alex Levinson, Justin Hsu
Cutting the Cake: A Language for Fair Division. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI (2023)
Pedro H. Azevedo de Amorim, Justin Hsu
Separated and Shared Effects in Higher-Order Languages. CoRR (2023)
Noah Bertram, Alex Levinson, Justin Hsu
Cutting the Cake: A Language for Fair Division. CoRR (2023)
Karuna Grewal, P. Brighten Godfrey, Justin Hsu
Expressive Policies For Microservice Networks. HotNets (2023)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic execution for randomized programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Karuna Grewal, Loris D'Antoni, Justin Hsu
P4BID: Information Flow Control in P4. CoRR (2022)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CAV (1) (2022)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A separation logic for negative dependence. Proc. ACM Program. Lang. 6 (POPL) (2022)
Karuna Grewal, Loris D'Antoni, Justin Hsu
P4BID: information flow control in p4. PLDI (2022)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic Execution for Randomized Programs. CoRR (2022)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. CoRR (2021)
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CoRR (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS (2021)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. IEEE Symposium on Security and Privacy (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR (2021)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Bunched Logic for Conditional Independence. LICS (2021)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A Separation Logic for Negative Dependence. CoRR (2021)
Peter Kairouz, H. Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A. Bonawitz, Zachary Charles, Graham Cormode, Rachel Cummings, Rafael G. L. D'Oliveira, Hubert Eichner, Salim El Rouayheb, David Evans, Josh Gardner, Zachary Garrett, Adrià Gascón, Badih Ghazi, Phillip B. Gibbons, Marco Gruteser, Zaïd Harchaoui, Chaoyang He, Lie He, Zhouyuan Huo, Ben Hutchinson, Justin Hsu, Martin Jaggi, Tara Javidi, Gauri Joshi, Mikhail Khodak, Jakub Konecný, Aleksandra Korolova, Farinaz Koushanfar, Sanmi Koyejo, Tancrède Lepoint, Yang Liu, Prateek Mittal, Mehryar Mohri, Richard Nock, Ayfer Özgür, Rasmus Pagh, Hang Qi, Daniel Ramage, Ramesh Raskar, Mariana Raykova, Dawn Song, Weikang Song, Sebastian U. Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth Vepakomma, Jianyu Wang, Li Xiong, Zheng Xu, Qiang Yang, Felix X. Yu, Han Yu, Sen Zhao
Advances and Open Problems in Federated Learning. Found. Trends Mach. Learn. 14 (1-2) (2021)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gilles Barthe, Justin Hsu, Kevin Liao
A probabilistic separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS (2020)
Yue Gao, Harrison Rosenberg, Kassem Fawaz, Somesh Jha, Justin Hsu
Analyzing Accuracy Loss in Randomized Smoothing Defenses. CoRR (2020)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Logic to Reason about Dependence and Independence. CoRR (2020)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace abstraction modulo probability. Proc. ACM Program. Lang. 3 (POPL) (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS (2019)
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
Relational ⋆⋆\star-Liftings for Differential Privacy. Log. Methods Comput. Sci. 15 (4) (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Kantorovich Continuity of Probabilistic Programs. CoRR (2019)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Coupling Techniques for Reasoning about Quantum Programs. CoRR (2019)
Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu
Fake News Detection via NLP is Vulnerable to Adversarial Attacks. CoRR (2019)
Yuzhe Ma, Xiaojin Zhu, Justin Hsu
Data Poisoning against Differentially-Private Learners: Attacks and Defenses. CoRR (2019)
Peter Kairouz, H. Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A. Bonawitz, Zachary Charles, Graham Cormode, Rachel Cummings, Rafael G. L. D'Oliveira, Salim El Rouayheb, David Evans, Josh Gardner, Zachary Garrett, Adrià Gascón, Badih Ghazi, Phillip B. Gibbons, Marco Gruteser, Zaïd Harchaoui, Chaoyang He, Lie He, Zhouyuan Huo, Ben Hutchinson, Justin Hsu, Martin Jaggi, Tara Javidi, Gauri Joshi, Mikhail Khodak, Jakub Konecný, Aleksandra Korolova, Farinaz Koushanfar, Sanmi Koyejo, Tancrède Lepoint, Yang Liu, Prateek Mittal, Mehryar Mohri, Richard Nock, Ayfer Özgür, Rasmus Pagh, Mariana Raykova, Hang Qi, Daniel Ramage, Ramesh Raskar, Dawn Song, Weikang Song, Sebastian U. Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth Vepakomma, Jianyu Wang, Li Xiong, Zheng Xu, Qiang Yang, Felix X. Yu, Han Yu, Sen Zhao
Advances and Open Problems in Federated Learning. CoRR (2019)
Yuzhe Ma, Xiaojin Zhu, Justin Hsu
Data Poisoning against Differentially-Private Learners: Attacks and Defenses. IJCAI (2019)
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR (2019)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. 3 (POPL) (2019)
Gilles Barthe, Justin Hsu, Kevin Liao
A Probabilistic Separation Logic. CoRR (2019)
Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu
Fake News Detection via NLP is Vulnerable to Adversarial Attacks. ICAART (2) (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Probabilistic Relational Reasoning via Metrics. LICS (2019)
Aws Albarghouthi, Justin Hsu
Constraint-Based Synthesis of Coupling Proofs. CoRR (2018)
Aws Albarghouthi, Justin Hsu
Constraint-Based Synthesis of Coupling Proofs. CAV (1) (2018)
Aws Albarghouthi, Justin Hsu
Synthesizing coupling proofs of differential privacy. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC (2018)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Almost Sure Productivity. CoRR (2018)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace Abstraction Modulo Probability. CoRR (2018)
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
An Assertion-Based Program Logic for Probabilistic Programs. ESOP (2018)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving expected sensitivity of probabilistic programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs. CoRR (2018)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Metric Semantics for Probabilistic Relational Reasoning. CoRR (2018)
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
An Assertion-Based Program Logic for Probabilistic Programs. CoRR (2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Almost Sure Productivity. ICALP (2018)
Aws Albarghouthi, Justin Hsu
Synthesizing Coupling Proofs of Differential Privacy. CoRR (2017)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving Expected Sensitivity of Probabilistic Programs. CoRR (2017)
Justin Hsu
Probabilistic Couplings for Probabilistic Reasoning. CoRR (2017)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving uniformity and independence by self-composition and coupling. LPAR (2017)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR (2017)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving uniformity and independence by self-composition and coupling. CoRR (2017)
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
*-Liftings for Differential Privacy. CoRR (2017)
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
*-Liftings for Differential Privacy. ICALP (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A semantic account of metric preservation. POPL (2017)
Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Coupling proofs are probabilistic product programs. POPL (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A Semantic Account of Metric Preservation. CoRR (2017)
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
Do prices coordinate markets? SIGecom Exch. 15 (1) (2016)
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
Synthesizing Probabilistic Invariants via Doob's Decomposition. CoRR (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving Differential Privacy via Probabilistic Couplings. LICS (2016)
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
Computer-Aided Verification for Mechanism Design. WINE (2016)
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Advanced Probabilistic Couplings for Differential Privacy. CCS (2016)
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
Synthesizing Probabilistic Invariants via Doob's Decomposition. CAV (1) (2016)
Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu
Private Matchings and Allocations. SIAM J. Comput. 45 (6) (2016)
Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu
Jointly Private Convex Programming. SODA (2016)
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
Do prices coordinate markets? STOC (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
A program logic for union bounds. CoRR (2016)
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
Dual Query: Practical Private Query Release for High Dimensional Data. J. Priv. Confidentiality 7 (2) (2016)
Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Coupling proofs are probabilistic product programs. CoRR (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving Differential Privacy via Probabilistic Couplings. CoRR (2016)
Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce
Programming language techniques for differential privacy. ACM SIGLOG News 3 (1) (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Advanced Probabilistic Couplings for Differential Privacy. CoRR (2016)
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
Differentially Private Bayesian Programming. CoRR (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
A Program Logic for Union Bounds. ICALP (2016)
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
Differentially Private Bayesian Programming. CCS (2016)
Sepehr Assadi, Justin Hsu, Shahin Jabbari
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. HCOMP (2015)
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. POPL (2015)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
Relational Reasoning via Probabilistic Coupling. LPAR (2015)
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
Do Prices Coordinate Markets? CoRR (2015)
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
Computer-aided verification in mechanism design. CoRR (2015)
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu
Really Natural Linear Indexed Type Checking. CoRR (2015)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
Relational reasoning via probabilistic coupling. CoRR (2015)
Marco Gaboardi, Justin Hsu
A Theory AB Toolbox. SNAPL (2015)

Justin Hsu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Justin Hsu