Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMarco Gaboardi
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j18]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A relational logic for higher-order programs. J. Funct. Program. 29: e16 (2019)- [j17]Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth, Aleksandra B. Slavkovic:
Program for TPDP 2016. J. Priv. Confidentiality 9(1) (2019) - [j16]Marco Gaboardi:
Special Issue on the Theory and Practice of Differential Privacy 2016. J. Priv. Confidentiality 9(1) (2019) - [j15]Weihao Qu, Marco Gaboardi, Deepak Garg:
Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. 3(ICFP): 92:1-92:29 (2019) - [j14]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) - [c46]Marco Gaboardi, Ryan Rogers, Or Sheffet:
Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals. AISTATS 2019: 2545-2554 - [c45]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Probabilistic Relational Reasoning via Metrics. LICS 2019: 1-19 - [c44]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 - [c43]Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang:
Facility Location Problem in Differential Privacy Model Revisited. NeurIPS 2019: 8489-8498 - [c42]Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek:
Privacy Amplification by Mixing and Diffusion Mechanisms. NeurIPS 2019: 13277-13287 - [c41]Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg:
Bidirectional type checking for relational properties. PLDI 2019: 533-547 - [c40]Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Relational Symbolic Execution. PPDP 2019: 10:1-10:14 - [i37]Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato:
Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR abs/1905.09982 (2019) - [i36]Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek:
Privacy Amplification by Mixing and Diffusion Mechanisms. CoRR abs/1905.12264 (2019) - [i35]Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. CoRR abs/1909.07918 (2019) - [i34]Di Wang, Huanyu Zhang, Marco Gaboardi, Jinhui Xu:
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. CoRR abs/1910.00482 (2019) - [i33]Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang:
Facility Location Problem in Differential Privacy Model Revisited. CoRR abs/1910.12050 (2019) - [i32]Marco Gaboardi, Kobbi Nissim, David Purser:
The Complexity of Verifying Circuits as Differentially Private. CoRR abs/1911.03272 (2019) - 2018
- [j13]Marco Gaboardi, Ulrich Schöpp:
Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. 261(Part): 1-2 (2018) - [j12]Ivan Radicek, Gilles Barthe
, Marco Gaboardi, Deepak Garg, Florian Zuleger:
Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. 2(POPL): 36:1-36:32 (2018) - [c39]Marco Gaboardi:
Formal Verification of Differential Privacy. PLAS@CCS 2018: 1 - [c38]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 - [c37]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: 214-241 - [c36]Marco Gaboardi, Ryan Rogers:
Local Private Hypothesis Testing: Chi-Square Tests. ICML 2018: 1612-1621 - [c35]Di Wang, Marco Gaboardi, Jinhui Xu:
Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited. NeurIPS 2018: 973-982 - [c34]Borja Balle, Gilles Barthe, Marco Gaboardi:
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. NeurIPS 2018: 6280-6290 - [i31]Di Wang, Marco Gaboardi, Jinhui Xu:
Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy. CoRR abs/1802.04085 (2018) - [i30]Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg:
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR abs/1802.09787 (2018) - [i29]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) - [i28]Borja Balle, Gilles Barthe, Marco Gaboardi:
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. CoRR abs/1807.01647 (2018) - [i27]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Metric Semantics for Probabilistic Relational Reasoning. CoRR abs/1807.05091 (2018) - [i26]Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu:
Formal verification of higher-order probabilistic programs. CoRR abs/1807.06091 (2018) - [i25]Marco Gaboardi, Ryan Rogers, Or Sheffet:
Locally Private Mean Estimation: Z-test and Tight Confidence Intervals. CoRR abs/1810.08054 (2018) - [i24]Weihao Qu, Marco Gaboardi, Deepak Garg:
Relational Cost Analysis for Functional-Imperative Programs. CoRR abs/1812.04090 (2018) - [i23]Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg:
Bidirectional Type Checking for Relational Properties. CoRR abs/1812.05067 (2018) - 2017
- [j11]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1(ICFP): 21:1-21:29 (2017) - [c33]Nataliia Bielova, Marco Gaboardi:
PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. ACM Conference on Computer and Communications Security 2017: 2639-2640 - [c32]Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann:
Relational cost analysis. POPL 2017: 316-329 - [c31]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A semantic account of metric preservation. POPL 2017: 545-556 - [c30]Marco Gaboardi:
Type Systems for the Relational Verification of Higher Order Programs (Invited Talk). FSCD 2017: 1:1-1:1 - [i22]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A Semantic Account of Metric Preservation. CoRR abs/1702.00374 (2017) - [i21]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A Relational Logic for Higher-Order Programs. CoRR abs/1703.05042 (2017) - [i20]Marco Gaboardi, Ryan M. Rogers:
Local Private Hypothesis Testing: Chi-Square Tests. CoRR abs/1709.07155 (2017) - [i19]Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR abs/1710.09010 (2017) - [i18]Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Relational Symbolic Execution. CoRR abs/1711.08349 (2017) - [i17]Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger:
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7(7): 72-87 (2017) - 2016
- [j10]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) - [j9]Marco Gaboardi, Chris J. Skinner:
Special Issue on the Theory and Practice of Differential Privacy. J. Priv. Confidentiality 7(2) (2016) - [j8]Marco Gaboardi, Luca Paolini, Mauro Piccolo:
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26(5): 829-867 (2016) - [j7]Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce:
Programming language techniques for differential privacy. SIGLOG News 3(1): 34-53 (2016) - [c29]Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. ACM Conference on Computer and Communications Security 2016: 55-67 - [c28]Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
Differentially Private Bayesian Programming. ACM Conference on Computer and Communications Security 2016: 68-79 - [c27]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A Program Logic for Union Bounds. ICALP 2016: 107:1-107:15 - [c26]Myrto Arapinis, Diego Figueira, Marco Gaboardi:
Sensitivity of Counting Queries. ICALP 2016: 120:1-120:13 - [c25]Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu:
Combining effects and coeffects via grading. ICFP 2016: 476-489 - [c24]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: 2111-2120 - [c23]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. LICS 2016: 749-758 - [c22]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 - [i16]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. CoRR abs/1601.05047 (2016) - [i15]Marco Gaboardi, Hyun-Woo Lim, Ryan M. Rogers, Salil P. Vadhan:
Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. CoRR abs/1602.03090 (2016) - [i14]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A program logic for union bounds. CoRR abs/1602.05681 (2016) - [i13]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) - [i12]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. CoRR abs/1606.07143 (2016) - [i11]Marco Gaboardi, James Honaker, Gary King, Kobbi Nissim, Jonathan Ullman, Salil P. Vadhan:
PSI (Ψ): a Private data Sharing Interface. CoRR abs/1609.04340 (2016) - [i10]Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich:
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports 6(3): 59-77 (2016) - 2015
- [j6]Marco Gaboardi, Romain Péchoux:
On bounding space usage of streams using interpretation analysis. Sci. Comput. Program. 111: 395-425 (2015) - [j5]Aloïs Brunel, Marco Gaboardi:
Realizability models for a linear dependent PCF. Theor. Comput. Sci. 585: 55-70 (2015) - [c21]Marco Gaboardi, Romain Péchoux:
Algebras and coalgebras in the light affine Lambda calculus. ICFP 2015: 114-126 - [c20]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 - [c19]Marco Gaboardi, Justin Hsu:
A Theory AB Toolbox. SNAPL 2015: 129-139 - [i9]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) - [i8]Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu:
Really Natural Linear Indexed Type Checking. CoRR abs/1503.04522 (2015) - [i7]Marco Gaboardi, Vivek Nigam, Tachio Terauchi:
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j4]Marco Gaboardi, Mauro Piccolo:
What is a model for a semantically linear λ-calculus? J. Log. Comput. 24(3): 557-589 (2014) - [c18]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 - [c17]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 - [c16]Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic:
A Core Quantitative Coeffect Calculus. ESOP 2014: 351-370 - [c15]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 - [c14]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 - [i6]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) - [i5]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) - [i4]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) - [i3]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) - 2013
- [c13]Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce:
Sensitivity analysis using type-based constraints. FPCDSL@ICFP 2013: 43-50 - [c12]Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce:
Linear dependent types for differential privacy. POPL 2013: 357-370 - [i2]Marco Gaboardi:
Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract). CoRR abs/1306.6856 (2013) - 2012
- [j3]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13(2): 18:1-18:36 (2012) - 2011
- [j2]Ugo Dal Lago, Marco Gaboardi:
Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science 8(4) (2011) - [c11]Marco Gaboardi, Luca Paolini, Mauro Piccolo:
Linearity and PCF: a semantic insight! ICFP 2011: 372-384 - [c10]Ugo Dal Lago, Marco Gaboardi:
Linear Dependent Types and Relative Completeness. LICS 2011: 133-142 - 2010
- [c9]Patrick Baillot, Marco Gaboardi, Virgile Mogbil:
A PolyTime Functional Language from Light Linear Logic. ESOP 2010: 104-124 - [i1]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
An Implicit Characterization of PSPACE. CoRR abs/1006.0030 (2010)
2000 – 2009
- 2009
- [j1]Marco Gaboardi, Simona Ronchi Della Rocca:
From light logics to type assignments: a case study. Log. J. IGPL 17(5): 499-530 (2009) - [c8]Marco Gaboardi, Romain Péchoux:
Upper Bounds on Stream I/O Using Semantic Interpretations. CSL 2009: 271-286 - [c7]Marco Gaboardi, Romain Péchoux:
Global and Local Space Properties of Stream Programs. FOPARA 2009: 51-66 - [c6]Marco Gaboardi, Luca Roversi, Luca Vercelli:
A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS 2009: 344-355 - [c5]Marco Gaboardi, Mauro Piccolo:
Categorical Models for a Semantically Linear Lambda-calculus. LINEARITY 2009: 1-13 - 2008
- [c4]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
A logical account of pspace. POPL 2008: 121-131 - [c3]Marco Gaboardi, Simona Ronchi Della Rocca:
Type Inference for a Polynomial Lambda Calculus. TYPES 2008: 136-152 - 2007
- [b1]Marco Gaboardi:
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). National Polytechnic Institute of Lorraine, Nancy, France, 2007 - [c2]Marco Gaboardi, Simona Ronchi Della Rocca:
A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267 - [c1]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
Soft Linear Logic and Polynomial Complexity Classes. LSFA 2007: 67-87
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-12 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
