Publications (32)
Probabilistic Program Equivalence for NetKAT
Steffen Smolka, Praveen Kumar, Nate Foster +4
An Assertion-Based Program Logic for Probabilistic Programs
Gilles Barthe, Thomas Espitau, Marco Gaboardi +3
Synthesizing Coupling Proofs of Differential Privacy
Aws Albarghouthi, Justin Hsu
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets
Sepehr Assadi, Justin Hsu, Shahin Jabbari
Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
Synthesizing Probabilistic Invariants via Doob's Decomposition
Gilles Barthe, Thomas Espitau, Luis MarÃa Ferrer Fioriti +1
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
Do Prices Coordinate Markets?
Justin Hsu, Jamie Morgenstern, Ryan Rogers +2
Differential Privacy: An Economic Method for Choosing Epsilon
Justin Hsu, Marco Gaboardi, Andreas Haeberlen +4
Almost Sure Productivity
Alejandro Aguirre, Gilles Barthe, Justin Hsu +1
Proving differential privacy in Hoare logic
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Computer-aided verification in mechanism design
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Jointly Private Convex Programming
Justin Hsu, Zhiyi Huang, Aaron Roth +1
Data Poisoning against Differentially-Private Learners: Attacks and Defenses
Yuzhe Ma, Xiaojin Zhu, Justin Hsu
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Convex Language Semantics for Nondeterministic Probabilistic Automata
Gerco van Heerdt, Justin Hsu, Joël Ouaknine +1
Probabilistic Relational Reasoning via Metrics
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu +1
Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, Benjamin Grégoire +3
Dual Query: Practical Private Query Release for High Dimensional Data
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu +2
Private Matchings and Allocations
Justin Hsu, Zhiyi Huang, Aaron Roth +2
Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi, Justin Hsu
Fake News Detection via NLP is Vulnerable to Adversarial Attacks
Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat +1
Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, Marco Gaboardi +3
Differential Privacy for the Analyst via Private Equilibrium Computation
Justin Hsu, Aaron Roth, Jonathan Ullman
Coupling proofs are probabilistic product programs
Gilles Barthe, Benjamin Grégoire, Justin Hsu +1
Really Natural Linear Indexed Type Checking
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi +1
Proving Expected Sensitivity of Probabilistic Programs
Gilles Barthe, Thomas Espitau, Benjamin Grégoire +2
Differentially Private Bayesian Programming
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi +4
Distributed Private Heavy Hitters
Justin Hsu, Sanjeev Khanna, Aaron Roth
Proving uniformity and independence by self-composition and coupling
Gilles Barthe, Thomas Espitau, Benjamin Grégoire +2
Trace Abstraction Modulo Probability
Calvin Smith, Justin Hsu, Aws Albarghouthi
Privately Solving Linear Programs
Justin Hsu, Aaron Roth, Tim Roughgarden +1