| 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 | 66 | 2005 |
| Incremental evaluation of tabled logic programs D Saha, CR Ramakrishnan International Conference on Logic Programming, 392-406, 2003 | 62 | 2003 |
| 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 | 52 | 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 | 52 | 2016 |
| Extending logical attack graphs for efficient vulnerability analysis D Saha Proceedings of the 15th ACM conference on Computer and communications …, 2008 | 47 | 2008 |
| An incremental bisimulation algorithm D Saha International Conference on Foundations of Software Technology and …, 2007 | 35 | 2007 |
| 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 | 30 | 2011 |
| Data-guided repair of selection statements D Gopinath, S Khurshid, D Saha, S Chandra Proceedings of the 36th International Conference on Software Engineering …, 2014 | 28 | 2014 |
| 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 | 26 | 2007 |
| Incremental evaluation of tabled prolog: Beyond pure logic programs D Saha, CR Ramakrishnan International Symposium on Practical Aspects of Declarative Languages, 215-229, 2006 | 24 | 2006 |
| Symbolic support graph: A space efficient data structure for incremental tabled evaluation D Saha, CR Ramakrishnan International Conference on Logic Programming, 235-249, 2005 | 19 | 2005 |
| A local algorithm for incremental evaluation of tabled logic programs D Saha, CR Ramakrishnan International Conference on Logic Programming, 56-71, 2006 | 17 | 2006 |
| 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 | 16 | 2003 |
| Localizing program errors for Cimple debugging S Basu, D Saha, SA Smolka International Conference on Formal Techniques for Networked and Distributed …, 2004 | 13 | 2004 |
| 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 | 12 | 2014 |
| 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 | 11 | 2005 |
| Tools and Algorithms for the Construction and Analysis of Systems N Halbwachs, L Zuck Springer Berlin/Heidelberg., 2005 | 9 | 2005 |
| The XSB System Version 3.3 T Swift, DS Warren, K Sagonas, J Freire, P Rao, B Cui, E Johnson, ... Sourceforge. net, 2011 | 7 | 2011 |
| 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 | 5 | 2018 |
| 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, ... | 5 | 2016 |
