45 citations · 67 across the 22 of their papers we have counts for
27 papers
FairLint-DL: An IDE-Native Tool for Fairness Debugging of Deep Learning Software
Archit Rathod, Saeid Tizpaz-Niari
Existing fairness analysis tools predominantly operate as post-training evaluation frameworks, requiring practitioners to complete the full model development lifecycle before asses…
Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs
Ranit Debnath Akash, Ashish Kumar, Gang Tan +1
Data-driven software systems are increasingly deployed in high-stakes socio-economic domains, from criminal justice to financial lending. However, these systems often exhibit indiv…
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid +3
Extended Berkeley Packet Filter (eBPF) programs are kernel extensions used for networking, observability, and security enforcement in the Linux kernel. The in-kernel eBPF verifier…
On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation
Verya Monjezi, Ashish Kumar, Ashutosh Trivedi +2
Machine learning (ML) algorithms are increasingly deployed to make critical decisions in socioeconomic applications such as finance, criminal justice, and autonomous driving. Howev…
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Ranit Debnath Akash, Ashish Kumar, Verya Monjezi +4
Fairness in algorithmic decision-making is often framed in terms of individual fairness, which requires that similar individuals receive similar outcomes. A system violates individ…
An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Sina Gogani-Khiabani, Ashutosh Trivedi, Diptikalyan Saha +1
Large language models (LLMs) show promise for translating natural-language statutes into executable logic, but reliability in legally critical settings remains challenging due to a…