References & Citations
Computer Science > Programming Languages
Title: Differentially Private Bayesian Programming
(Submitted on 1 May 2016 (this version), latest version 17 Aug 2016 (v2))
Abstract: We present an expressive framework, called PrivInfer, for writing and verifying differentially private machine learning algorithms. Programs in PrivInfer are written in a rich functional probabilistic language with constructs for performing Bayesian inference. Then, differential privacy of programs is established using a relational refinement type system, in which refinements on probability types are indexed by a metric on distributions. Our framework leverages recent developments in Bayesian inference, probabilistic program- ming languages, and in relational refinement types. We demonstrate the expressiveness of PrivInfer by verifying privacy for several examples of private Bayesian inference.
Submission history
From: Justin Hsu [view email][v1] Sun, 1 May 2016 17:49:30 GMT (272kb,D)
[v2] Wed, 17 Aug 2016 16:27:17 GMT (278kb,D)
Link back to: arXiv, form interface, contact.