Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 14:15 - 14:37 at Regency C - Verification Chair(s): Jonathan Edwards

With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is imperative that we aggressively investigate fairness and bias in decision-making programs. First, we show that a number of recently proposed formal definitions of fairness can be encoded as probabilistic program properties. Second, with the goal of enabling rigorous reasoning about fairness, we design a novel technique for verifying probabilistic properties that admits a wide class of decision-making programs. Third, we present FairSquare, the first verification tool for automatically certifying that a program meets a given fairness property. We evaluate FairSquare on a range of decision-making programs. Our evaluation demonstrates FairSquare’s ability to verify fairness for a range of different programs, which we show are out-of-reach for state-of-the-art program analysis techniques.

Thu 26 Oct

splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Verification at Regency C
Chair(s): Jonathan Edwards
splash-2017-OOPSLA150901740000013:30 - 13:52
Talk
Manolis PapadakisStanford University, USA, Gilbert Louis BernsteinStanford University, USA, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Pat HanrahanStanford University, USA
DOI
splash-2017-OOPSLA150901875000013:52 - 14:15
Talk
Peng WangMassachusetts Institute of Technology, USA, Di WangPeking University, China, Adam ChlipalaMassachusetts Institute of Technology, USA
DOI
splash-2017-OOPSLA150902010000014:15 - 14:37
Talk
Aws AlbarghouthiUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Samuel DrewsUniversity of Wisconsin-Madison, Aditya Nori
DOI
splash-2017-OOPSLA150902145000014:37 - 15:00
Talk
Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
DOI