Diptikalyan Saha
Diptikalyan Saha
Researcher at IBM Research India
Vahvistettu sähköpostiosoite verkkotunnuksessa in.ibm.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
AI Fairness 360: An extensible toolkit for detecting, understanding, and mitigating unwanted algorithmic bias
RKE Bellamy, K Dey, M Hind, SC Hoffman, S Houde, K Kannan, P Lohia, ...
arXiv preprint arXiv:1810.01943, 2018
177*2018
ATHENA: an ontology-driven system for natural language querying over relational data stores
D Saha, A Floratou, K Sankaranarayanan, UF Minhas, AR Mittal, F Özcan
Proceedings of the VLDB Endowment 9 (12), 1209-1220, 2016
782016
Incremental and demand-driven points-to analysis using logic programming
D Saha, CR Ramakrishnan
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
712005
Incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 392-406, 2003
622003
Extending logical attack graphs for efficient vulnerability analysis
D Saha
Proceedings of the 15th ACM conference on Computer and communications …, 2008
542008
An incremental bisimulation algorithm
D Saha
International Conference on Foundations of Software Technology and …, 2007
362007
Data-guided repair of selection statements
D Gopinath, S Khurshid, D Saha, S Chandra
Proceedings of the 36th International Conference on Software Engineering …, 2014
342014
Fault localization for data-centric programs
D Saha, MG Nanda, P Dhoolia, VK Nandivada, V Sinha, S Chandra
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
342011
Automatic incrementalization of prolog based static analyses
M Eichberg, M Kahl, D Saha, M Mezini, K Ostermann
International Symposium on Practical Aspects of Declarative Languages, 109-123, 2007
262007
Incremental evaluation of tabled prolog: Beyond pure logic programs
D Saha, CR Ramakrishnan
International Symposium on Practical Aspects of Declarative Languages, 215-229, 2006
252006
Symbolic support graph: A space efficient data structure for incremental tabled evaluation
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 235-249, 2005
192005
Generation of all counter-examples for push-down systems
S Basu, D Saha, YJ Lin, SA Smolka
International Conference on Formal Techniques for Networked and Distributed …, 2003
182003
A local algorithm for incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 56-71, 2006
172006
Bias mitigation post-processing for individual and group fairness
PK Lohia, KN Ramamurthy, M Bhide, D Saha, KR Varshney, R Puri
Icassp 2019-2019 ieee international conference on acoustics, speech and …, 2019
162019
Black box fairness testing of machine learning models
A Aggarwal, P Lohia, S Nagar, K Dey, D Saha
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
142019
Localizing program errors for Cimple debugging
S Basu, D Saha, SA Smolka
International Conference on Formal Techniques for Networked and Distributed …, 2004
132004
Transformation of computer programs and eliminating errors
P Dhoolia, AK Ghosh, S Ghosal, A Lahiri, MG Nanda, KN Venkata, ...
US Patent 8,806,452, 2014
122014
Natural language querying of complex business intelligence queries
J Sen, F Ozcan, A Quamar, G Stager, A Mittal, M Jammi, C Lei, D Saha, ...
Proceedings of the 2019 International Conference on Management of Data, 1997 …, 2019
112019
FocusCheck: A tool for model checking and debugging sequential C programs
CW Keller, D Saha, S Basu, SA Smolka
International Conference on Tools and Algorithms for the Construction and …, 2005
112005
Creation and interaction with large-scale domain-specific knowledge bases
S Bharadwaj, L Chiticariu, M Danilevsky, S Dhingra, S Divekar, ...
Proceedings of the VLDB Endowment 10 (12), 1965-1968, 2017
102017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20