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

▶
fairness as a program property
SMART_READER_LITE
LIVE PREVIEW

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

Jan 13, 2024 237 likes •524 views

Fairness as a Program Property Aws Albarghouthi Loris DAntoni Samuel Drews University of Wisconsin-Madison Aditya Nori Microsoft Research Proof of correctness Precondition { n > 0} Postcondition { r = n !} Program Bug! Verifier

slide-1
SLIDE 1

Fairness as a Program Property

Aws Albarghouthi Loris D’Antoni Samuel Drews University of Wisconsin-Madison Aditya Nori Microsoft Research

slide-2
SLIDE 2
slide-3
SLIDE 3

Proof of correctness

Precondition {n > 0} Postcondition {r = n!}

slide-4
SLIDE 4

Program Precondition Postcondition Verifier Bug! Correctness proof

slide-5
SLIDE 5

Group Fairness

slide-6
SLIDE 6

Group Fairness

sensitive feature (e.g. minority)

slide-7
SLIDE 7

Group Fairness

sensitive feature (e.g. minority)

slide-8
SLIDE 8

Group Fairness

population model

slide-9
SLIDE 9

Individual Fairness

similarity

slide-10
SLIDE 10

FairSquare

slide-11
SLIDE 11

Population Model Decision Program Fairness Definition

slide-12
SLIDE 12

Population Model Decision Program Unfairness proof Fairness proof Fairness Definition

slide-13
SLIDE 13
slide-14
SLIDE 14

Code!

slide-15
SLIDE 15

population model decision-making program

slide-16
SLIDE 16

population model decision-making program

slide-17
SLIDE 17

all possible execution paths

slide-18
SLIDE 18

colRank ethnicity yExp

“weighted volume” represent paths as a region

slide-19
SLIDE 19

Programming Languages Magic

slide-20
SLIDE 20
slide-21
SLIDE 21
slide-22
SLIDE 22
slide-23
SLIDE 23
slide-24
SLIDE 24
slide-25
SLIDE 25
slide-26
SLIDE 26
slide-27
SLIDE 27

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