@inproceedings{albarghouthi2016fairness,
author = {Albarghouthi, Aws and D'Antoni, Loris and Drews, Samuel and Nori, Aditya},
title = {Fairness as a Program Property},
booktitle = {Fairness, Accountability, and Transparency in Machine Learning (FATML)},
year = {2016},
month = {November},
abstract = {We explore the following question: Is a
decision-making program fair, for some useful definition
of fairness? First, we describe how several algorithmic
fairness questions can be phrased as program
verification problems. Second, we discuss an automated
verification technique for proving or disproving
fairness of decision-making programs with respect
to a model of the population.},
url = {http://approjects.co.za/?big=en-us/research/publication/fairness-program-property/},
}