Justin Hsu

131 papers A* 24A 5B 5C 2Misc 1Journal 83Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hoare Logic for Symmetry Properties.
CoRR
Vaibhav Mehta, Justin Hsu
2025 J jnl
A Hoare Logic for Symmetry Properties.
Proc. ACM Program. Lang.
Vaibhav Mehta, Justin Hsu
2025 J jnl
Bean: A Language for Backward Error Analysis.
CoRR
Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu
2025 J jnl
Bean: A Language for Backward Error Analysis.
Proc. ACM Program. Lang.
Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu
2025 J jnl
Convex language semantics for nondeterministic probabilistic automata.
Theor. Comput. Sci.
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2025 J jnl
Data-driven invariant learning for probabilistic programs.
Formal Methods Syst. Des.
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2025 J jnl
SafeTree: Expressive Tree Policies for Microservices.
CoRR
Karuna Grewal, Philip Brighten Godfrey, Justin Hsu
2025 J jnl
SafeTree: Expressive Tree Policies for Microservices.
Proc. ACM Program. Lang.
Karuna Grewal, Brighten Godfrey, Justin Hsu
2025 J jnl
Stable and Fault-Tolerant Decentralized Traffic Engineering.
CoRR
Arjun Devraj, Umesh Krishnaswamy, Ying Zhang, Karuna Grewal, Justin Hsu, Eva Tardos, Rachee Singh
2024 B conf
A Categorical Approach to DIBI Models.
FSCD
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Categorical Approach to DIBI Models.
CoRR
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
Numerical Fuzz: A Type System for Rounding Error Analysis.
CoRR
Ariel E. Kellison, Justin Hsu
2024 J jnl
Numerical Fuzz: A Type System for Rounding Error Analysis.
Proc. ACM Program. Lang.
Ariel E. Kellison, Justin Hsu
2024 — conf
Verifying Cake-Cutting, Faster.
CAV (2)
Noah Bertram, Tean Lai, Justin Hsu
2024 J jnl
Verifying Cake-Cutting, Faster.
CoRR
Noah Bertram, Tean Lai, Justin Hsu
2023 J jnl
Cutting the Cake: A Language for Fair Division.
CoRR
Noah Bertram, Alex Levinson, Justin Hsu
2023 J jnl
Cutting the Cake: A Language for Fair Division.
Proc. ACM Program. Lang.
Noah Bertram, Alex Levinson, Justin Hsu
2023 A* conf
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
IJCAI
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2023 Misc conf
Expressive Policies For Microservice Networks.
HotNets
Karuna Grewal, Philip Brighten Godfrey, Justin Hsu
2023 C conf
Hardware-Aware Latency Pruning for Real-Time 3D Object Detection.
IV
Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez
2023 J jnl
Separated and Shared Effects in Higher-Order Languages.
CoRR
Pedro H. Azevedo de Amorim, Justin Hsu
2022 J jnl
A separation logic for negative dependence.
Proc. ACM Program. Lang.
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2022 — conf
Data-Driven Invariant Learning for Probabilistic Programs.
CAV (1)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2022 J jnl
P4BID: Information Flow Control in P4.
CoRR
Karuna Grewal, Loris D'Antoni, Justin Hsu
2022 A* conf
P4BID: information flow control in p4.
PLDI
Karuna Grewal, Loris D'Antoni, Justin Hsu
2022 B ed.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022
MFPS
Justin Hsu, Christine Tasson
2022 J jnl
Symbolic Execution for Randomized Programs.
CoRR
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
2022 J jnl
Symbolic execution for randomized programs.
Proc. ACM Program. Lang.
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
2021 A* conf
A Bunched Logic for Conditional Independence.
LICS
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2021 A* conf
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
LICS
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021 J jnl
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic.
CoRR
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021 J jnl
A Separation Logic for Negative Dependence.
CoRR
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2021 J jnl
A pre-expectation calculus for probabilistic sensitivity.
Proc. ACM Program. Lang.
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2021 J jnl
Advances and Open Problems in Federated Learning.
Found. Trends Mach. Learn.
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
2021 J jnl
Data-Driven Invariant Learning for Probabilistic Programs.
CoRR
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
2021 A* conf
Learning Differentially Private Mechanisms.
SP
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2021 J jnl
Learning Differentially Private Mechanisms.
CoRR
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2020 J jnl
A Logic to Reason about Dependence and Independence.
CoRR
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020 J jnl
A probabilistic separation logic.
Proc. ACM Program. Lang.
Gilles Barthe, Justin Hsu, Kevin Liao
2020 J jnl
Analyzing Accuracy Loss in Randomized Smoothing Defenses.
CoRR
Yue Gao, Harrison Rosenberg, Kassem Fawaz, Somesh Jha, Justin Hsu
2020 J jnl
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang.
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2020 A conf
Hypothesis Testing Interpretations and Renyi Differential Privacy.
AISTATS
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2020 — ch.
Probabilistic Couplings from Program Logics.
Foundations of Probabilistic Programming
Gilles Barthe, Justin Hsu
2020 J jnl
Relational proofs for quantum programs.
Proc. ACM Program. Lang.
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2019 J jnl
A Probabilistic Separation Logic.
CoRR
Gilles Barthe, Justin Hsu, Kevin Liao
2019 J jnl
Advances and Open Problems in Federated Learning.
CoRR
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
2019 A* conf
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.
LICS
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019 J jnl
Coupling Techniques for Reasoning about Quantum Programs.
CoRR
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2019 A* conf
Data Poisoning against Differentially-Private Learners: Attacks and Defenses.
IJCAI
Yuzhe Ma, Xiaojin Zhu, Justin Hsu
2019 J jnl
Data Poisoning against Differentially-Private Learners: Attacks and Defenses.
CoRR
Yuzhe Ma, Xiaojin Zhu, Justin Hsu
2019 — conf
Fake News Detection via NLP is Vulnerable to Adversarial Attacks.
ICAART (2)
Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu
2019 J jnl
Fake News Detection via NLP is Vulnerable to Adversarial Attacks.
CoRR
Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu
2019 J jnl
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
Proc. ACM Program. Lang.
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2019 J jnl
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
CoRR
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2019 J jnl
Hypothesis Testing Interpretations and Renyi Differential Privacy.
CoRR
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2019 J jnl
Kantorovich Continuity of Probabilistic Programs.
CoRR
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2019 A* conf
Probabilistic Relational Reasoning via Metrics.
LICS
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019 J jnl
Relational ⋆⋆\star-Liftings for Differential Privacy.
Log. Methods Comput. Sci.
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2019 J jnl
Scalable Verification of Probabilistic Networks.
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
Scalable verification of probabilistic networks.
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 J jnl
Trace abstraction modulo probability.
Proc. ACM Program. Lang.
Calvin Smith, Justin Hsu, Aws Albarghouthi
2018 A* conf
Almost Sure Productivity.
ICALP
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
2018 J jnl
Almost Sure Productivity.
CoRR
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
2018 A conf
An Assertion-Based Program Logic for Probabilistic Programs.
ESOP
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018 J jnl
An Assertion-Based Program Logic for Probabilistic Programs.
CoRR
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018 — conf
Constraint-Based Synthesis of Coupling Proofs.
CAV (1)
Aws Albarghouthi, Justin Hsu
2018 J jnl
Constraint-Based Synthesis of Coupling Proofs.
CoRR
Aws Albarghouthi, Justin Hsu
2018 C conf
Convex Language Semantics for Nondeterministic Probabilistic Automata.
ICTAC
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Convex Language Semantics for Nondeterministic Probabilistic Automata.
CoRR
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Formal verification of higher-order probabilistic programs.
CoRR
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2018 J jnl
Metric Semantics for Probabilistic Relational Reasoning.
CoRR
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2018 J jnl
Proving expected sensitivity of probabilistic programs.
Proc. ACM Program. Lang.
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018 J jnl
Synthesizing coupling proofs of differential privacy.
Proc. ACM Program. Lang.
Aws Albarghouthi, Justin Hsu
2018 J jnl
Trace Abstraction Modulo Probability.
CoRR
Calvin Smith, Justin Hsu, Aws Albarghouthi
2017 A* conf
*-Liftings for Differential Privacy.
ICALP
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2017 J jnl
*-Liftings for Differential Privacy.
CoRR
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2017 J jnl
A Semantic Account of Metric Preservation.
CoRR
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
2017 A* conf
A semantic account of metric preservation.
POPL
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
2017 A* conf
Coupling proofs are probabilistic product programs.
POPL
Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2017 J jnl
Probabilistic Couplings for Probabilistic Reasoning.
CoRR
Justin Hsu
2017 J jnl
Proving Expected Sensitivity of Probabilistic Programs.
CoRR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2017 B conf
Proving uniformity and independence by self-composition and coupling.
LPAR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2017 J jnl
Proving uniformity and independence by self-composition and coupling.
CoRR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2017 J jnl
Reasoning about Divergences for Relaxations of Differential Privacy.
CoRR
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2017 J jnl
Synthesizing Coupling Proofs of Differential Privacy.
CoRR
Aws Albarghouthi, Justin Hsu
2016 A* conf
A Program Logic for Union Bounds.
ICALP
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 J jnl
A program logic for union bounds.
CoRR
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 A* conf
Advanced Probabilistic Couplings for Differential Privacy.
CCS
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 J jnl
Advanced Probabilistic Couplings for Differential Privacy.
CoRR
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 — conf
Computer-Aided Verification for Mechanism Design.
WINE
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2016 J jnl
Coupling proofs are probabilistic product programs.
CoRR
Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 A* conf
Differentially Private Bayesian Programming.
CCS
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016 J jnl
Differentially Private Bayesian Programming.
CoRR
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016 A* conf
Do prices coordinate markets?
STOC
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
2016 J jnl
Do prices coordinate markets?
SIGecom Exch.
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
2016 J jnl
Dual Query: Practical Private Query Release for High Dimensional Data.
J. Priv. Confidentiality
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2016 A* conf
Jointly Private Convex Programming.
SODA
Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu
2016 J jnl
Private Matchings and Allocations.
SIAM J. Comput.
Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu
2016 J jnl
Programming language techniques for differential privacy.
ACM SIGLOG News
Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce
2016 A* conf
Proving Differential Privacy via Probabilistic Couplings.
LICS
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 J jnl
Proving Differential Privacy via Probabilistic Couplings.
CoRR
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016 — conf
Synthesizing Probabilistic Invariants via Doob's Decomposition.
CAV (1)
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
2016 J jnl
Synthesizing Probabilistic Invariants via Doob's Decomposition.
CoRR
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
2015 — conf
A Theory AB Toolbox.
SNAPL
Marco Gaboardi, Justin Hsu
2015 J jnl
Computer-aided verification in mechanism design.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015 J jnl
Do Prices Coordinate Markets?
CoRR
Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra
2015 A* conf
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
POPL
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015 B conf
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets.
HCOMP
Sepehr Assadi, Justin Hsu, Shahin Jabbari
2015 J jnl
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets.
CoRR
Sepehr Assadi, Justin Hsu, Shahin Jabbari
2015 J jnl
Really Natural Linear Indexed Type Checking.
CoRR
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu
2015 B conf
Relational Reasoning via Probabilistic Coupling.
LPAR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2015 J jnl
Relational reasoning via probabilistic coupling.
CoRR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2014 A conf
Differential Privacy: An Economic Method for Choosing Epsilon.
CSF
Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014 J jnl
Differential Privacy: An Economic Method for Choosing Epsilon.
CoRR
Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014 A* conf
Dual Query: Practical Private Query Release for High Dimensional Data.
ICML
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014 J jnl
Dual Query: Practical Private Query Release for High Dimensional Data.
CoRR
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014 J jnl
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2014 J jnl
Jointly Private Convex Programming.
CoRR
Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu
2014 A* conf
Private matchings and allocations.
STOC
Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu
2014 — conf
Privately Solving Linear Programs.
ICALP (1)
Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman
2014 J jnl
Privately Solving Linear Programs.
CoRR
Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman
2014 A conf
Proving Differential Privacy in Hoare Logic.
CSF
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014 J jnl
Proving differential privacy in Hoare logic.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014 — conf
Really Natural Linear Indexed Type Checking.
IFL
Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu
2013 A* conf
Differential privacy for the analyst via private equilibrium computation.
STOC
Justin Hsu, Aaron Roth, Jonathan R. Ullman
2013 A* conf
Linear dependent types for differential privacy.
POPL
Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce
2013 J jnl
Private Matchings and Allocations.
CoRR
Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu
2013 A conf
System FC with explicit kind equality.
ICFP
Stephanie Weirich, Justin Hsu, Richard A. Eisenberg
2012 J jnl
Differential Privacy for the Analyst via Private Equilibrium Computation
CoRR
Justin Hsu, Aaron Roth, Jonathan R. Ullman
2012 J jnl
Distributed Private Heavy Hitters
CoRR
Justin Hsu, Sanjeev Khanna, Aaron Roth
2012 — conf
Distributed Private Heavy Hitters.
ICALP (1)
Justin Hsu, Sanjeev Khanna, Aaron Roth