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

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

Recommend

Property Maintenance Program Overview and Update Committee of the Whole October 25, 2011 1

Property Maintenance Program Overview and Update Committee of the Whole October 25, 2011 1 Property Maintenance Program Enforces property related aspects of Chapter 15, Nuisances and Property Maintenance revised and adopted in December,

638 views • 33 slides

ETHICS & FAIRNESS IN AI- ETHICS & FAIRNESS IN AI- ENABLED SYSTEMS ENABLED SYSTEMS

ETHICS & FAIRNESS IN AI- ETHICS & FAIRNESS IN AI- ENABLED SYSTEMS ENABLED SYSTEMS Christian Kaestner (with slides from Eunsuk Kang) Required reading: R. Caplan, J. Donovan, L. Hanson, J. Matthews. " Algorithmic Accountability:

1.41k views • 75 slides

Media Fairness, Diversity 1 Outline Fairness (case studies, basic definitions) Diversity

Online Social Networks and Media Fairness, Diversity 1 Outline Fairness (case studies, basic definitions) Diversity An experiment on the diversity of Facebook 2 Fairness, Non-discrimination To discriminate is to treat someone

1.03k views • 99 slides

What is fairness? The parties have not shown us, and I have not been able to discover . . . .

What is fairness? The parties have not shown us, and I have not been able to discover . . . . statements of principled, well-accepted rules of fairness that should govern districting. - Justice Anthony Kennedy, Vieth v Jubelirer (2004) Is

1.23k views • 79 slides

HOW CAN FAIRNESS OPINIONS PROVIDE VALUE TO SHAREHOLDERS? 4th OIV International Business Valuation

HOW CAN FAIRNESS OPINIONS PROVIDE VALUE TO SHAREHOLDERS? 4th OIV International Business Valuation Conference 30 November 2015 Milan, Italy Jay E. Fishman, FASA Jfishman@finresearch.com 1 WHAT IS A FAIRNESS OPINION? A fairness opinion is

484 views • 36 slides

Fairness in Machine Learning: Part I Privacy & Fairness in Data Science CS848 Fall 2019

Fairness in Machine Learning: Part I Privacy & Fairness in Data Science CS848 Fall 2019 Outline High Level View Recap Supervised Learning: Binary Classification Survey of Approaches to Fairness in Supervised Learning Warmup:

593 views • 35 slides

On Combining State Space Reductions with Global Fairness Assumptions Shaojie Zhang 1 Jun Sun 2 Jun

Background & Motivation Model Checking with Global Fairness Symmetry Reduction & Global Fairness Partial Order Reduction & Global Fairness Summary On Combining State Space Reductions with Global Fairness Assumptions Shaojie Zhang 1

402 views • 25 slides

Fairness opinions (FO) and Italian Valuation Standards (PIV) Mauro Bini Chair of OIV

Fairness opinions (FO) and Italian Valuation Standards (PIV) Mauro Bini Chair of OIV Management Board Agenda 1. A poll on Fairness Opinions 2. The elusive definition of Fairness Opinion and the main issues 3. An example and evidences

630 views • 32 slides

FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi Loris DAntoni

FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi Loris DAntoni Samuel Drews University of Wisconsin-Madison Aditya V. Nori Microsoft Research Machine Data Model Learning Machine Data Model Learning small

654 views • 39 slides

Fairness in ML 2: Equal opportunity and odds Privacy & Fairness in Data Science CS848 Fall

Fairness in ML 2: Equal opportunity and odds Privacy & Fairness in Data Science CS848 Fall 2019 Slides adapted from https://fairmlclass.github.io/4.html 2 Outline Recap: Disparity impact Issues with Disparate Impact

5.56k views • 35 slides

County Clare Property Marking Scheme 2019 Progress What is the Property Marking Scheme? The

County Clare Property Marking Scheme 2019 Progress What is the Property Marking Scheme? The scheme is a community led crime prevention program. The program involves marking property with a unique identifier. Our scheme offers a number

168 views • 13 slides

Society Expanding context: Fairness A simple problem:

Society Expanding context: Fairness A simple problem: classification Hiring Loan College admission Definitions of fairness Individuals with I treat you similar abilities differently

1.08k views • 71 slides

Flow Rate Fairness: Dismantling a Religion Bob Briscoe presented by Brighten Godfrey 1 Fairness

Flow Rate Fairness: Dismantling a Religion Bob Briscoe presented by Brighten Godfrey 1 Fairness in networks Flow rate equality! 911 Easily circumvented Doesnt even optimize for any metric of interest hotornot.com Fig. 1:

484 views • 17 slides

INTRO TO ETHICS AND INTRO TO ETHICS AND FAIRNESS FAIRNESS Eunsuk Kang Required reading: R.

INTRO TO ETHICS AND INTRO TO ETHICS AND FAIRNESS FAIRNESS Eunsuk Kang Required reading: R. Caplan, J. Donovan, L. Hanson, J. Matthews. "Algorithmic Accountability: A Primer", Data & Society (2018). 1 LEARNING GOALS LEARNING

732 views • 48 slides

On fairness in theorem proving Maria Paola Bonacina Dipartimento di Informatica Universit` a

Outline Motivation Uniform fairness for saturation Fairness for theorem proving Discussion On fairness in theorem proving Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Verona, Italy, EU Talk given at

728 views • 39 slides

Fairness in Machine Learning: Practicum Privacy & Fairness in Data Science CS848 Fall 2019

Fairness in Machine Learning: Practicum Privacy & Fairness in Data Science CS848 Fall 2019 Human Decision Making Suppose we want to recommend a movie. Data Decision Maker Decision Jane likes Bollywood musicals. Bob: You should

3.14k views • 26 slides

COMP30112: Concurrency Topics 5.4: Fairness and Starvation Howard Barringer Room KB2.20: email:

Topic 5.4: Fairness and Starvation COMP30112: Concurrency Topics 5.4: Fairness and Starvation Howard Barringer Room KB2.20: email: Howard.Barringer@manchester.ac.uk April 2008 Topic 5.4: Fairness and Starvation Outline Topic 5.4: Fairness

785 views • 20 slides

Church Property Committee Adopt-A-Lot Program Vision Statement Develop a program that will

Zion Lutheran Church Property Committee Adopt-A-Lot Program Vision Statement Develop a program that will drive volunteerism within the congregation, help beautify church grounds, maintain grounds throughout the year for new membership

405 views • 5 slides

Evolution of a Property Tax System Building a California County Property Tax System 1

Evolution of a Property Tax System Building a California County Property Tax System 1 Introductions Myles Harrington Bob Dunn Janine Hyatt John McCarthy President TaxSys California Business Analyst Executive Director, Program Manager

389 views • 35 slides

Bargaining and Coalition Formation Dr James Tremewan (james.tremewan@univie.ac.at) Fairness

Bargaining and Coalition Formation Dr James Tremewan (james.tremewan@univie.ac.at) Fairness Concerns Fairness Concerns Fairness concerns in bargaining Stylized facts from Ultimatum Game experiments: Virtually no offers above 50%.

753 views • 6 slides

Fairness issues in new large scale parallel platforms. Denis TRYSTRAM LIG Universit de

Fairness issues in new large scale parallel platforms. Fairness issues in new large scale parallel platforms. Denis TRYSTRAM LIG Universit de Grenoble Alpes Inria Institut Universitaire de France july 15, 2015 Fairness issues in new

700 views • 56 slides

Synchronization Message Passing The most important property of a program is whether it

Part III Synchronization Message Passing The most important property of a program is whether it accomplishes the intention of its user. 1 Fall 2015 C. A. R. Hoare Me Mess ssage Pa Pass ssing: 1/ 1/3 When processes/threads are

523 views • 30 slides

Fairness and Reciprocity Michele Albach March 26th, 2019 Questions to Answer What does it mean

Fairness and Reciprocity Michele Albach March 26th, 2019 Questions to Answer What does it mean to act fairly? When do people act fairly? What games exhibit fairness? Why do people act fairly? What factors affect fairness?

650 views • 34 slides

UAS in Collision Investigation Lieutenant J. Teachout Officer B. Kleinberg Integrity Fairness

UAS in Collision Investigation Lieutenant J. Teachout Officer B. Kleinberg Integrity Fairness Excellence Pix4d Capture UAV/Setting Selection Integrity Fairness Excellence Setting Grid Integrity Fairness Excellence Start

309 views • 7 slides