Marco Gaboardi

According to our database1, Marco Gaboardi authored at least 59 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
PACMPL, 2019

Bidirectional type checking for relational properties.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Locally Private Mean Estimation: $Z$-test and Tight Confidence Intervals.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Monadic refinements for relational cost analysis.
PACMPL, 2018

Special issue - Developments in implicit computational complexity, 2014 and 2015.
Inf. Comput., 2018

Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Local Private Hypothesis Testing: Chi-Square Tests.
Proceedings of the 35th International Conference on Machine Learning, 2018

An Assertion-Based Program Logic for Probabilistic Programs.
Proceedings of the Programming Languages and Systems, 2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.
Proceedings of the Programming Languages and Systems, 2018

Formal Verification of Differential Privacy.
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2017
A relational logic for higher-order programs.
PACMPL, 2017

Resource Bound Analysis (Dagstuhl Seminar 17291).
Dagstuhl Reports, 2017

Type Systems for the Relational Verification of Higher Order Programs (Invited Talk).
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Relational cost analysis.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A semantic account of metric preservation.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30, 2017

2016
Programming language techniques for differential privacy.
SIGLOG News, 2016

On the reification of semantic linearity.
Mathematical Structures in Computer Science, 2016

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131).
Dagstuhl Reports, 2016

Computer-Aided Verification for Mechanism Design.
Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Proving Differential Privacy via Probabilistic Couplings.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing.
Proceedings of the 33nd International Conference on Machine Learning, 2016

Combining effects and coeffects via grading.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A Program Logic for Union Bounds.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Sensitivity of Counting Queries.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Advanced Probabilistic Couplings for Differential Privacy.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Differentially Private Bayesian Programming.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015
Realizability models for a linear dependent PCF.
Theor. Comput. Sci., 2015

Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).
NII Shonan Meet. Rep., 2015

On bounding space usage of streams using interpretation analysis.
Sci. Comput. Program., 2015

A Theory AB Toolbox.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Algebras and coalgebras in the light affine Lambda calculus.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
What is a model for a semantically linear λ-calculus?
J. Log. Comput., 2014

Really Natural Linear Indexed Type Checking.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Dual Query: Practical Private Query Release for High Dimensional Data.
Proceedings of the 31th International Conference on Machine Learning, 2014

A Core Quantitative Coeffect Calculus.
Proceedings of the Programming Languages and Systems, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Proving Differential Privacy in Hoare Logic.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013
Linear dependent types for differential privacy.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Sensitivity analysis using type-based constraints.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

2012
An Implicit Characterization of PSPACE.
ACM Trans. Comput. Log., 2012

2011
Linear Dependent Types and Relative Completeness
Logical Methods in Computer Science, 2011

Linear Dependent Types and Relative Completeness.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Linearity and PCF: a semantic insight!
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
A PolyTime Functional Language from Light Linear Logic.
Proceedings of the Programming Languages and Systems, 2010

2009
From light logics to type assignments: a case study.
Logic Journal of the IGPL, 2009

Categorical Models for a Semantically Linear Lambda-calculus
Proceedings of the Proceedings First International Workshop on Linearity, 2009

A By-Level Analysis of Multiplicative Exponential Linear Logic.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Global and Local Space Properties of Stream Programs.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Upper Bounds on Stream I/O Using Semantic Interpretations.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
Soft Linear Logic and Polynomial Complexity Classes.
Electr. Notes Theor. Comput. Sci., 2008

Type Inference for a Polynomial Lambda Calculus.
Proceedings of the Types for Proofs and Programs, International Conference, 2008

A logical account of pspace.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007
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).
PhD thesis, 2007

A Soft Type Assignment System for lambda -Calculus.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007


  Loading...