Marco Gaboardi

Available identifiers

zbMath Open gaboardi.marcoMaRDI QIDQ843950

List of research outcomes

Publication	Date of Publication	Type
Approximate span liftings. Compositional semantics for relaxations of differential privacy	2024-12-19	Paper
Probabilistic relational reasoning via metrics	2024-12-19	Paper
Formalizing algorithmic bounds in the query model in EeasyCrypt	2024-07-15	Paper
Differentially private confidence intervals for proportions under stratified random sampling	2024-05-29	Paper
Stability is stable: connections between replicability, privacy, and adaptive generalization	2024-05-08	Paper
Bunched Fuzz: sensitivity for vector metrics	2023-11-24	Paper
Relational cost analysis in a functional-imperative setting	2022-01-07	Paper
Coupled relational symbolic execution for differential privacy	2021-10-18	Paper
Graded Hoare logic and its categorical semantics	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5150148	2021-02-09	Paper
An assertion-based program logic for probabilistic programs	2019-09-13	Paper
Relational reasoning for Markov chains in a probabilistic guarded lambda calculus	2019-09-13	Paper
Privacy Amplification by Mixing and Diffusion Mechanisms	2019-05-29	Paper
Proving Differential Privacy via Probabilistic Couplings	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4598248	2017-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4598262	2017-12-19	Paper
Relational cost analysis	2017-10-20	Paper
A semantic account of metric preservation	2017-10-20	Paper
Algebras and coalgebras in the light affine Lambda calculus	2017-05-10	Paper
Combining effects and coeffects via grading	2017-05-10	Paper
Computer-Aided Verification for Mechanism Design	2017-02-10	Paper
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy	2016-09-29	Paper
On the reification of semantic linearity	2016-07-28	Paper
An Implicit Characterization of PSPACE	2015-09-17	Paper
Realizability models for a linear dependent PCF	2015-05-26	Paper
Linearity and PCF	2015-03-05	Paper
What is a model for a semantically linear  -calculus?	2015-01-12	Paper
Linear dependent types for differential privacy	2014-11-27	Paper
A logical account of pspace	2014-09-12	Paper
A Core Quantitative Coeffect Calculus	2014-04-16	Paper
Soft Linear Logic and Polynomial Complexity Classes	2013-12-13	Paper
Linear Dependent Types and Relative Completeness	2013-01-07	Paper
Global and Local Space Properties of Stream Programs	2010-09-14	Paper
A PolyTime Functional Language from Light Linear Logic	2010-05-04	Paper
Upper Bounds on Stream I/O Using Semantic Interpretations	2009-11-12	Paper
From light logics to type assignments: a case study	2009-11-12	Paper
A By-Level Analysis of Multiplicative Exponential Linear Logic	2009-10-16	Paper
Type Inference for a Polynomial Lambda Calculus	2009-07-02	Paper
A Soft Type Assignment System for λ-Calculus	2009-03-05	Paper

Research outcomes over time

This page was built for person: Marco Gaboardi