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]