DeepAI AI Chat
Log In Sign Up

Quantifying Program Bias

02/17/2017
by   Aws Albarghouthi, et al.
0

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 novel probabilistic program analysis technique and apply it to quantifying bias in decision-making programs. Specifically, we (i) present a sound and complete automated verification technique for proving quantitative properties of probabilistic programs; (ii) show that certain notions of bias, recently proposed in the fairness literature, can be phrased as quantitative correctness properties; and (iii) present FairSquare, the first verification tool for quantifying program bias, and evaluate it on a range of decision-making programs.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/19/2016

Fairness as a Program Property

We explore the following question: Is a decision-making program fair, fo...
03/08/2022

ProbTA: A sound and complete proof rule for probabilistic verification

We propose a sound and complete proof rule ProbTA for quantitative analy...
10/31/2019

Reductions for Safety Proofs (Extended Version)

Program reductions are used widely to simplify reasoning about the corre...
06/28/2022

Quantitative Verification of Opacity Properties in Security Systems

We delineate a methodology for the specification and verification of flo...
10/27/2020

Relatively Complete Verification of Probabilistic Programs

We study a syntax for specifying quantitative "assertions" - functions m...
01/19/2019

Kantorovich Continuity of Probabilistic Programs

The Kantorovich metric is a canonical lifting of a distance from sets to...
02/13/2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time

The notion of program sensitivity (aka Lipschitz continuity) specifies t...