Sahil Verma
Title
Cited by
Cited by
Year
Fairness definitions explained
S Verma, J Rubin
2018 IEEE/ACM International Workshop on Software Fairness (FairWare), 1-7, 2018
2862018
Counterfactual Explanations for Machine Learning: A Review
S Verma, J Dickerson, K Hines
arXiv preprint arXiv:2010.10596, 2020
152020
Synergistic debug-repair of heap manipulations
S Verma, S Roy
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
122017
Benchmarking Symbolic Execution Using Constraint Problems-Initial Results
S Verma, RHC Yap
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
22019
Facets of Fairness in Search and Recommendation
S Verma, R Gao, C Shah
International Workshop on Algorithmic Bias in Search and Recommendation, 1-11, 2020
12020
Removing biased data to improve fairness and accuracy
S Verma, M Ernst, R Just
arXiv preprint arXiv:2102.03054, 2021
2021
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations
S Verma, S Roy
arXiv preprint arXiv:2011.13396, 2020
2020
ShapeFlow: Dynamic Shape Interpreter for TensorFlow
S Verma, Z Su
arXiv preprint arXiv:2011.13452, 2020
2020
NAP: Noise-Based Sensitivity Analysis for Programs
J Michel*, S Verma*, B Sherman, M Carbin
WAX 2019, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–9