Diptikalyan Saha
Diptikalyan Saha
Researcher at IBM Research India
Verified email at in.ibm.com - Homepage
TitleCited byYear
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
662005
Incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 392-406, 2003
622003
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
522018
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
522016
Extending logical attack graphs for efficient vulnerability analysis
D Saha
Proceedings of the 15th ACM conference on Computer and communications†…, 2008
472008
An incremental bisimulation algorithm
D Saha
International Conference on Foundations of Software Technology and†…, 2007
352007
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
302011
Data-guided repair of selection statements
D Gopinath, S Khurshid, D Saha, S Chandra
Proceedings of the 36th International Conference on Software Engineering†…, 2014
282014
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
242006
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
A local algorithm for incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 56-71, 2006
172006
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
162003
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
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
Tools and Algorithms for the Construction and Analysis of Systems
N Halbwachs, L Zuck
Springer Berlin/Heidelberg., 2005
92005
The XSB System Version 3.3
T Swift, DS Warren, K Sagonas, J Freire, P Rao, B Cui, E Johnson, ...
Sourceforge. net, 2011
72011
AI Fairness 360: An Extensible Toolkit for Detecting
RKE Bellamy, K Dey, M Hind, SC Hoffman, S Houde, K Kannan, P Lohia, ...
Understanding, and Mitigating Unwanted Algorithmic Bias, 2018
52018
The XSB System Version 3.7. x Volume 1: Programmer’s Manual
TSDS Warren, K Sagonas, J Freire, P Rao, B Cui, E Johnson, L de Castro, ...
52016
The system can't perform the operation now. Try again later.
Articles 1–20