default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 2024
[j30]Mark Bun
, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang:
Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections. Proc. ACM Manag. Data 2(2): 94 (2024)- [j29]Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman:
Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. 8(PLDI): 914-938 (2024) - [c64]Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
Domain Reasoning in TopKAT. ICALP 2024: 157:1-157:18 - [i55]Marco Gaboardi, Michael Hay, Salil P. Vadhan:
Programming Frameworks for Differential Privacy. CoRR abs/2403.11088 (2024) - [i54]Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
Domain Reasoning in TopKAT. CoRR abs/2404.18417 (2024) - 2023
- [j28]Di Wang, Lijie Hu, Huanyu Zhang, Marco Gaboardi, Jinhui Xu:
Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data. J. Mach. Learn. Res. 24: 132:1-132:57 (2023) - [j27]Marco Gaboardi, Igor Walukiewicz:
Report on Logic in Computer Science (LICS'23). ACM SIGLOG News 10(4): 44-45 (2023) - [c63]june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
Bunched Fuzz: Sensitivity for Vector Metrics. ESOP 2023: 451-478 - [c62]Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko:
SymRustC: A Hybrid Fuzzer for Rust. ISSTA 2023: 1515-1518 - [c61]Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell:
Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. STOC 2023: 520-527 - [e1]Marco Gaboardi, Femke van Raamsdonk:
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. LIPIcs 260, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-277-8 [contents] - [i53]Shurong Lin, Mark Bun, Marco Gaboardi, Eric D. Kolaczyk, Adam Smith:
Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling. CoRR abs/2301.08324 (2023) - [i52]Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell:
Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. CoRR abs/2303.12921 (2023) - [i51]Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek:
A Formal Model for Secure Multiparty Computation. CoRR abs/2306.00308 (2023) - [i50]Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang:
Continual Release of Differentially Private Synthetic Data. CoRR abs/2306.07884 (2023) - [i49]Mark Bun, Marco Gaboardi, Ludmila Glinskih:
The Complexity of Verifying Boolean Programs as Differentially Private. CoRR abs/2309.04642 (2023) - 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) - [c60]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 - [c59]Mark Bun, Marco Gaboardi, Ludmila Glinskih:
The Complexity of Verifying Boolean Programs as Differentially Private. CSF 2022: 396-411 - [c58]Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan, Jayshree Sarathy:
Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling. FORC 2022: 1:1-1:24 - [c57]Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu:
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. ITP 2022: 30:1-30:21 - [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. SP 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]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).
Privacy notice: By enabling the option above, your browser will contact the API of 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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and 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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-10-09 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
