Marco Gaboardi

Available identifiers

zbMath Open gaboardi.marcoMaRDI QIDQ843950

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Gaboardi