Fairness as a Program Property Aws Albarghouthi Loris DAntoni - PowerPoint PPT Presentation

Fairness as a Program Property Aws Albarghouthi Loris D’Antoni Samuel Drews University of Wisconsin-Madison Aditya Nori Microsoft Research

Proof of correctness Precondition { n > 0} Postcondition { r = n !}

Program Bug! Verifier Precondition Correctness Postcondition proof

Group Fairness

Group Fairness sensitive feature (e.g. minority)

Group Fairness sensitive feature (e.g. minority)

Group Fairness population model

Individual Fairness similarity

FairSquare

Population Model Decision Program Fairness Definition

Population Model Unfairness proof Decision Program Fairness proof Fairness Definition

Code!

population decision-making model program

population decision-making model program

all possible execution paths

represent paths as a region “weighted volume” colRank ethnicity yExp

Programming Languages Magic

Population Model Unfairness proof Decision Program Fairness proof Fairness Weighted Definition Volume Computation