Marco Gaboardi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 115

Top Venues

CoRR

Proc. ACM Program. Lang.

NeurIPS

ESOP

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
SymRustC: A Hybrid Fuzzer for Rust. ISSTA (2023)
Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek
A Formal Model for Secure Multiparty Computation. CoRR (2023)
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Bunched Fuzz: Sensitivity for Vector Metrics. ESOP (2023)
Di Wang, Lijie Hu, Huanyu Zhang, Marco Gaboardi, Jinhui Xu
Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data. J. Mach. Learn. Res. 24 (2023)
Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang
Continual Release of Differentially Private Synthetic Data. CoRR (2023)
Marco Gaboardi, Igor Walukiewicz
Report on Logic in Computer Science (LICS'23). ACM SIGLOG News 10 (4) (2023)
Mark Bun, Marco Gaboardi, Ludmila Glinskih
The Complexity of Verifying Boolean Programs as Differentially Private. CoRR (2023)
Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell
Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. CoRR (2023)
Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell
Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. STOC (2023)
Mark Bun, Marco Gaboardi, Ludmila Glinskih
The Complexity of Verifying Boolean Programs as Differentially Private. CSF (2022)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A separation logic for negative dependence. Proc. ACM Program. Lang. 6 (POPL) (2022)
Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang
On Facility Location Problem in the Local Differential Privacy Model. AISTATS (2022)
Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan, Jayshree Sarathy
Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling. FORC (2022)
Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. ITP (2022)
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Bunched Fuzz: Sensitivity for Vector Metrics. CoRR (2022)
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
On incorrectness logic and Kleene algebra with top and tests. Proc. ACM Program. Lang. 6 (POPL) (2022)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational cost analysis in a functional-imperative setting. J. Funct. Program. 31 (2021)
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
On Incorrectness Logic and Kleene Algebra With Top and Tests. CoRR (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR (2021)
Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. CoRR (2021)
Satchit Sivakumar, Mark Bun, Marco Gaboardi
Multiclass versus Binary Differentially Private PAC Learning. NeurIPS (2021)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Language for Data Privacy with Accuracy Estimations. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. ESOP (2021)
Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. NeurIPS (2021)
Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. ALT (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. ESOP (2021)
Marco Gaboardi
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. PPDP (2021)
Mark Bun, Marco Gaboardi, Satchit Sivakumar
Multiclass versus Binary Differentially Private PAC Learning. CoRR (2021)
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
A Separation Logic for Negative Dependence. CoRR (2021)
Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. CoRR (2020)
Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. J. Mach. Learn. Res. 21 (2020)
Marco Gaboardi, Kobbi Nissim, David Purser
The Complexity of Verifying Loop-Free Programs as Differentially Private. ICALP (2020)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. CoRR (2020)
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS (2020)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. IEEE Symposium on Security and Privacy (2020)
Borja Balle, Gilles Barthe, Marco Gaboardi
Privacy Profiles and Amplification by Subsampling. J. Priv. Confidentiality 10 (1) (2020)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. CoRR (2020)
Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan
Controlling Privacy Loss in Survey Sampling (Working Paper). CoRR (2020)
Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp
Probabilistic Programming Languages for Modeling Autonomous Systems. MFI (2020)
Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek
Privacy Amplification by Mixing and Diffusion Mechanisms. CoRR (2019)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. PPDP (2019)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth, Aleksandra B. Slavkovic
Program for TPDP 2016. J. Priv. Confidentiality 9 (1) (2019)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS (2019)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. CoRR (2019)
Marco Gaboardi, Kobbi Nissim, David Purser
The Complexity of Verifying Circuits as Differentially Private. CoRR (2019)
Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek
Privacy Amplification by Mixing and Diffusion Mechanisms. NeurIPS (2019)
Marco Gaboardi
Special Issue on the Theory and Practice of Differential Privacy 2016. J. Priv. Confidentiality 9 (1) (2019)
Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang
Facility Location Problem in Differential Privacy Model Revisited. NeurIPS (2019)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. J. Funct. Program. 29 (2019)
Di Wang, Huanyu Zhang, Marco Gaboardi, Jinhui Xu
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. CoRR (2019)
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR (2019)
Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang
Facility Location Problem in Differential Privacy Model Revisited. CoRR (2019)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional type checking for relational properties. PLDI (2019)
Marco Gaboardi, Ryan Rogers, Or Sheffet
Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals. AISTATS (2019)
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) (2019)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Probabilistic Relational Reasoning via Metrics. LICS (2019)
Marco Gaboardi
Formal Verification of Differential Privacy. PLAS@CCS (2018)
Borja Balle, Gilles Barthe, Marco Gaboardi
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. CoRR (2018)
Marco Gaboardi, Ryan Rogers
Local Private Hypothesis Testing: Chi-Square Tests. ICML (2018)
Marco Gaboardi, Ryan Rogers, Or Sheffet
Locally Private Mean Estimation: Z-test and Tight Confidence Intervals. CoRR (2018)
Marco Gaboardi, Ulrich Schöpp
Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. 261 (2018)
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
An Assertion-Based Program Logic for Probabilistic Programs. ESOP (2018)
Borja Balle, Gilles Barthe, Marco Gaboardi
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. NeurIPS (2018)
Di Wang, Marco Gaboardi, Jinhui Xu
Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR (2018)
Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs. CoRR (2018)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Metric Semantics for Probabilistic Relational Reasoning. CoRR (2018)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional Type Checking for Relational Properties. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP (2018)
Di Wang, Marco Gaboardi, Jinhui Xu
Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited. NeurIPS (2018)
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
An Assertion-Based Program Logic for Probabilistic Programs. CoRR (2018)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational Cost Analysis for Functional-Imperative Programs. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A Relational Logic for Higher-Order Programs. CoRR (2017)
Marco Gaboardi, Shin-ya Katsumata
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep. 2017 (2017)
Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Relational cost analysis. POPL (2017)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. CoRR (2017)
Nataliia Bielova, Marco Gaboardi
PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS (2017)
Marco Gaboardi
Type Systems for the Relational Verification of Higher Order Programs (Invited Talk). FSCD (2017)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR (2017)
Marco Gaboardi, Ryan M. Rogers
Local Private Hypothesis Testing: Chi-Square Tests. CoRR (2017)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A semantic account of metric preservation. POPL (2017)
Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7 (7) (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A Semantic Account of Metric Preservation. CoRR (2017)
Marco Gaboardi, Chris J. Skinner
Special Issue on the Theory and Practice of Differential Privacy. J. Priv. Confidentiality 7 (2) (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Proving Differential Privacy via Probabilistic Couplings. LICS (2016)
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
Computer-Aided Verification for Mechanism Design. WINE (2016)
Marco Gaboardi, Luca Paolini, Mauro Piccolo
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26 (5) (2016)
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Combining effects and coeffects via grading. ICFP (2016)
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Advanced Probabilistic Couplings for Differential Privacy. CCS (2016)
Myrto Arapinis, Diego Figueira, Marco Gaboardi
Sensitivity of Counting Queries. ICALP (2016)
Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan
Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. ICML (2016)
Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports 6 (3) (2016)
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
A program logic for union bounds. CoRR (2016)
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)
Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan
Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. CoRR (2016)

Marco Gaboardi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Gaboardi