Marco Gaboardi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
18
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | A Category-Theoretic Framework for Dependent Effect Systems. | Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno |
| 2026 | ESOP | Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. | Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi |
| 2025 | CCS | Accuracy for Differentially Private Quotients by Fractional Uncertainties. | Alejandro Russo, Elisabet Lobo Vesga, Marco Gaboardi |
| 2025 | CSL | A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | CSL | Kleene Algebra with Commutativity Conditions Is Undecidable. | Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi |
| 2025 | FOSSACS | BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2024 | ICALP | Domain Reasoning in TopKAT. | Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi |
| 2023 | ESOP | Bunched Fuzz: Sensitivity for Vector Metrics. | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
| 2023 | ISSTA | SymRustC: A Hybrid Fuzzer for Rust. | Frdric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
| 2023 | STOC | 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 |
| 2022 | AISTATS | On Facility Location Problem in the Local Differential Privacy Model. | Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang |
| 2022 | ITP | Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. | Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu |
| 2021 | ALT | Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. | Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu |
| 2021 | ESOP | Coupled Relational Symbolic Execution for Differential Privacy. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2021 | ESOP | Graded Hoare Logic and its Categorical Semantics. | Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato |
| 2021 | PPDP | Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. | Marco Gaboardi |
| 2020 | AISTATS | Hypothesis Testing Interpretations and Renyi Differential Privacy. | Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato |
| 2020 | ICALP | The Complexity of Verifying Loop-Free Programs as Differentially Private. | Marco Gaboardi, Kobbi Nissim, David Purser |
| 2020 | SP | A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. | Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi |
| 2019 | AISTATS | Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals. | Marco Gaboardi, Ryan Rogers, Or Sheffet |
| 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 | Bidirectional type checking for relational properties. | Ezgi iek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg |
| 2019 | PPDP | Relational Symbolic Execution. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2018 | CCS | Formal Verification of Differential Privacy. | Marco Gaboardi |
| 2018 | ESOP | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. | Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |
| 2018 | ESOP | An Assertion-Based Program Logic for Probabilistic Programs. | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2018 | ICML | Local Private Hypothesis Testing: Chi-Square Tests. | Marco Gaboardi, Ryan Rogers |
| 2017 | CCS | PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. | Nataliia Bielova, Marco Gaboardi |
| 2017 | POPL | A semantic account of metric preservation. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui |
| 2017 | POPL | Relational cost analysis. | Ezgi iek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann |
| 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 | Sensitivity of Counting Queries. | Myrto Arapinis, Diego Figueira, Marco Gaboardi |
| 2016 | ICALP | A Program Logic for Union Bounds. | Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | ICFP | Combining effects and coeffects via grading. | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
| 2016 | ICML | Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. | Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan |
| 2016 | LICS | Proving Differential Privacy via Probabilistic Couplings. | Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2015 | ICFP | Algebras and coalgebras in the light affine Lambda calculus. | Marco Gaboardi, Romain Pchoux |
| 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 | ESOP | A Core Quantitative Coeffect Calculus. | Alos Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic |
| 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 |
| 2013 | ICFP | Sensitivity analysis using type-based constraints. | Loris D'Antoni, Marco Gaboardi, Emilio Jess Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce |
| 2013 | POPL | Linear dependent types for differential privacy. | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
| 2011 | ICFP | Linearity and PCF: a semantic insight! | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
| 2011 | LICS | Linear Dependent Types and Relative Completeness. | Ugo Dal Lago, Marco Gaboardi |
| 2010 | ESOP | A PolyTime Functional Language from Light Linear Logic. | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
| 2009 | CSL | Upper Bounds on Stream I/O Using Semantic Interpretations. | Marco Gaboardi, Romain Pchoux |
| 2009 | MFCS | A By-Level Analysis of Multiplicative Exponential Linear Logic. | Marco Gaboardi, Luca Roversi, Luca Vercelli |
| 2008 | POPL | A logical account of pspace. | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
| 2007 | CSL | A Soft Type Assignment System for | Marco Gaboardi, Simona Ronchi Della Rocca |