Tue 6 Nov 2018 11:15 - 11:37 at Solar - Testing Chair(s): Lingming Zhang

Bias in decisions made by modern software is becoming a common and serious problem. We present Themis, an automated test suite generator to measure two types of discrimination, including causal relationships between sensitive inputs and program behavior. We explain how Themis can measure discrimination and aid its debugging, describe a set of optimizations Themis uses to reduce test suite size, and demonstrate Themis’ effectiveness on open-source software. Themis is open-source and all our evaluation data are available at http://fairness.cs.umass.edu/. See a video of Themis in action: https://youtu.be/brB8wkaUesY

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: TestingDemonstrations at Solar
Chair(s): Lingming Zhang
10:30 - 10:52
Talk
Demonstrations
Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
10:52 - 11:15
Talk
Demonstrations
Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
11:15 - 11:37
Talk
Demonstrations
Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
11:37 - 12:00
Demonstration
Demonstrations
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print