Marco Gaboardi

166 papers A* 29A 18B 10C 2Journal 93Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Category-Theoretic Framework for Dependent Effect Systems. ESOP (1) Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026	J	`jnl`	A Category-Theoretic Framework for Dependent Effect Systems. CoRR Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026	J	`jnl`	Cryptis: Cryptographic Reasoning in Separation Logic. Proc. ACM Program. Lang. Arthur Azevedo de Amorim, Amal Ahmed, Marco Gaboardi
2026	—	`conf`	Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. ESOP (2) Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2026	J	`jnl`	Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. CoRR Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2026	J	`jnl`	Separating Oblivious and Adaptive Differential Privacy under Continual Observation. CoRR Mark Bun, Marco Gaboardi, Connor Wagaman
2025	B	`conf`	A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. CSL Leandro Gomes, Patrick Baillot, Marco Gaboardi
2025	A*	`conf`	Accuracy for Differentially Private Quotients by Fractional Uncertainties. CCS Alejandro Russo, Elisabet Lobo Vesga, Marco Gaboardi
2025	B	`conf`	BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. FoSSaCS Leandro Gomes, Patrick Baillot, Marco Gaboardi
2025	J	`jnl`	Cryptis: Cryptographic Reasoning in Separation Logic. CoRR Arthur Azevedo de Amorim, Amal Ahmed, Marco Gaboardi
2025	B	`conf`	Kleene Algebra with Commutativity Conditions Is Undecidable. CSL Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
2025	J	`jnl`	Probabilistic Refinement Session Types. Proc. ACM Program. Lang. Qiancheng Fu, Ankush Das, Marco Gaboardi
2025	A	`conf`	Session Types for the Concurrent Composition of Interactive Differential Privacy. CSF Victor Sannier, Patrick Baillot, Marco Gaboardi
2024	J	`jnl`	Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections. Proc. ACM Manag. Data Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang
2024	A*	`conf`	Domain Reasoning in TopKAT. ICALP Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2024	J	`jnl`	Domain Reasoning in TopKAT. CoRR Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2024	J	`jnl`	Kleene algebra with commutativity conditions is undecidable. CoRR Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
2024	J	`jnl`	Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman
2024	J	`jnl`	Programming Frameworks for Differential Privacy. CoRR Marco Gaboardi, Michael Hay, Salil P. Vadhan
2024	J	`jnl`	Sensitivity by Parametricity. Proc. ACM Program. Lang. Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi, Carlos Tomé Cortiñas
2023	B	`ed.`	8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023 FSCD Marco Gaboardi, Femke van Raamsdonk
2023	J	`jnl`	A Formal Model for Secure Multiparty Computation. CoRR Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek
2023	A	`conf`	Bunched Fuzz: Sensitivity for Vector Metrics. ESOP june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
2023	J	`jnl`	Continual Release of Differentially Private Synthetic Data. CoRR Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang
2023	J	`jnl`	Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling. CoRR Shurong Lin, Mark Bun, Marco Gaboardi, Eric D. Kolaczyk, Adam Smith
2023	J	`jnl`	Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data. J. Mach. Learn. Res. Di Wang, Lijie Hu, Huanyu Zhang, Marco Gaboardi, Jinhui Xu
2023	J	`jnl`	Report on Logic in Computer Science (LICS'23). ACM SIGLOG News Marco Gaboardi, Igor Walukiewicz
2023	A*	`conf`	Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. STOC Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell
2023	J	`jnl`	Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. CoRR Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell
2023	A	`conf`	SymRustC: A Hybrid Fuzzer for Rust. ISSTA Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
2023	J	`jnl`	The Complexity of Verifying Boolean Programs as Differentially Private. CoRR Mark Bun, Marco Gaboardi, Ludmila Glinskih
2022	J	`jnl`	A separation logic for negative dependence. Proc. ACM Program. Lang. Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2022	J	`jnl`	Bunched Fuzz: Sensitivity for Vector Metrics. CoRR june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
2022	—	`conf`	Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling. FORC Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan, Jayshree Sarathy
2022	B	`conf`	Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. ITP Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu
2022	A	`conf`	On Facility Location Problem in the Local Differential Privacy Model. AISTATS Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang
2022	J	`jnl`	On incorrectness logic and Kleene algebra with top and tests. Proc. ACM Program. Lang. Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2022	A	`conf`	The Complexity of Verifying Boolean Programs as Differentially Private. CSF Mark Bun, Marco Gaboardi, Ludmila Glinskih
2021	J	`jnl`	A Programming Language for Data Privacy with Accuracy Estimations. ACM Trans. Program. Lang. Syst. Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
2021	J	`jnl`	A Separation Logic for Negative Dependence. CoRR Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
2021	J	`jnl`	A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
2021	A	`conf`	Coupled Relational Symbolic Execution for Differential Privacy. ESOP Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2021	A*	`conf`	Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. NeurIPS Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou
2021	J	`jnl`	Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. CoRR Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou
2021	B	`conf`	Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. ALT Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu
2021	A	`conf`	Graded Hoare Logic and its Categorical Semantics. ESOP Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2021	J	`jnl`	Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2021	J	`jnl`	Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2021	A*	`conf`	Multiclass versus Binary Differentially Private PAC Learning. NeurIPS Satchit Sivakumar, Mark Bun, Marco Gaboardi
2021	J	`jnl`	Multiclass versus Binary Differentially Private PAC Learning. CoRR Mark Bun, Marco Gaboardi, Satchit Sivakumar
2021	J	`jnl`	On Incorrectness Logic and Kleene Algebra With Top and Tests. CoRR Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2021	C	`conf`	Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. PPDP Marco Gaboardi
2021	J	`jnl`	Relational cost analysis in a functional-imperative setting. J. Funct. Program. Weihao Qu, Marco Gaboardi, Deepak Garg
2020	A*	`conf`	A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. SP Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
2020	J	`jnl`	Controlling Privacy Loss in Survey Sampling (Working Paper). CoRR Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan
2020	J	`jnl`	Coupled Relational Symbolic Execution for Differential Privacy. CoRR Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2020	J	`jnl`	Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. CoRR Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu
2020	J	`jnl`	Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. J. Mach. Learn. Res. Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu
2020	J	`jnl`	Graded Hoare Logic and its Categorical Semantics. CoRR Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2020	A	`conf`	Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2020	J	`jnl`	Privacy Profiles and Amplification by Subsampling. J. Priv. Confidentiality Borja Balle, Gilles Barthe, Marco Gaboardi
2020	—	`conf`	Probabilistic Programming Languages for Modeling Autonomous Systems. MFI Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp
2020	A*	`conf`	The Complexity of Verifying Loop-Free Programs as Differentially Private. ICALP Marco Gaboardi, Kobbi Nissim, David Purser
2019	J	`jnl`	A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. CoRR Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
2019	J	`jnl`	A relational logic for higher-order programs. J. Funct. Program. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2019	A*	`conf`	Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019	A*	`conf`	Bidirectional type checking for relational properties. PLDI Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2019	J	`jnl`	Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. CoRR Di Wang, Huanyu Zhang, Marco Gaboardi, Jinhui Xu
2019	A*	`conf`	Facility Location Problem in Differential Privacy Model Revisited. NeurIPS Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang
2019	J	`jnl`	Facility Location Problem in Differential Privacy Model Revisited. CoRR Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang
2019	J	`jnl`	Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2019	J	`jnl`	Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2019	A	`conf`	Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals. AISTATS Marco Gaboardi, Ryan Rogers, Or Sheffet
2019	A*	`conf`	Privacy Amplification by Mixing and Diffusion Mechanisms. NeurIPS Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek
2019	J	`jnl`	Privacy Amplification by Mixing and Diffusion Mechanisms. CoRR Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek
2019	A*	`conf`	Probabilistic Relational Reasoning via Metrics. LICS Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019	J	`jnl`	Program for TPDP 2016. J. Priv. Confidentiality Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth, Aleksandra B. Slavkovic
2019	C	`conf`	Relational Symbolic Execution. PPDP Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2019	J	`jnl`	Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. Weihao Qu, Marco Gaboardi, Deepak Garg
2019	J	`jnl`	Special Issue on the Theory and Practice of Differential Privacy 2016. J. Priv. Confidentiality Marco Gaboardi
2019	J	`jnl`	The Complexity of Verifying Circuits as Differentially Private. CoRR Marco Gaboardi, Kobbi Nissim, David Purser
2018	A	`conf`	An Assertion-Based Program Logic for Probabilistic Programs. ESOP Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018	J	`jnl`	An Assertion-Based Program Logic for Probabilistic Programs. CoRR Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018	J	`jnl`	Bidirectional Type Checking for Relational Properties. CoRR Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy. CoRR Di Wang, Marco Gaboardi, Jinhui Xu
2018	A*	`conf`	Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited. NeurIPS Di Wang, Marco Gaboardi, Jinhui Xu
2018	—	`conf`	Formal Verification of Differential Privacy. PLAS@CCS Marco Gaboardi
2018	J	`jnl`	Formal verification of higher-order probabilistic programs. CoRR Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2018	A*	`conf`	Local Private Hypothesis Testing: Chi-Square Tests. ICML Marco Gaboardi, Ryan Rogers
2018	J	`jnl`	Locally Private Mean Estimation: Z-test and Tight Confidence Intervals. CoRR Marco Gaboardi, Ryan Rogers, Or Sheffet
2018	J	`jnl`	Metric Semantics for Probabilistic Relational Reasoning. CoRR Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2018	J	`jnl`	Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
2018	A*	`conf`	Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. NeurIPS Borja Balle, Gilles Barthe, Marco Gaboardi
2018	J	`jnl`	Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. CoRR Borja Balle, Gilles Barthe, Marco Gaboardi
2018	J	`jnl`	Relational Cost Analysis for Functional-Imperative Programs. CoRR Weihao Qu, Marco Gaboardi, Deepak Garg
2018	A	`conf`	Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. Marco Gaboardi, Ulrich Schöpp
2017	J	`jnl`	A Relational Logic for Higher-Order Programs. CoRR Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2017	J	`jnl`	A Semantic Account of Metric Preservation. CoRR Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
2017	J	`jnl`	A relational logic for higher-order programs. Proc. ACM Program. Lang. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2017	A*	`conf`	A semantic account of metric preservation. POPL Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
2017	J	`jnl`	Local Private Hypothesis Testing: Chi-Square Tests. CoRR Marco Gaboardi, Ryan M. Rogers
2017	A*	`conf`	PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS Nataliia Bielova, Marco Gaboardi
2017	J	`jnl`	Reasoning about Divergences for Relaxations of Differential Privacy. CoRR Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2017	J	`jnl`	Relational Symbolic Execution. CoRR Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2017	A*	`conf`	Relational cost analysis. POPL Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
2017	J	`jnl`	Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
2017	J	`jnl`	Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep. Marco Gaboardi, Shin-ya Katsumata
2017	B	`conf`	Type Systems for the Relational Verification of Higher Order Programs (Invited Talk). FSCD Marco Gaboardi
2016	A*	`conf`	A Program Logic for Union Bounds. ICALP Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	J	`jnl`	A program logic for union bounds. CoRR Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	A*	`conf`	Advanced Probabilistic Couplings for Differential Privacy. CCS Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	J	`jnl`	Advanced Probabilistic Couplings for Differential Privacy. CoRR Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	A	`conf`	Combining effects and coeffects via grading. ICFP Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
2016	—	`conf`	Computer-Aided Verification for Mechanism Design. WINE Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2016	A*	`conf`	Differentially Private Bayesian Programming. CCS Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016	J	`jnl`	Differentially Private Bayesian Programming. CoRR Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016	A*	`conf`	Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. ICML Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan
2016	J	`jnl`	Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. CoRR Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan
2016	J	`jnl`	Dual Query: Practical Private Query Release for High Dimensional Data. J. Priv. Confidentiality Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2016	J	`jnl`	Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich
2016	J	`jnl`	On the reification of semantic linearity. Math. Struct. Comput. Sci. Marco Gaboardi, Luca Paolini, Mauro Piccolo
2016	J	`jnl`	PSI (Ψ): a Private data Sharing Interface. CoRR Marco Gaboardi, James Honaker, Gary King, Kobbi Nissim, Jonathan R. Ullman, Salil P. Vadhan
2016	J	`jnl`	Programming language techniques for differential privacy. ACM SIGLOG News Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce
2016	A*	`conf`	Proving Differential Privacy via Probabilistic Couplings. LICS Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	J	`jnl`	Proving Differential Privacy via Probabilistic Couplings. CoRR Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2016	A*	`conf`	Sensitivity of Counting Queries. ICALP Myrto Arapinis, Diego Figueira, Marco Gaboardi
2016	J	`jnl`	Special Issue on the Theory and Practice of Differential Privacy. J. Priv. Confidentiality Marco Gaboardi, Chris J. Skinner
2015	—	`conf`	A Theory AB Toolbox. SNAPL Marco Gaboardi, Justin Hsu
2015	A	`conf`	Algebras and coalgebras in the light affine Lambda calculus. ICFP Marco Gaboardi, Romain Péchoux
2015	J	`jnl`	Computer-aided verification in mechanism design. CoRR Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015	A*	`conf`	Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. POPL Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015	J	`jnl`	Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. Marco Gaboardi, Vivek Nigam, Tachio Terauchi
2015	J	`jnl`	On bounding space usage of streams using interpretation analysis. Sci. Comput. Program. Marco Gaboardi, Romain Péchoux
2015	J	`jnl`	Realizability models for a linear dependent PCF. Theor. Comput. Sci. Aloïs Brunel, Marco Gaboardi
2015	J	`jnl`	Really Natural Linear Indexed Type Checking. CoRR Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu
2014	A	`conf`	A Core Quantitative Coeffect Calculus. ESOP Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
2014	A	`conf`	Differential Privacy: An Economic Method for Choosing Epsilon. CSF Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014	J	`jnl`	Differential Privacy: An Economic Method for Choosing Epsilon. CoRR Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014	A*	`conf`	Dual Query: Practical Private Query Release for High Dimensional Data. ICML Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014	J	`jnl`	Dual Query: Practical Private Query Release for High Dimensional Data. CoRR Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014	J	`jnl`	Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. CoRR Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2014	A	`conf`	Proving Differential Privacy in Hoare Logic. CSF Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014	J	`jnl`	Proving differential privacy in Hoare logic. CoRR Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014	—	`conf`	Really Natural Linear Indexed Type Checking. IFL Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu
2014	J	`jnl`	What is a model for a semantically linear λ-calculus? J. Log. Comput. Marco Gaboardi, Mauro Piccolo
2013	J	`jnl`	Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract). CoRR Marco Gaboardi
2013	A*	`conf`	Linear dependent types for differential privacy. POPL Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce
2013	—	`conf`	Sensitivity analysis using type-based constraints. FPCDSL@ICFP Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
2012	J	`jnl`	An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2011	J	`jnl`	Linear Dependent Types and Relative Completeness Log. Methods Comput. Sci. Ugo Dal Lago, Marco Gaboardi
2011	A*	`conf`	Linear Dependent Types and Relative Completeness. LICS Ugo Dal Lago, Marco Gaboardi
2011	A	`conf`	Linearity and PCF: a semantic insight! ICFP Marco Gaboardi, Luca Paolini, Mauro Piccolo
2010	A	`conf`	A PolyTime Functional Language from Light Linear Logic. ESOP Patrick Baillot, Marco Gaboardi, Virgile Mogbil
2010	J	`jnl`	An Implicit Characterization of PSPACE CoRR Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2009	B	`conf`	A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS Marco Gaboardi, Luca Roversi, Luca Vercelli
2009	—	`conf`	Categorical Models for a Semantically Linear Lambda-calculus LINEARITY Marco Gaboardi, Mauro Piccolo
2009	J	`jnl`	From light logics to type assignments: a case study. Log. J. IGPL Marco Gaboardi, Simona Ronchi Della Rocca
2009	—	`conf`	Global and Local Space Properties of Stream Programs. FOPARA Marco Gaboardi, Romain Péchoux
2009	B	`conf`	Upper Bounds on Stream I/O Using Semantic Interpretations. CSL Marco Gaboardi, Romain Péchoux
2008	A*	`conf`	A logical account of pspace. POPL Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2008	—	`conf`	Type Inference for a Polynomial Lambda Calculus. TYPES Marco Gaboardi, Simona Ronchi Della Rocca
2007	B	`conf`	A Soft Type Assignment System for CSL Marco Gaboardi, Simona Ronchi Della Rocca
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
2007	—	`conf`	Soft Linear Logic and Polynomial Complexity Classes. LSFA Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca