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 – today
- 2019
[j13]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. PACMPL 3(POPL): 38:1-38:30 (2019)- 2018
- [j12]Marco Gaboardi, Ulrich Schöpp:
Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. 261(Part): 1-2 (2018) - [j11]Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger:
Monadic refinements for relational cost analysis. PACMPL 2(POPL): 36:1-36:32 (2018) - [c37]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 - [c36]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 - [c35]Marco Gaboardi, Ryan Rogers:
Local Private Hypothesis Testing: Chi-Square Tests. ICML 2018: 1612-1621 - [c34]Di Wang, Marco Gaboardi, Jinhui Xu:
Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited. NeurIPS 2018: 973-982 - [c33]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
- [j10]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A relational logic for higher-order programs. PACMPL 1(ICFP): 21:1-21:29 (2017) - [c32]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 - [c31]Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann:
Relational cost analysis. POPL 2017: 316-329 - [c30]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A semantic account of metric preservation. POPL 2017: 545-556 - [c29]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
- [j9]Marco Gaboardi, Luca Paolini, Mauro Piccolo:
On the reification of semantic linearity. Mathematical Structures in Computer Science 26(5): 829-867 (2016) - [j8]Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce:
Programming language techniques for differential privacy. SIGLOG News 3(1): 34-53 (2016) - [c28]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 - [c27]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 - [c26]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A Program Logic for Union Bounds. ICALP 2016: 107:1-107:15 - [c25]Myrto Arapinis, Diego Figueira, Marco Gaboardi:
Sensitivity of Counting Queries. ICALP 2016: 120:1-120:13 - [c24]Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu:
Combining effects and coeffects via grading. ICFP 2016: 476-489 - [c23]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 - [c22]Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. LICS 2016: 749-758 - [c21]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
- [j7]Marco Gaboardi, Romain Péchoux:
On bounding space usage of streams using interpretation analysis. Sci. Comput. Program. 111: 395-425 (2015) - [j6]Aloïs Brunel, Marco Gaboardi:
Realizability models for a linear dependent PCF. Theor. Comput. Sci. 585: 55-70 (2015) - [c20]Marco Gaboardi, Romain Péchoux:
Algebras and coalgebras in the light affine Lambda calculus. ICFP 2015: 114-126 - [c19]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 - [c18]
- [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
- [j5]Marco Gaboardi, Mauro Piccolo:
What is a model for a semantically linear λ-calculus? J. Log. Comput. 24(3): 557-589 (2014) - [c17]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 - [c16]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 - [c15]Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic:
A Core Quantitative Coeffect Calculus. ESOP 2014: 351-370 - [c14]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 - [c13]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
- [c12]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 - [c11]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
- [j4]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
- [j3]Ugo Dal Lago, Marco Gaboardi:
Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science 8(4) (2011) - [c10]Marco Gaboardi, Luca Paolini, Mauro Piccolo:
Linearity and PCF: a semantic insight! ICFP 2011: 372-384 - [c9]
- 2010
- [c8]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
- [j2]Marco Gaboardi, Simona Ronchi Della Rocca:
From light logics to type assignments: a case study. Logic Journal of the IGPL 17(5): 499-530 (2009) - [c7]Marco Gaboardi, Romain Péchoux:
Upper Bounds on Stream I/O Using Semantic Interpretations. CSL 2009: 271-286 - [c6]Marco Gaboardi, Romain Péchoux:
Global and Local Space Properties of Stream Programs. FOPARA 2009: 51-66 - [c5]Marco Gaboardi, Luca Roversi, Luca Vercelli:
A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS 2009: 344-355 - [c4]Marco Gaboardi, Mauro Piccolo:
Categorical Models for a Semantically Linear Lambda-calculus. LINEARITY 2009: 1-13 - 2008
- [j1]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
Soft Linear Logic and Polynomial Complexity Classes. Electr. Notes Theor. Comput. Sci. 205: 67-87 (2008) - [c3]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
A logical account of pspace. POPL 2008: 121-131 - [c2]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 - [c1]Marco Gaboardi, Simona Ronchi Della Rocca:
A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267
Coauthor Index
maintained by 
, founded at 
, founded at 
last updated on 2019-01-23 22:39 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
