Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125964411> ?p ?o ?g. }
- W3125964411 abstract "We present PrivInfer, an expressive framework for writing and verifying differentially private Bayesian machine learning algorithms. Programs in PrivInfer are written in a rich functional probabilistic programming 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 programming languages, and in relational refinement types. We demonstrate the expressiveness of PrivInfer by verifying privacy for several examples of private Bayesian inference." @default.
- W3125964411 created "2021-02-01" @default.
- W3125964411 creator A5001627888 @default.
- W3125964411 creator A5015166077 @default.
- W3125964411 creator A5021948795 @default.
- W3125964411 creator A5033286190 @default.
- W3125964411 creator A5033447950 @default.
- W3125964411 creator A5045248140 @default.
- W3125964411 creator A5055058246 @default.
- W3125964411 date "2016-10-24" @default.
- W3125964411 modified "2023-10-14" @default.
- W3125964411 title "Differentially Private Bayesian Programming" @default.
- W3125964411 cites W1517555081 @default.
- W3125964411 cites W1534323856 @default.
- W3125964411 cites W1553111043 @default.
- W3125964411 cites W1873763122 @default.
- W3125964411 cites W1993116423 @default.
- W3125964411 cites W2010523825 @default.
- W3125964411 cites W2027193703 @default.
- W3125964411 cites W2044186952 @default.
- W3125964411 cites W2046536636 @default.
- W3125964411 cites W2047749307 @default.
- W3125964411 cites W2059802626 @default.
- W3125964411 cites W2060220593 @default.
- W3125964411 cites W2064290554 @default.
- W3125964411 cites W2096870293 @default.
- W3125964411 cites W2097061283 @default.
- W3125964411 cites W2153751777 @default.
- W3125964411 cites W2165157425 @default.
- W3125964411 cites W2167372639 @default.
- W3125964411 cites W2206718322 @default.
- W3125964411 cites W2207879440 @default.
- W3125964411 cites W2295961883 @default.
- W3125964411 cites W2315671126 @default.
- W3125964411 cites W3038013766 @default.
- W3125964411 cites W3106186972 @default.
- W3125964411 cites W3125045354 @default.
- W3125964411 cites W3125832933 @default.
- W3125964411 cites W3145555275 @default.
- W3125964411 cites W4205228770 @default.
- W3125964411 cites W4293404332 @default.
- W3125964411 cites W4301509913 @default.
- W3125964411 doi "https://doi.org/10.1145/2976749.2978371" @default.
- W3125964411 hasPublicationYear "2016" @default.
- W3125964411 type Work @default.
- W3125964411 sameAs 3125964411 @default.
- W3125964411 citedByCount "18" @default.
- W3125964411 countsByYear W31259644112017 @default.
- W3125964411 countsByYear W31259644112018 @default.
- W3125964411 countsByYear W31259644112019 @default.
- W3125964411 countsByYear W31259644112020 @default.
- W3125964411 countsByYear W31259644112021 @default.
- W3125964411 countsByYear W31259644112022 @default.
- W3125964411 countsByYear W31259644112023 @default.
- W3125964411 crossrefType "proceedings-article" @default.
- W3125964411 hasAuthorship W3125964411A5001627888 @default.
- W3125964411 hasAuthorship W3125964411A5015166077 @default.
- W3125964411 hasAuthorship W3125964411A5021948795 @default.
- W3125964411 hasAuthorship W3125964411A5033286190 @default.
- W3125964411 hasAuthorship W3125964411A5033447950 @default.
- W3125964411 hasAuthorship W3125964411A5045248140 @default.
- W3125964411 hasAuthorship W3125964411A5055058246 @default.
- W3125964411 hasBestOaLocation W31259644111 @default.
- W3125964411 hasConcept C101112237 @default.
- W3125964411 hasConcept C107673813 @default.
- W3125964411 hasConcept C119857082 @default.
- W3125964411 hasConcept C124101348 @default.
- W3125964411 hasConcept C127043819 @default.
- W3125964411 hasConcept C154945302 @default.
- W3125964411 hasConcept C160234255 @default.
- W3125964411 hasConcept C162324750 @default.
- W3125964411 hasConcept C176217482 @default.
- W3125964411 hasConcept C177877439 @default.
- W3125964411 hasConcept C199360897 @default.
- W3125964411 hasConcept C21547014 @default.
- W3125964411 hasConcept C23130292 @default.
- W3125964411 hasConcept C2776214188 @default.
- W3125964411 hasConcept C33724603 @default.
- W3125964411 hasConcept C41008148 @default.
- W3125964411 hasConcept C49937458 @default.
- W3125964411 hasConcept C5655090 @default.
- W3125964411 hasConcept C80444323 @default.
- W3125964411 hasConceptScore W3125964411C101112237 @default.
- W3125964411 hasConceptScore W3125964411C107673813 @default.
- W3125964411 hasConceptScore W3125964411C119857082 @default.
- W3125964411 hasConceptScore W3125964411C124101348 @default.
- W3125964411 hasConceptScore W3125964411C127043819 @default.
- W3125964411 hasConceptScore W3125964411C154945302 @default.
- W3125964411 hasConceptScore W3125964411C160234255 @default.
- W3125964411 hasConceptScore W3125964411C162324750 @default.
- W3125964411 hasConceptScore W3125964411C176217482 @default.
- W3125964411 hasConceptScore W3125964411C177877439 @default.
- W3125964411 hasConceptScore W3125964411C199360897 @default.
- W3125964411 hasConceptScore W3125964411C21547014 @default.
- W3125964411 hasConceptScore W3125964411C23130292 @default.
- W3125964411 hasConceptScore W3125964411C2776214188 @default.
- W3125964411 hasConceptScore W3125964411C33724603 @default.
- W3125964411 hasConceptScore W3125964411C41008148 @default.
- W3125964411 hasConceptScore W3125964411C49937458 @default.
- W3125964411 hasConceptScore W3125964411C5655090 @default.