Justin Hsu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
21
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCOMM | λ | Vaibhav Mehta, Arjun Devraj, Bill Owens, Justin Hsu, Rachee Singh |
| 2024 | CAV | Verifying Cake-Cutting, Faster. | Noah Bertram, Tean Lai, Justin Hsu |
| 2024 | FSCD | A Categorical Approach to DIBI Models. | Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi |
| 2023 | HOTNETS | Expressive Policies For Microservice Networks. | Karuna Grewal, Philip Brighten Godfrey, Justin Hsu |
| 2023 | IJCAI | Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). | Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy |
| 2022 | CAV | Data-Driven Invariant Learning for Probabilistic Programs. | Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy |
| 2022 | PLDI | P4BID: information flow control in p4. | Karuna Grewal, Loris D'Antoni, Justin Hsu |
| 2021 | LICS | A Bunched Logic for Conditional Independence. | Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva |
| 2021 | LICS | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
| 2021 | SP | Learning Differentially Private Mechanisms. | Subhajit Roy, Justin Hsu, Aws Albarghouthi |
| 2020 | AISTATS | Hypothesis Testing Interpretations and Renyi Differential Privacy. | Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato |
| 2019 | ICAART | Fake News Detection via NLP is Vulnerable to Adversarial Attacks. | Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu |
| 2019 | IJCAI | Data Poisoning against Differentially-Private Learners: Attacks and Defenses. | Yuzhe Ma, Xiaojin Zhu, Justin Hsu |
| 2019 | LICS | Probabilistic Relational Reasoning via Metrics. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | LICS | Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | PLDI | Scalable verification of probabilistic networks. | Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva |
| 2018 | CAV | Constraint-Based Synthesis of Coupling Proofs. | Aws Albarghouthi, Justin Hsu |
| 2018 | ESOP | An Assertion-Based Program Logic for Probabilistic Programs. | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2018 | ICALP | Almost Sure Productivity. | Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva |
| 2018 | ICTAC | Convex Language Semantics for Nondeterministic Probabilistic Automata. | Gerco van Heerdt, Justin Hsu, Jol Ouaknine, Alexandra Silva |
| 2017 | ICALP | *-Liftings for Differential Privacy. | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub |
| 2017 | LPAR | Proving uniformity and independence by self-composition and coupling. | Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2017 | POPL | A semantic account of metric preservation. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui |
| 2017 | POPL | Coupling proofs are probabilistic product programs. | Gilles Barthe, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | CAV | Synthesizing Probabilistic Invariants via Doob's Decomposition. | Gilles Barthe, Thomas Espitau, Luis Mara Ferrer Fioriti, Justin Hsu |
| 2016 | CCS | Differentially Private Bayesian Programming. | Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jess Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub |
| 2016 | CCS | Advanced Probabilistic Couplings for Differential Privacy. | Gilles Barthe, Nomie Fong, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | ICALP | A Program Logic for Union Bounds. | Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | LICS | Proving Differential Privacy via Probabilistic Couplings. | Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | SODA | Jointly Private Convex Programming. | Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu |
| 2016 | STOC | Do prices coordinate markets? | Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra |
| 2015 | HCOMP | Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. | Sepehr Assadi, Justin Hsu, Shahin Jabbari |
| 2015 | LPAR | Relational Reasoning via Probabilistic Coupling. | Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Lo Stefanesco, Pierre-Yves Strub |
| 2015 | POPL | Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. | Gilles Barthe, Marco Gaboardi, Emilio Jess Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub |
| 2014 | ICALP | Privately Solving Linear Programs. | Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman |
| 2014 | ICML | Dual Query: Practical Private Query Release for High Dimensional Data. | Marco Gaboardi, Emilio Jess Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu |
| 2014 | STOC | Private matchings and allocations. | Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu |
| 2013 | ICFP | System FC with explicit kind equality. | Stephanie Weirich, Justin Hsu, Richard A. Eisenberg |
| 2013 | POPL | Linear dependent types for differential privacy. | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
| 2013 | STOC | Differential privacy for the analyst via private equilibrium computation. | Justin Hsu, Aaron Roth, Jonathan R. Ullman |
| 2012 | ICALP | Distributed Private Heavy Hitters. | Justin Hsu, Sanjeev Khanna, Aaron Roth |