publication venue for
- Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations 2025
- Safe Stream-Based Programming with Refinement Types 2018
- Social Trust: a Major Challenge for the Future of Autonomous Systems 2016
- Symbolic Deadlock Analysis in Concurrent Libraries and their Clients 2009