44 citations · 218 across the 42 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 44 cited
Synthesizing Coupling Proofs of Differential Privacy
Aws Albarghouthi, Justin Hsu
Differential privacy has emerged as a promising probabilistic formulation of privacy, generating intense interest within academia and industry. We present a push-button, automated…
cs.PL2017★ 10 cited
Quantifying Program Bias
Aws Albarghouthi, Loris D'Antoni, Samuel Drews +1
With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is imperative that we aggressively investigate whether programs are biased. We propose a…