Synergistic debug-repair of heap manipulations. - Sahil Verma 003; Subhajit Roy 001 (ESEC/SIGSOFT FSE, 2017)

Fairness definitions explained. - Sahil Verma 003; Julia Rubin (FairWare@ICSE, 2018)

Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. - Sahil Verma 003; Roland H. C. Yap (ICTAI, 2019)

Facets of Fairness in Search and Recommendation. - Sahil Verma 003; Ruoyuan Gao; Chirag Shah 001 (BIAS, 2020)

Counterfactual Explanations for Machine Learning: A Review. - Sahil Verma 003; John P. Dickerson; Keegan Hines (CoRR, 2020)

ShapeFlow: Dynamic Shape Interpreter for TensorFlow. - Sahil Verma 003; Zhendong Su 001 (CoRR, 2020)

Removing biased data to improve fairness and accuracy. - Sahil Verma 003; Michael D. Ernst; René Just (CoRR, 2021)

Amortized Generation of Sequential Counterfactual Explanations for Black-box Models. - Sahil Verma 003; Keegan Hines; John P. Dickerson (CoRR, 2021)

Counterfactual Explanations for Machine Learning: Challenges Revisited. - Sahil Verma 003; John P. Dickerson; Keegan Hines (CoRR, 2021)

Pitfalls of Explainable ML: An Industry Perspective. - Sahil Verma 003; Aditya Lahiri; John P. Dickerson; Su-In Lee (CoRR, 2021)

Debug-localize-repair: a symbiotic construction for heap manipulations. - Sahil Verma 003; Subhajit Roy 001 (Formal Methods Syst. Des., 2021)

Amortized Generation of Sequential Algorithmic Recourses for Black-Box Models. - Sahil Verma 003; Keegan Hines; John P. Dickerson (AAAI, 2022)

RecRec: Algorithmic Recourse for Recommender Systems. - Sahil Verma 003; Ashudeep Singh; Varich Boonsanong; John P. Dickerson; Chirag Shah 001 (CIKM, 2023)

Effective Backdoor Mitigation Depends on the Pre-training Objective. - Sahil Verma 003; Gantavya Bhatt; Avi Schwarzschild; Soumye Singhal; Arnav Mohanty Das; Chirag Shah 001; John P. Dickerson; Jeff A. Bilmes (CoRR, 2023)

How Many Van Goghs Does It Take to Van Gogh? Finding the Imitation Threshold. - Sahil Verma 003; Royi Rassin; Arnav Das 001; Gantavya Bhatt; Preethi Seshadri; Chirag Shah 001; Jeff A. Bilmes; Hannaneh Hajishirzi; Yanai Elazar (CoRR, 2024)

COBRA: COmBinatorial Retrieval Augmentation for Few-Shot Learning. - Arnav Mohanty Das; Gantavya Bhatt; Lilly Kumari; Sahil Verma 003; Jeff Bilmes (CoRR, 2024)

Counterfactual Explanations and Algorithmic Recourses for Machine Learning: A Review. - Sahil Verma 003; Varich Boonsanong; Minh Hoang; Keegan Hines; John Dickerson 001; Chirag Shah 001 (ACM Comput. Surv., 2024)

COBRA: COmBinatorial Retrieval Augmentation for Few-Shot Adaptation. - Arnav M. Das; Gantavya Bhatt; Lilly Kumari; Sahil Verma 003; Jeff Bilmes (CVPR, 2025)

Effective Backdoor Mitigation in Vision-Language Models Depends on the Pre-training Objective. - Sahil Verma 003; Gantavya Bhatt; Avi Schwarzschild; Soumye Singhal; Arnav Mohanty Das; Chirag Shah 001; John P. Dickerson; Pin-Yu Chen; Jeff Bilmes (Trans. Mach. Learn. Res., 2025)

OMNIGUARD: An Efficient Approach for AI Safety Moderation Across Modalities. - Sahil Verma 003; Keegan Hines; Jeff Bilmes; Charlotte Siska; Luke Zettlemoyer; Hila Gonen; Chandan Singh (CoRR, 2025)