Justin Hsu

According to our database, Justin Hsu authored at least 73 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Numerical Fuzz: A Type System for Rounding Error Analysis.

Ariel E. Kellison, Justin Hsu

Proc. ACM Program. Lang., 2024

A Categorical Approach to DIBI Models.

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Verifying Cake-Cutting, Faster.

Noah Bertram, Tean Lai, Justin Hsu

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Cutting the Cake: A Language for Fair Division.

Noah Bertram, Alex Levinson, Justin Hsu

Proc. ACM Program. Lang., 2023

Separated and Shared Effects in Higher-Order Languages.

Pedro H. Azevedo de Amorim, Justin Hsu

CoRR, 2023

Hardware-Aware Latency Pruning for Real-Time 3D Object Detection.

Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Expressive Policies For Microservice Networks.

Karuna Grewal, Philip Brighten Godfrey, Justin Hsu

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022

Symbolic execution for randomized programs.

Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

Proc. ACM Program. Lang., 2022

A separation logic for negative dependence.

Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti

Proc. ACM Program. Lang., 2022

P4BID: information flow control in p4.

Karuna Grewal, Loris D'Antoni, Justin Hsu

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A pre-expectation calculus for probabilistic sensitivity.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Proc. ACM Program. Lang., 2021

Advances and Open Problems in Federated Learning.

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

Found. Trends Mach. Learn., 2021

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy

CoRR, 2021

Learning Differentially Private Mechanisms.

Subhajit Roy, Justin Hsu, Aws Albarghouthi

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.

Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

A Bunched Logic for Conditional Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.

Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proc. ACM Program. Lang., 2020

Relational proofs for quantum programs.

Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou

Proc. ACM Program. Lang., 2020

A probabilistic separation logic.

Gilles Barthe, Justin Hsu, Kevin Liao

Proc. ACM Program. Lang., 2020

A Logic to Reason about Dependence and Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

CoRR, 2020

Analyzing Accuracy Loss in Randomized Smoothing Defenses.

Yue Gao, Harrison Rosenberg, Kassem Fawaz, Somesh Jha, Justin Hsu

CoRR, 2020

Hypothesis Testing Interpretations and Renyi Differential Privacy.

Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Trace abstraction modulo probability.

Calvin Smith, Justin Hsu, Aws Albarghouthi

Proc. ACM Program. Lang., 2019

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

Proc. ACM Program. Lang., 2019

Relational ⋆⋆\star-Liftings for Differential Privacy.

Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub

Log. Methods Comput. Sci., 2019

Advances and Open Problems in Federated Learning.

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

CoRR, 2019

Kantorovich Continuity of Probabilistic Programs.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

CoRR, 2019

Coupling Techniques for Reasoning about Quantum Programs.

Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou

CoRR, 2019

Scalable verification of probabilistic networks.

Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Data Poisoning against Differentially-Private Learners: Attacks and Defenses.

Yuzhe Ma, Xiaojin Zhu, Justin Hsu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Fake News Detection via NLP is Vulnerable to Adversarial Attacks.

Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

Proving expected sensitivity of probabilistic programs.

Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proc. ACM Program. Lang., 2018

Synthesizing coupling proofs of differential privacy.

Aws Albarghouthi, Justin Hsu

Proc. ACM Program. Lang., 2018

Formal verification of higher-order probabilistic programs.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

CoRR, 2018

Metric Semantics for Probabilistic Relational Reasoning.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2018

Convex Language Semantics for Nondeterministic Probabilistic Automata.

Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Almost Sure Productivity.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

An Assertion-Based Program Logic for Probabilistic Programs.

Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the Programming Languages and Systems, 2018

Constraint-Based Synthesis of Coupling Proofs.

Aws Albarghouthi, Justin Hsu

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Probabilistic Couplings for Probabilistic Reasoning.

Justin Hsu

CoRR, 2017

Reasoning about Divergences for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2017

Coupling proofs are probabilistic product programs.

Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A semantic account of metric preservation.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Proving uniformity and independence by self-composition and coupling.

Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the LPAR-21, 2017

*-Liftings for Differential Privacy.

Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Programming language techniques for differential privacy.

Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce

ACM SIGLOG News, 2016

Do prices coordinate markets?

Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra

SIGecom Exch., 2016

Private Matchings and Allocations.

Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu

SIAM J. Comput., 2016

Dual Query: Practical Private Query Release for High Dimensional Data.

Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu

J. Priv. Confidentiality, 2016

Advanced Probabilistic Couplings for Differential Privacy.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

CoRR, 2016

Computer-Aided Verification for Mechanism Design.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Jointly Private Convex Programming.

Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu

Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016

Proving Differential Privacy via Probabilistic Couplings.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Program Logic for Union Bounds.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Advanced Probabilistic Couplings for Differential Privacy.

Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Differentially Private Bayesian Programming.

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Synthesizing Probabilistic Invariants via Doob's Decomposition.

Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A Theory AB Toolbox.

Marco Gaboardi, Justin Hsu

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Relational Reasoning via Probabilistic Coupling.

Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets.

Sepehr Assadi, Justin Hsu, Shahin Jabbari

Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014

Really Natural Linear Indexed Type Checking.

Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Privately Solving Linear Programs.

Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.

Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Proving Differential Privacy in Hoare Logic.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Differential privacy for the analyst via private equilibrium computation.

Justin Hsu, Aaron Roth, Jonathan R. Ullman

Proceedings of the Symposium on Theory of Computing Conference, 2013

Linear dependent types for differential privacy.

Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

System FC with explicit kind equality.

Stephanie Weirich, Justin Hsu, Richard A. Eisenberg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Distributed Private Heavy Hitters.

Justin Hsu, Sanjeev Khanna, Aaron Roth

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012