Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Hengchu Zhang"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-28
Curators of sensitive datasets sometimes need to know whether queries against the data are differentially private . Two sorts of logics have been proposed for checking this property: (1) type systems and other static analyses, which fully automate st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec2e191f6fa1b08070b4eb685c30227d
https://doi.org/10.1145/3341697
https://doi.org/10.1145/3341697
Applying differential privacy at scale requires convenient ways to check that programs computing with sensitive data appropriately preserve privacy. We propose here a fully automated framework for testing differential privacy, adapting a well-known
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b302c0ed70a11c8c938f00a9ed296ec
http://arxiv.org/abs/2010.04126
http://arxiv.org/abs/2010.04126
Publikováno v:
Proceedings of the ACM on Programming Languages. 2:1-30
We introduce StrictCheck: a property-based random testing framework for observing, specifying, and testing the strictness of Haskell functions. Strictness is traditionally considered a non-functional property; StrictCheck allows it to be tested as if
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a56a3369dc864cc7da735e503f936fb
https://doi.org/10.1145/3236797
https://doi.org/10.1145/3236797