JH
Justin Hsu
cs.PLcs.LOcs.CRcs.DScs.LGcs.GTstat.MLcs.DBcs.NIquant-ph
On Valency
published · living versionsW_tc4npsnm·v1 · currentpublished
Preprints & journals
53 papers in the corpus · 2012–2026Synthesizing Backward Error Bounds, Backward2604.15633v1 · Laura Zielinski, Justin Hsu2026 · 0 citationsProceedings of the ACM on Programming Languages 10, PLDI, Article 225 (2026)
Stable and Fault-Tolerant Decentralized Traffic Engineering2510.11937v1 · Arjun Devraj, Umesh Krishnaswamy, Ying Zhang et al.2025 · 0 citationsarXiv
A Hoare Logic for Symmetry Properties2509.00587v2 · Vaibhav Mehta, Justin Hsu2025 · 0 citationsarXiv
SafeTree: Expressive Tree Policies for Microservices2508.16746v1 · Karuna Grewal, P. Brighten Godfrey, Justin Hsu2025 · 0 citationsarXiv
Numerical Fuzz: A Type System for Rounding Error Analysis2405.04612v2 · Ariel E. Kellison, Justin Hsu2024 · 4 citationsarXiv
Data-Driven Invariant Learning for Probabilistic Programs2106.05421v4 · Jialu Bao, Nitesh Trivedi, Drashti Pathak et al.2021 · 5 citationsFormal Methods in System Design 2024 (CAV Collection)
Verifying Cake-Cutting, Faster2405.14068v2 · Noah Bertram, Tean Lai, Justin Hsu2024 · 0 citationsarXiv
A Categorical Approach to DIBI Models2401.05842v1 · Tao Gu, Jialu Bao, Justin Hsu et al.2024 · 0 citationsarXiv
Hypothesis Testing Interpretations and Renyi Differential Privacy1905.09982v2 · Borja Balle, Gilles Barthe, Marco Gaboardi et al.2019 · 28 citationsProceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, PMLR 108:2496-2506, 2020
Relational $\star$-Liftings for Differential Privacy1705.00133v9 · Gilles Barthe, Thomas Espitau, Justin Hsu et al.2017 · 0 citationsLogical Methods in Computer Science, Volume 15, Issue 4 (December 19, 2019) lmcs:4380
Cutting the Cake: A Language for Fair Division2304.04642v1 · Noah Bertram, Alex Levinson, Justin Hsu2023 · 2 citationsarXiv
Separated and Shared Effects in Higher-Order Languages2303.01616v1 · Pedro H. Azevedo de Amorim, Justin Hsu2023 · 0 citationsarXiv
A Semantic Account of Metric Preservation1702.00374v3 · Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu et al.2017 · 40 citationsarXiv
Symbolic Execution for Randomized Programs2209.08046v1 · Zachary Susag, Sumit Lahiri, Justin Hsu et al.2022 · 18 citationsarXiv
P4BID: Information Flow Control in P42204.03113v2 · Karuna Grewal, Loris D'Antoni, Justin Hsu2022 · 4 citationsarXiv
A Separation Logic for Negative Dependence2111.14917v1 · Jialu Bao, Marco Gaboardi, Justin Hsu et al.2021 · 18 citationsarXiv
A Bunched Logic for Conditional Independence2008.09231v2 · Jialu Bao, Simon Docherty, Justin Hsu et al.2020 · 16 citationsarXiv
Proving Differential Privacy via Probabilistic Couplings1601.05047v5 · Gilles Barthe, Marco Gaboardi, Benjamin Gr'egoire et al.2016 · 100 citationsarXiv
Advances and Open Problems in Federated Learning1912.04977v3 · Peter Kairouz, H. Brendan McMahan, Brendan Avent et al.2019 · 6,306 citationsarXiv
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic2102.00329v1 · Li Zhou, Gilles Barthe, Justin Hsu et al.2021 · 0 citationsarXiv
Learning Differentially Private Mechanisms2101.00961v1 · Subhajit Roy, Justin Hsu, Aws Albarghouthi2021 · 24 citationsarXiv
A Pre-Expectation Calculus for Probabilistic Sensitivity1901.06540v2 · Alejandro Aguirre, Gilles Barthe, Justin Hsu et al.2019 · 24 citationsarXiv
Analyzing Accuracy Loss in Randomized Smoothing Defenses2003.01595v1 · Yue Gao, Harrison Rosenberg, Kassem Fawaz et al.2020 · 2 citationsarXiv
Formal verification of higher-order probabilistic programs1807.06091v3 · Tetsuya Sato, Alejandro Aguirre, Gilles Barthe et al.2018 · 30 citationsarXiv
Relational Proofs for Quantum Programs1901.05184v2 · Gilles Barthe, Justin Hsu, Mingsheng Ying et al.2019 · 34 citationsarXiv
A program logic for union bounds1602.05681v3 · Gilles Barthe, Marco Gaboardi, Benjamin Gr'egoire et al.2016 · 8 citationsarXiv
Approximate Span Liftings1710.09010v3 · Tetsuya Sato, Gilles Barthe, Marco Gaboardi et al.2017 · 25 citationsarXiv
Data Poisoning against Differentially-Private Learners: Attacks and Defenses1903.09860v2 · Yuzhe Ma, Xiaojin Zhu, Justin Hsu2019 · 129 citationsarXiv
Probabilistic Relational Reasoning via Metrics1807.05091v3 · Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu et al.2018 · 30 citationsarXiv
Trace Abstraction Modulo Probability1810.12396v1 · Calvin Smith, Justin Hsu, Aws Albarghouthi2018 · 1 citationarXiv
Convex Language Semantics for Nondeterministic Probabilistic Automata1805.11550v1 · Gerco van Heerdt, Justin Hsu, Joel Ouaknine et al.2018 · 8 citationsarXiv
Almost Sure Productivity1802.06283v2 · Alejandro Aguirre, Gilles Barthe, Justin Hsu et al.2018 · 1 citationarXiv
Constraint-Based Synthesis of Coupling Proofs1804.04052v1 · Aws Albarghouthi, Justin Hsu2018 · 6 citationsarXiv
Probabilistic Program Equivalence for NetKAT1707.02772v2 · Steffen Smolka, Praveen Kumar, Nate Foster et al.2017 · 1 citationarXiv
Differential Privacy for the Analyst via Private Equilibrium Computation1211.0877v2 · Justin Hsu, Aaron Roth, Jonathan Ullman2012 · 32 citationsarXiv
Dual Query: Practical Private Query Release for High Dimensional Data1402.1526v2 · Marco Gaboardi, Emilio Jes'us Gallego Arias, Justin Hsu et al.2014 · 44 citationsJournal of Privacy and Confidentiality 7(2) 53--77 (2017)
Differential Privacy: An Economic Method for Choosing Epsilon1402.3329v1 · Justin Hsu, Marco Gaboardi, Andreas Haeberlen et al.2014 · 282 citationsarXiv
Privately Solving Linear Programs1402.3631v2 · Justin Hsu, Aaron Roth, Tim Roughgarden et al.2014 · 46 citationsarXiv
Proving differential privacy in Hoare logic1407.2988v1 · Gilles Barthe, Marco Gaboardi, Emilio Jes'us Gallego Arias et al.2014 · 62 citationsarXiv
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy1407.6845v2 · Gilles Barthe, Marco Gaboardi, Emilio Jes'us Gallego Arias et al.2014 · 62 citationsarXiv
Jointly Private Convex Programming1411.0998v2 · Justin Hsu, Zhiyi Huang, Aaron Roth et al.2014 · 24 citationsarXivon Valency
Computer-aided verification in mechanism design1502.04052v5 · Gilles Barthe, Marco Gaboardi, Emilio Jes'us Gallego Arias et al.2015 · 14 citationsarXiv
Really Natural Linear Indexed Type Checking1503.04522v1 · Arthur Azevedo de Amorim, Emilio Jes'us Gallego Arias, Marco Gaboardi et al.2015 · 28 citationsarXiv
Relational reasoning via probabilistic coupling1509.03476v2 · Gilles Barthe, Thomas Espitau, Benjamin Gr'egoire et al.2015 · 44 citationsarXiv
Do Prices Coordinate Markets?1511.00925v5 · Justin Hsu, Jamie Morgenstern, Ryan Rogers et al.2015 · 27 citationsarXivon Valency
Advanced Probabilistic Couplings for Differential Privacy1606.07143v2 · Gilles Barthe, No'emie Fong, Marco Gaboardi et al.2016 · 56 citationsarXiv
Coupling proofs are probabilistic product programs1607.03455v5 · Gilles Barthe, Benjamin Gr'egoire, Justin Hsu et al.2016 · 31 citationsarXiv
An Assertion-Based Program Logic for Probabilistic Programs1803.05535v1 · Gilles Barthe, Thomas Espitau, Marco Gaboardi et al.2018 · 28 citationsarXiv
Proving Expected Sensitivity of Probabilistic Programs1708.02537v2 · Gilles Barthe, Thomas Espitau, Benjamin Gr'egoire et al.2017 · 42 citationsarXiv
Synthesizing Coupling Proofs of Differential Privacy1709.05361v2 · Aws Albarghouthi, Justin Hsu2017 · 52 citationsarXiv
Career total: 102 works. 53 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.