Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMarco Gaboardi
Person information
- affiliation: Boston University, Boston, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j26]Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti:
A separation logic for negative dependence. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022)- [j25]Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
On incorrectness logic and Kleene algebra with top and tests. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [c57]Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang:
On Facility Location Problem in the Local Differential Privacy Model. AISTATS 2022: 3914-3929 - [i48]june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
Bunched Fuzz: Sensitivity for Vector Metrics. CoRR abs/2202.01901 (2022) - 2021
- [j24]Weihao Qu
, Marco Gaboardi, Deepak Garg:
Relational cost analysis in a functional-imperative setting. J. Funct. Program. 31: e27 (2021) - [j23]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j22]Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann:
A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j21]Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Language for Data Privacy with Accuracy Estimations. ACM Trans. Program. Lang. Syst. 43(2): 6:1-6:42 (2021) - [c56]Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu:
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. ALT 2021: 1207-1213 - [c55]Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Coupled Relational Symbolic Execution for Differential Privacy. ESOP 2021: 207-233 - [c54]Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato:
Graded Hoare Logic and its Categorical Semantics. ESOP 2021: 234-263 - [c53]Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou:
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. NeurIPS 2021: 7950-7964 - [c52]Satchit Sivakumar, Mark Bun, Marco Gaboardi:
Multiclass versus Binary Differentially Private PAC Learning. NeurIPS 2021: 22943-22954 - [c51]Marco Gaboardi:
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. PPDP 2021: 1:1 - [i47]Gavin Brown, Marco Gaboardi, Adam D. Smith, Jonathan R. Ullman, Lydia Zakynthinou:
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation. CoRR abs/2106.13329 (2021) - [i46]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR abs/2107.01155 (2021) - [i45]Mark Bun, Marco Gaboardi, Satchit Sivakumar:
Multiclass versus Binary Differentially Private PAC Learning. CoRR abs/2107.10870 (2021) - [i44]Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
On Incorrectness Logic and Kleene Algebra With Top and Tests. CoRR abs/2108.07707 (2021) - [i43]Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti:
A Separation Logic for Negative Dependence. CoRR abs/2111.14917 (2021) - 2020
- [j20]Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu:
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. J. Mach. Learn. Res. 21: 200:1-200:39 (2020) - [j19]Borja Balle, Gilles Barthe, Marco Gaboardi:
Privacy Profiles and Amplification by Subsampling. J. Priv. Confidentiality 10(1) (2020) - [c50]Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato:
Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS 2020: 2496-2506 - [c49]Marco Gaboardi, Kobbi Nissim, David Purser:
The Complexity of Verifying Loop-Free Programs as Differentially Private. ICALP 2020: 129:1-129:17 - [c48]Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp:
Probabilistic Programming Languages for Modeling Autonomous Systems. MFI 2020: 32-39 - [c47]Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. IEEE Symposium on Security and Privacy 2020: 411-428 - [i42]Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato:
Graded Hoare Logic and its Categorical Semantics. CoRR abs/2007.11235 (2020) - [i41]Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan:
Controlling Privacy Loss in Survey Sampling (Working Paper). CoRR abs/2007.12674 (2020) - [i40]Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Coupled Relational Symbolic Execution for Differential Privacy. CoRR abs/2007.12987 (2020) - [i39]Di Wang, Marco Gaboardi, Adam D. Smith, Jinhui Xu:
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy. CoRR abs/2011.05934 (2020)
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 - [i38]Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato:
Hypothesis Testing Interpretations and Renyi Differential Privacy. CoRR abs/1905.09982 (2019) - [i37]Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek:
Privacy Amplification by Mixing and Diffusion Mechanisms. CoRR abs/1905.12264 (2019) - [i36]Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. CoRR abs/1909.07918 (2019) - [i35]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) - [i34]Yunus Esencayi, Marco Gaboardi, Shi Li, Di Wang:
Facility Location Problem in Differential Privacy Model Revisited. CoRR abs/1910.12050 (2019) - [i33]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: 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 - [i32]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) - [i31]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) - [i30]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) - [i29]Borja Balle, Gilles Barthe, Marco Gaboardi:
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. CoRR abs/1807.01647 (2018) - [i28]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Metric Semantics for Probabilistic Relational Reasoning. CoRR abs/1807.05091 (2018) - [i27]Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu:
Formal verification of higher-order probabilistic programs. CoRR abs/1807.06091 (2018) - [i26]Marco Gaboardi, Ryan Rogers, Or Sheffet:
Locally Private Mean Estimation: Z-test and Tight Confidence Intervals. CoRR abs/1810.08054 (2018) - [i25]Weihao Qu, Marco Gaboardi, Deepak Garg:
Relational Cost Analysis for Functional-Imperative Programs. CoRR abs/1812.04090 (2018) - [i24]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. CCS 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 - [i23]Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
A Semantic Account of Metric Preservation. CoRR abs/1702.00374 (2017) - [i22]Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A Relational Logic for Higher-Order Programs. CoRR abs/1703.05042 (2017) - [i21]Marco Gaboardi, Ryan M. Rogers:
Local Private Hypothesis Testing: Chi-Square Tests. CoRR abs/1709.07155 (2017) - [i20]Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR abs/1710.09010 (2017) - [i19]Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Relational Symbolic Execution. CoRR abs/1711.08349 (2017) - [i18]Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger:
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7(7): 72-87 (2017) - [i17]Marco Gaboardi, Shin-ya Katsumata:
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep. 2017 (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. ACM 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. CCS 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. CCS 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 R. 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. Log. Methods Comput. Sci. 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]