Marco Gaboardi

According to our database, Marco Gaboardi authored at least 107 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Programming Frameworks for Differential Privacy.

Marco Gaboardi, Michael Hay, Salil P. Vadhan

CoRR, 2024

2023

Report on Logic in Computer Science (LICS'23).

Marco Gaboardi, Igor Walukiewicz

ACM SIGLOG News, October, 2023

Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data.

Di Wang, Lijie Hu, Huanyu Zhang, Marco Gaboardi, Jinhui Xu

J. Mach. Learn. Res., 2023

Continual Release of Differentially Private Synthetic Data.

Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang

CoRR, 2023

A Formal Model for Secure Multiparty Computation.

Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek

CoRR, 2023

Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling.

Shurong Lin, Mark Bun, Marco Gaboardi, Eric D. Kolaczyk, Adam Smith

CoRR, 2023

Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization.

Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

SymRustC: A Hybrid Fuzzer for Rust.

Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Bunched Fuzz: Sensitivity for Vector Metrics.

june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi

Proceedings of the Programming Languages and Systems, 2023

2022

On incorrectness logic and Kleene algebra with top and tests.

Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi

Proc. ACM Program. Lang., 2022

A separation logic for negative dependence.

Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti

Proc. ACM Program. Lang., 2022

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling.

Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan, Jayshree Sarathy

Proceedings of the 3rd Symposium on Foundations of Responsible Computing, 2022

The Complexity of Verifying Boolean Programs as Differentially Private.

Mark Bun, Marco Gaboardi, Ludmila Glinskih

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

On Facility Location Problem in the Local Differential Privacy Model.

Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021

A Programming Language for Data Privacy with Accuracy Estimations.

Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi

ACM Trans. Program. Lang. Syst., 2021

A unifying type-theory for higher-order (amortized) cost analysis.

Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Proc. ACM Program. Lang., 2021

Higher-order probabilistic adversarial computations: categorical semantics and program logics.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

Proc. ACM Program. Lang., 2021

Relational cost analysis in a functional-imperative setting.

Weihao Qu, Marco Gaboardi, Deepak Garg

J. Funct. Program., 2021

Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis.

Marco Gaboardi

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Multiclass versus Binary Differentially Private PAC Learning.

Satchit Sivakumar, Mark Bun, Marco Gaboardi

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Covariance-Aware Private Mean Estimation Without Private Covariance Estimation.

Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Graded Hoare Logic and its Categorical Semantics.

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato

Proceedings of the Programming Languages and Systems, 2021

Coupled Relational Symbolic Execution for Differential Privacy.

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

Proceedings of the Programming Languages and Systems, 2021

Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data.

Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu

Proceedings of the Algorithmic Learning Theory, 2021

2020

Privacy Profiles and Amplification by Subsampling.

Borja Balle, Gilles Barthe, Marco Gaboardi

J. Priv. Confidentiality, 2020

Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy.

Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu

J. Mach. Learn. Res., 2020

Controlling Privacy Loss in Survey Sampling (Working Paper).

Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan

CoRR, 2020

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds.

Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Probabilistic Programming Languages for Modeling Autonomous Systems.

Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2020

The Complexity of Verifying Loop-Free Programs as Differentially Private.

Marco Gaboardi, Kobbi Nissim, David Purser

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Hypothesis Testing Interpretations and Renyi Differential Privacy.

Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

Proc. ACM Program. Lang., 2019

Relational cost analysis for functional-imperative programs.

Weihao Qu, Marco Gaboardi, Deepak Garg

Proc. ACM Program. Lang., 2019

Special Issue on the Theory and Practice of Differential Privacy 2016.

Marco Gaboardi

J. Priv. Confidentiality, 2019

Program for TPDP 2016.

Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth, Aleksandra B. Slavkovic

J. Priv. Confidentiality, 2019

The Complexity of Verifying Circuits as Differentially Private.

Marco Gaboardi, Kobbi Nissim, David Purser

CoRR, 2019

Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data.

Di Wang, Huanyu Zhang, Marco Gaboardi, Jinhui Xu

CoRR, 2019

Relational Symbolic Execution.

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Bidirectional type checking for relational properties.

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Facility Location Problem in Differential Privacy Model Revisited.

Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Privacy Amplification by Mixing and Diffusion Mechanisms.

Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals.

Marco Gaboardi, Ryan Rogers, Or Sheffet

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018

Monadic refinements for relational cost analysis.

Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger

Proc. ACM Program. Lang., 2018

Special issue - Developments in implicit computational complexity, 2014 and 2015.

Marco Gaboardi, Ulrich Schöpp

Inf. Comput., 2018

Formal verification of higher-order probabilistic programs.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

CoRR, 2018

Metric Semantics for Probabilistic Relational Reasoning.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2018

Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy.

Di Wang, Marco Gaboardi, Jinhui Xu

CoRR, 2018

Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited.

Di Wang, Marco Gaboardi, Jinhui Xu

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences.

Borja Balle, Gilles Barthe, Marco Gaboardi

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Local Private Hypothesis Testing: Chi-Square Tests.

Marco Gaboardi, Ryan Rogers

Proceedings of the 35th International Conference on Machine Learning, 2018

An Assertion-Based Program Logic for Probabilistic Programs.

Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the Programming Languages and Systems, 2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.

Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg

Proceedings of the Programming Languages and Systems, 2018

Formal Verification of Differential Privacy.

Marco Gaboardi

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2017

Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4).

Marco Gaboardi, Shin-ya Katsumata

NII Shonan Meet. Rep., 2017

A relational logic for higher-order programs.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub

Proc. ACM Program. Lang., 2017

Resource Bound Analysis (Dagstuhl Seminar 17291).

Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger

Dagstuhl Reports, 2017

Reasoning about Divergences for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2017

Type Systems for the Relational Verification of Higher Order Programs (Invited Talk).

Marco Gaboardi

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Relational cost analysis.

Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A semantic account of metric preservation.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security.

Nataliia Bielova, Marco Gaboardi

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Programming language techniques for differential privacy.

Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce

ACM SIGLOG News, 2016

On the reification of semantic linearity.

Marco Gaboardi, Luca Paolini, Mauro Piccolo

Math. Struct. Comput. Sci., 2016

Special Issue on the Theory and Practice of Differential Privacy.

Marco Gaboardi, Chris J. Skinner

J. Priv. Confidentiality, 2016

Dual Query: Practical Private Query Release for High Dimensional Data.

Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu

J. Priv. Confidentiality, 2016

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131).

Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich

Dagstuhl Reports, 2016

PSI (Ψ): a Private data Sharing Interface.

Marco Gaboardi, James Honaker, Gary King, Kobbi Nissim, Jonathan R. Ullman, Salil P. Vadhan

CoRR, 2016

Advanced Probabilistic Couplings for Differential Privacy.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

CoRR, 2016

Computer-Aided Verification for Mechanism Design.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Proving Differential Privacy via Probabilistic Couplings.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing.

Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan

Proceedings of the 33nd International Conference on Machine Learning, 2016

Combining effects and coeffects via grading.

Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A Program Logic for Union Bounds.

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Sensitivity of Counting Queries.

Myrto Arapinis, Diego Figueira, Marco Gaboardi

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Advanced Probabilistic Couplings for Differential Privacy.

Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Differentially Private Bayesian Programming.

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Realizability models for a linear dependent PCF.

Aloïs Brunel, Marco Gaboardi

Theor. Comput. Sci., 2015

Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).

Marco Gaboardi, Vivek Nigam, Tachio Terauchi

NII Shonan Meet. Rep., 2015

On bounding space usage of streams using interpretation analysis.

Marco Gaboardi, Romain Péchoux

Sci. Comput. Program., 2015

A Theory AB Toolbox.

Marco Gaboardi, Justin Hsu

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Algebras and coalgebras in the light affine Lambda calculus.

Marco Gaboardi, Romain Péchoux

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

What is a model for a semantically linear λ-calculus?

Marco Gaboardi, Mauro Piccolo

J. Log. Comput., 2014

Really Natural Linear Indexed Type Checking.

Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

A Core Quantitative Coeffect Calculus.

Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic

Proceedings of the Programming Languages and Systems, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.

Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Proving Differential Privacy in Hoare Logic.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract).

Marco Gaboardi

CoRR, 2013

Linear dependent types for differential privacy.

Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Sensitivity analysis using type-based constraints.

Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

2012

An Implicit Characterization of PSPACE.

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca

ACM Trans. Comput. Log., 2012

2011

Linear Dependent Types and Relative Completeness

Ugo Dal Lago, Marco Gaboardi

Log. Methods Comput. Sci., 2011

Linearity and PCF: a semantic insight!

Marco Gaboardi, Luca Paolini, Mauro Piccolo

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

A PolyTime Functional Language from Light Linear Logic.

Patrick Baillot, Marco Gaboardi, Virgile Mogbil

Proceedings of the Programming Languages and Systems, 2010

2009

From light logics to type assignments: a case study.

Marco Gaboardi, Simona Ronchi Della Rocca

Log. J. IGPL, 2009

Categorical Models for a Semantically Linear Lambda-calculus

Marco Gaboardi, Mauro Piccolo

Proceedings of the Proceedings First International Workshop on Linearity, 2009

A By-Level Analysis of Multiplicative Exponential Linear Logic.

Marco Gaboardi, Luca Roversi, Luca Vercelli

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Global and Local Space Properties of Stream Programs.

Marco Gaboardi, Romain Péchoux

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Upper Bounds on Stream I/O Using Semantic Interpretations.

Marco Gaboardi, Romain Péchoux

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Type Inference for a Polynomial Lambda Calculus.

Marco Gaboardi, Simona Ronchi Della Rocca

Proceedings of the Types for Proofs and Programs, International Conference, 2008

A logical account of pspace.

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Linearity : an analytic tool in the study of complexity and semantics of programming languages. (Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation).

Marco Gaboardi

PhD thesis, 2007

Soft Linear Logic and Polynomial Complexity Classes.

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

A Soft Type Assignment System for <i>lambda</i> -Calculus.

Marco Gaboardi, Simona Ronchi Della Rocca

Proceedings of the Computer Science Logic, 21st International Workshop, 2007