default search action
Justin Hsu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j18]Ariel E. Kellison, Justin Hsu:
Numerical Fuzz: A Type System for Rounding Error Analysis. Proc. ACM Program. Lang. 8(PLDI): 1954-1978 (2024) - [c46]Noah Bertram, Tean Lai, Justin Hsu:
Verifying Cake-Cutting, Faster. CAV (2) 2024: 109-129 - [c45]Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. FSCD 2024: 17:1-17:20 - [i56]Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. CoRR abs/2401.05842 (2024) - [i55]Ariel E. Kellison, Justin Hsu:
Numerical Fuzz: A Type System for Rounding Error Analysis. CoRR abs/2405.04612 (2024) - [i54]Noah Bertram, Tean Lai, Justin Hsu:
Verifying Cake-Cutting, Faster. CoRR abs/2405.14068 (2024) - 2023
- [j17]Noah Bertram, Alex Levinson, Justin Hsu:
Cutting the Cake: A Language for Fair Division. Proc. ACM Program. Lang. 7(PLDI): 1779-1800 (2023) - [c44]Karuna Grewal, Philip Brighten Godfrey, Justin Hsu:
Expressive Policies For Microservice Networks. HotNets 2023: 280-286 - [c43]Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI 2023: 6415-6419 - [c42]Maying Shen, Lei Mao, Joshua Chen, Justin Hsu, Xinglong Sun, Oliver Knieps, Carmen Maxim, José M. Álvarez:
Hardware-Aware Latency Pruning for Real-Time 3D Object Detection. IV 2023: 1-6 - [i53]Pedro H. Azevedo de Amorim, Justin Hsu:
Separated and Shared Effects in Higher-Order Languages. CoRR abs/2303.01616 (2023) - [i52]Noah Bertram, Alex Levinson, Justin Hsu:
Cutting the Cake: A Language for Fair Division. CoRR abs/2304.04642 (2023) - 2022
- [j16]Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy:
Symbolic execution for randomized programs. Proc. ACM Program. Lang. 6(OOPSLA2): 1583-1612 (2022) - [j15]Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti:
A separation logic for negative dependence. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [c41]Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs. CAV (1) 2022: 33-54 - [c40]Karuna Grewal, Loris D'Antoni, Justin Hsu:
P4BID: information flow control in p4. PLDI 2022: 46-60 - [e1]Justin Hsu, Christine Tasson:
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. EPTICS 1, EpiSciences 2022 [contents] - [i51]Karuna Grewal, Loris D'Antoni, Justin Hsu:
P4BID: Information Flow Control in P4. CoRR abs/2204.03113 (2022) - [i50]Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy:
Symbolic Execution for Randomized Programs. CoRR abs/2209.08046 (2022) - 2021
- [j14]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:
Advances and Open Problems in Federated Learning. Found. Trends Mach. Learn. 14(1-2): 1-210 (2021) - [j13]Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [c39]Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Bunched Logic for Conditional Independence. LICS 2021: 1-14 - [c38]Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu:
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS 2021: 1-14 - [c37]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. SP 2021: 852-865 - [i49]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. CoRR abs/2101.00961 (2021) - [i48]Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu:
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR abs/2102.00329 (2021) - [i47]Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs. CoRR abs/2106.05421 (2021) - [i46]Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti:
A Separation Logic for Negative Dependence. CoRR abs/2111.14917 (2021) - 2020
- [j12]Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou:
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4(POPL): 21:1-21:29 (2020) - [j11]Gilles Barthe, Justin Hsu, Kevin Liao:
A probabilistic separation logic. Proc. ACM Program. Lang. 4(POPL): 55:1-55:30 (2020) - [j10]Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4(POPL): 61:1-61:28 (2020) - [c36]Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato:
Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS 2020: 2496-2506 - [i45]Yue Gao, Harrison Rosenberg, Kassem Fawaz, Somesh Jha, Justin Hsu:
Analyzing Accuracy Loss in Randomized Smoothing Defenses. CoRR abs/2003.01595 (2020) - [i44]Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Logic to Reason about Dependence and Independence. CoRR abs/2008.09231 (2020)
2010 – 2019
- 2019
- [j9]Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub:
Relational ⋆⋆\star-Liftings for Differential Privacy. Log. Methods Comput. Sci. 15(4) (2019) - [j8]Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu:
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. 3(POPL): 38:1-38:30 (2019) - [j7]Calvin Smith, Justin Hsu, Aws Albarghouthi:
Trace abstraction modulo probability. Proc. ACM Program. Lang. 3(POPL): 39:1-39:31 (2019) - [c35]Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu:
Fake News Detection via NLP is Vulnerable to Adversarial Attacks. ICAART (2) 2019: 794-800 - [c34]Yuzhe Ma, Xiaojin Zhu, Justin Hsu:
Data Poisoning against Differentially-Private Learners: Attacks and Defenses. IJCAI 2019: 4732-4738 - [c33]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Probabilistic Relational Reasoning via Metrics. LICS 2019: 1-19 - [c32]Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS 2019: 1-14 - [c31]Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable verification of probabilistic networks. PLDI 2019: 190-203 - [i43]Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou:
Coupling Techniques for Reasoning about Quantum Programs. CoRR abs/1901.05184 (2019) - [i42]Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Kantorovich Continuity of Probabilistic Programs. CoRR abs/1901.06540 (2019) - [i41]Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat, Justin Hsu:
Fake News Detection via NLP is Vulnerable to Adversarial Attacks. CoRR abs/1901.09657 (2019) - [i40]Yuzhe Ma, Xiaojin Zhu, Justin Hsu:
Data Poisoning against Differentially-Private Learners: Attacks and Defenses. CoRR abs/1903.09860 (2019) - [i39]Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable Verification of Probabilistic Networks. CoRR abs/1904.08096 (2019) - [i38]Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato:
Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR abs/1905.09982 (2019) - [i37]Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR abs/1907.05920 (2019) - [i36]Gilles Barthe, Justin Hsu, Kevin Liao:
A Probabilistic Separation Logic. CoRR abs/1907.10708 (2019) - [i35]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:
Advances and Open Problems in Federated Learning. CoRR abs/1912.04977 (2019) - 2018
- [j6]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving expected sensitivity of probabilistic programs. Proc. ACM Program. Lang. 2(POPL): 57:1-57:29 (2018) - [j5]Aws Albarghouthi, Justin Hsu:
Synthesizing coupling proofs of differential privacy. Proc. ACM Program. Lang. 2(POPL): 58:1-58:30 (2018) - [c30]Aws Albarghouthi, Justin Hsu:
Constraint-Based Synthesis of Coupling Proofs. CAV (1) 2018: 327-346 - [c29]Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
An Assertion-Based Program Logic for Probabilistic Programs. ESOP 2018: 117-144 - [c28]Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva:
Almost Sure Productivity. ICALP 2018: 113:1-113:15 - [c27]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC 2018: 472-492 - [i34]Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva:
Almost Sure Productivity. CoRR abs/1802.06283 (2018) - [i33]Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
An Assertion-Based Program Logic for Probabilistic Programs. CoRR abs/1803.05535 (2018) - [i32]Aws Albarghouthi, Justin Hsu:
Constraint-Based Synthesis of Coupling Proofs. CoRR abs/1804.04052 (2018) - [i31]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR abs/1805.11550 (2018) - [i30]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Metric Semantics for Probabilistic Relational Reasoning. CoRR abs/1807.05091 (2018) - [i29]Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu:
Formal verification of higher-order probabilistic programs. CoRR abs/1807.06091 (2018) - [i28]Calvin Smith, Justin Hsu, Aws Albarghouthi:
Trace Abstraction Modulo Probability. CoRR abs/1810.12396 (2018) - 2017
- [c26]Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub:
*-Liftings for Differential Privacy. ICALP 2017: 102:1-102:12 - [c25]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving uniformity and independence by self-composition and coupling. LPAR 2017: 385-403 - [c24]Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Coupling proofs are probabilistic product programs. POPL 2017: 161-174 - [c23]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A semantic account of metric preservation. POPL 2017: 545-556 - [i27]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving uniformity and independence by self-composition and coupling. CoRR abs/1701.06477 (2017) - [i26]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A Semantic Account of Metric Preservation. CoRR abs/1702.00374 (2017) - [i25]Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub:
*-Liftings for Differential Privacy. CoRR abs/1705.00133 (2017) - [i24]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Expected Sensitivity of Probabilistic Programs. CoRR abs/1708.02537 (2017) - [i23]Aws Albarghouthi, Justin Hsu:
Synthesizing Coupling Proofs of Differential Privacy. CoRR abs/1709.05361 (2017) - [i22]Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR abs/1710.09010 (2017) - [i21]Justin Hsu:
Probabilistic Couplings for Probabilistic Reasoning. CoRR abs/1710.09951 (2017) - 2016
- [j4]Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu:
Dual Query: Practical Private Query Release for High Dimensional Data. J. Priv. Confidentiality 7(2) (2016) - [j3]Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu:
Private Matchings and Allocations. SIAM J. Comput. 45(6): 1953-1984 (2016) - [j2]Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra:
Do prices coordinate markets? SIGecom Exch. 15(1): 84-88 (2016) - [j1]Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce:
Programming language techniques for differential privacy. ACM SIGLOG News 3(1): 34-53 (2016) - [c22]Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu:
Synthesizing Probabilistic Invariants via Doob's Decomposition. CAV (1) 2016: 43-61 - [c21]Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. CCS 2016: 55-67 - [c20]Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
Differentially Private Bayesian Programming. CCS 2016: 68-79 - [c19]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A Program Logic for Union Bounds. ICALP 2016: 107:1-107:15 - [c18]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. LICS 2016: 749-758 - [c17]Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu:
Jointly Private Convex Programming. SODA 2016: 580-599 - [c16]Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra:
Do prices coordinate markets? STOC 2016: 440-453 - [c15]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Computer-Aided Verification for Mechanism Design. WINE 2016: 279-293 - [i20]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. CoRR abs/1601.05047 (2016) - [i19]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A program logic for union bounds. CoRR abs/1602.05681 (2016) - [i18]Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
Differentially Private Bayesian Programming. CoRR abs/1605.00283 (2016) - [i17]Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu:
Synthesizing Probabilistic Invariants via Doob's Decomposition. CoRR abs/1605.02765 (2016) - [i16]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. CoRR abs/1606.07143 (2016) - [i15]Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Coupling proofs are probabilistic product programs. CoRR abs/1607.03455 (2016) - 2015
- [c14]Sepehr Assadi, Justin Hsu, Shahin Jabbari:
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. HCOMP 2015: 12-21 - [c13]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub:
Relational Reasoning via Probabilistic Coupling. LPAR 2015: 387-401 - [c12]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. POPL 2015: 55-68 - [c11]Marco Gaboardi, Justin Hsu:
A Theory AB Toolbox. SNAPL 2015: 129-139 - [i14]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Computer-aided verification in mechanism design. CoRR abs/1502.04052 (2015) - [i13]Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu:
Really Natural Linear Indexed Type Checking. CoRR abs/1503.04522 (2015) - [i12]Sepehr Assadi, Justin Hsu, Shahin Jabbari:
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. CoRR abs/1508.03593 (2015) - [i11]Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub:
Relational reasoning via probabilistic coupling. CoRR abs/1509.03476 (2015) - [i10]Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra:
Do Prices Coordinate Markets? CoRR abs/1511.00925 (2015) - 2014
- [c10]Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth:
Differential Privacy: An Economic Method for Choosing Epsilon. CSF 2014: 398-410 - [c9]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving Differential Privacy in Hoare Logic. CSF 2014: 411-424 - [c8]Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman:
Privately Solving Linear Programs. ICALP (1) 2014: 612-624 - [c7]Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu:
Dual Query: Practical Private Query Release for High Dimensional Data. ICML 2014: 1170-1178 - [c6]Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu:
Really Natural Linear Indexed Type Checking. IFL 2014: 5:1-5:12 - [c5]Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu:
Private matchings and allocations. STOC 2014: 21-30 - [i9]Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu:
Dual Query: Practical Private Query Release for High Dimensional Data. CoRR abs/1402.1526 (2014) - [i8]Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth:
Differential Privacy: An Economic Method for Choosing Epsilon. CoRR abs/1402.3329 (2014) - [i7]Justin Hsu, Aaron Roth, Tim Roughgarden, Jonathan R. Ullman:
Privately Solving Linear Programs. CoRR abs/1402.3631 (2014) - [i6]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving differential privacy in Hoare logic. CoRR abs/1407.2988 (2014) - [i5]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. CoRR abs/1407.6845 (2014) - [i4]Justin Hsu, Zhiyi Huang, Aaron Roth, Zhiwei Steven Wu:
Jointly Private Convex Programming. CoRR abs/1411.0998 (2014) - 2013
- [c4]Stephanie Weirich, Justin Hsu, Richard A. Eisenberg:
System FC with explicit kind equality. ICFP 2013: 275-286 - [c3]Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce:
Linear dependent types for differential privacy. POPL 2013: 357-370 - [c2]Justin Hsu, Aaron Roth, Jonathan R. Ullman:
Differential privacy for the analyst via private equilibrium computation. STOC 2013: 341-350 - [i3]Justin Hsu, Zhiyi Huang, Aaron Roth, Tim Roughgarden, Zhiwei Steven Wu:
Private Matchings and Allocations. CoRR abs/1311.2828 (2013) - 2012
- [c1]Justin Hsu, Sanjeev Khanna, Aaron Roth:
Distributed Private Heavy Hitters. ICALP (1) 2012: 461-472 - [i2]Justin Hsu, Sanjeev Khanna, Aaron Roth:
Distributed Private Heavy Hitters. CoRR abs/1202.4910 (2012) - [i1]Justin Hsu, Aaron Roth, Jonathan R. Ullman:
Differential Privacy for the Analyst via Private Equilibrium Computation. CoRR abs/1211.0877 (2012)