default search action
Marco 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
- [j31]Mark Bun
, Marco Gaboardi
Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections. Proc. ACM Manag. Data 2(2): 94 (2024) - [j30]Elisabet Lobo Vesga
Sensitivity by Parametricity. Proc. ACM Program. Lang. 8(OOPSLA2): 415-441 (2024) - [j29]Jiawen Liu
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
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
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
Report on Logic in Computer Science (LICS'23). ACM SIGLOG News 10(4): 44-45 (2023) - [c63]june wunder
Bunched Fuzz: Sensitivity for Vector Metrics. ESOP 2023: 451-478 - [c62]Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi
SymRustC: A Hybrid Fuzzer for Rust. ISSTA 2023: 1515-1518 - [c61]Mark Bun, Marco Gaboardi
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
Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling. CoRR abs/2301.08324 (2023) - [i52]Mark Bun, Marco Gaboardi
Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. CoRR abs/2303.12921 (2023) - [i51]Amy Rathore, Marina Blanton
A Formal Model for Secure Multiparty Computation. CoRR abs/2306.00308 (2023) - [i50]Mark Bun, Marco Gaboardi
Continual Release of Differentially Private Synthetic Data. CoRR abs/2306.07884 (2023) - [i49]Mark Bun, Marco Gaboardi
The Complexity of Verifying Boolean Programs as Differentially Private. CoRR abs/2309.04642 (2023) - 2022
- [j26]Jialu Bao, Marco Gaboardi
A separation logic for negative dependence. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [j25]Cheng Zhang
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
On Facility Location Problem in the Local Differential Privacy Model. AISTATS 2022: 3914-3929 - [c59]Mark Bun, Marco Gaboardi
The Complexity of Verifying Boolean Programs as Differentially Private. CSF 2022: 396-411 - [c58]Mark Bun, Jörg Drechsler
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
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
Relational cost analysis in a functional-imperative setting. J. Funct. Program. 31: e27 (2021) - [j23]Alejandro Aguirre
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j22]Vineet Rajani
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
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
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
Graded Hoare Logic and its Categorical Semantics. ESOP 2021: 234-263 - [c53]Gavin Brown, Marco Gaboardi
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
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
Hypothesis Testing Interpretations and Renyi Differential Privacy. AISTATS 2020: 2496-2506 - [c49]Marco Gaboardi
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
Probabilistic Programming Languages for Modeling Autonomous Systems. MFI 2020: 32-39 - [c47]Elisabet Lobo Vesga, Alejandro Russo
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
A relational logic for higher-order programs. J. Funct. Program. 29: e16 (2019) - [j17]Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi
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
Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. 3(ICFP): 92:1-92:29 (2019) - [j14]Tetsuya Sato, Alejandro Aguirre
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
Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals. AISTATS 2019: 2545-2554 - [c45]Arthur Azevedo de Amorim, Marco Gaboardi
Probabilistic Relational Reasoning via Metrics. LICS 2019: 1-19 - [c44]Tetsuya Sato
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS 2019: 1-14 - [c43]Yunus Esencayi, Marco Gaboardi
Facility Location Problem in Differential Privacy Model Revisited. NeurIPS 2019: 8489-8498 - [c42]Borja Balle, Gilles Barthe, Marco Gaboardi
Privacy Amplification by Mixing and Diffusion Mechanisms. NeurIPS 2019: 13277-13287 - [c41]Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi
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
Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. 261: 1-2 (2018) - [j12]Ivan Radicek, Gilles Barthe
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
An Assertion-Based Program Logic for Probabilistic Programs. ESOP 2018: 117-144 - [c37]Alejandro Aguirre
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP 2018: 214-241 - [c36]Marco Gaboardi
Local Private Hypothesis Testing: Chi-Square Tests. ICML 2018: 1612-1621 - [c35]Di Wang, Marco Gaboardi
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
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1(ICFP): 21:1-21:29 (2017) - [c33]Nataliia Bielova
PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS 2017: 2639-2640 - [c32]Ezgi Çiçek, Gilles Barthe, Marco Gaboardi
Relational cost analysis. POPL 2017: 316-329 - [c31]Arthur Azevedo de Amorim, Marco Gaboardi
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
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7(7): 72-87 (2017) - [i17]Marco Gaboardi
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [j10]Marco Gaboardi
Dual Query: Practical Private Query Release for High Dimensional Data. J. Priv. Confidentiality 7(2) (2016) - [j9]Marco Gaboardi
Special Issue on the Theory and Practice of Differential Privacy. J. Priv. Confidentiality 7(2) (2016) - [j8]Marco Gaboardi
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26(5): 829-867 (2016) - [j7]Gilles Barthe, Marco Gaboardi
Programming language techniques for differential privacy. ACM SIGLOG News 3(1): 34-53 (2016) - [c29]Gilles Barthe
Advanced Probabilistic Couplings for Differential Privacy. CCS 2016: 55-67 - [c28]Gilles Barthe
Differentially Private Bayesian Programming. CCS 2016: 68-79 - [c27]Gilles Barthe
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
Combining effects and coeffects via grading. ICFP 2016: 476-489 - [c24]Marco Gaboardi
Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing. ICML 2016: 2111-2120 - [c23]Gilles Barthe
Proving Differential Privacy via Probabilistic Couplings. LICS 2016: 749-758 - [c22]Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu
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
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports 6(3): 59-77 (2016) - 2015
- [j6]Marco Gaboardi
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
Algebras and coalgebras in the light affine Lambda calculus. ICFP 2015: 114-126 - [c20]Gilles Barthe
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. POPL 2015: 55-68 - [c19]Marco Gaboardi
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
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j4]Marco Gaboardi
What is a model for a semantically linear λ-calculus? J. Log. Comput. 24(3): 557-589 (2014) - [c18]Justin Hsu
Differential Privacy: An Economic Method for Choosing Epsilon. CSF 2014: 398-410 - [c17]Gilles Barthe
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
Dual Query: Practical Private Query Release for High Dimensional Data. ICML 2014: 1170-1178 - [c14]Arthur Azevedo de Amorim, Marco Gaboardi
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
Sensitivity analysis using type-based constraints. FPCDSL@ICFP 2013: 43-50 - [c12]Marco Gaboardi
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
An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13(2): 18:1-18:36 (2012) - 2011
- [j2]Ugo Dal Lago
Linear Dependent Types and Relative Completeness. Log. Methods Comput. Sci. 8(4) (2011) - [c11]Marco Gaboardi
Linearity and PCF: a semantic insight! ICFP 2011: 372-384 - [c10]Ugo Dal Lago
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
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
A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS 2009: 344-355 - [c5]Marco Gaboardi
Categorical Models for a Semantically Linear Lambda-calculus. LINEARITY 2009: 1-13 - 2008
- [c4]Marco Gaboardi
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
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-12-02 21:23 CET 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: