Fairness: A Formal-Methods Perspective
Abstract elided by the publisher.
Related papers
- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007
- CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI 2023
- Correct-by-Construction: Certified Individual Fairness through Neural Network Training OOPSLA 2025
- Fair Operational Semantics PLDI 2023
- Formal Abstractions for Packet Scheduling OOPSLA 2023
- Automatically disproving fair termination of higher-order functional programs ICFP 2016
- Perspectives on formal verification (invited talk) CPP 2016
- Certifying the Fairness of KNN in the Presence of Dataset Bias CAV 2023