23 citations · 36 across the 3 of their papers we have counts for
3 papers
Domain Reasoning in TopKAT
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the to…
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data
Di Wang, Lijie Hu, Huanyu Zhang +2
In this paper, we study the problem of estimating smooth Generalized Linear Models (GLMs) in the Non-interactive Local Differential Privacy (NLDP) model. Different from its classic…
Differentially Private Bayesian Programming
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi +4
We present PrivInfer, an expressive framework for writing and verifying differentially private Bayesian machine learning algorithms. Programs in PrivInfer are written in a rich fun…