Perfectly parallel fairness certification of neural networks-Reference-Cited by-同舟云学术

Perfectly parallel fairness certification of neural networks

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-30
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Urban Caterina¹,Christakis Maria²,Wüstholz Valentin³,Zhang Fuyuan²

Affiliation:

1. Inria, France / ENS, France / CNRS, France / PSL University, France

2. MPI-SWS, Germany

3. ConsenSys, Germany

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3428253

Reference80 articles.

1. Repairing Decision-Making Programs Under Uncertainty

2. FairSquare: probabilistic verification of program fairness

3. Aws Albarghouthi and Samuel Vinitsky. 2019. Fairness-Aware Programming. In FAT*. 211-219. https://doi.org/10.1145/ 3287560.3287588 10.1145/3287560.3287588 Aws Albarghouthi and Samuel Vinitsky. 2019. Fairness-Aware Programming. In FAT*. 211-219. https://doi.org/10.1145/ 3287560.3287588 10.1145/3287560.3287588

4. Big Data's Disparate Impact;Barocas Solon;California Law Review,2016

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Abstract Interpretation-Based Feature Importance for Support Vector Machines;Lecture Notes in Computer Science;2023-12-30

3. Verification of Neural Networks’ Local Differential Classification Privacy;Lecture Notes in Computer Science;2023-12-30

4. DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks;Equity and Access in Algorithms, Mechanisms, and Optimization;2023-10-30