Generation of All Counter-Examples for Push-Down Systems. - Samik Basu 001; Diptikalyan Saha; Yow-Jian Lin; Scott A. Smolka (FORTE, 2003)

Incremental Evaluation of Tabled Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2003)

Localizing Program Errors for Cimple Debugging. - Samik Basu 001; Diptikalyan Saha; Scott A. Smolka (FORTE, 2004)

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2005)

Incremental and demand-driven points-to analysis using logic programming. - Diptikalyan Saha; C. R. Ramakrishnan 001 (PPDP, 2005)

FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. - Curtis W. Keller; Diptikalyan Saha; Samik Basu 001; Scott A. Smolka (TACAS, 2005)

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2006)

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (PADL, 2006)

An Incremental Bisimulation Algorithm. - Diptikalyan Saha (FSTTCS, 2007)

Automatic Incrementalization of Prolog Based Static Analyses. - Michael Eichberg; Matthias Kahl; Diptikalyan Saha; Mira Mezini; Klaus Ostermann (PADL, 2007)

Extending logical attack graphs for efficient vulnerability analysis. - Diptikalyan Saha (CCS, 2008)

A simple and efficient explicit parallelization of logic programs using low-level threading primitives - Diptikalyan Saha; Paul Fodor (CoRR, 2009)

Gramin: a system for incremental learning of programming language grammars. - Diptikalyan Saha; Vishal Narula (ISEC, 2011)

A framework for analyzing programs written in proprietary languages. - V. Krishna Nandivada; Mangala Gowri Nanda; Pankaj Dhoolia; Diptikalyan Saha; Anjan Nandy; Anup Ghosh (OOPSLA Companion, 2011)

Fault localization for data-centric programs. - Diptikalyan Saha; Mangala Gowri Nanda; Pankaj Dhoolia; V. Krishna Nandivada; Vibha Sinha; Satish Chandra 001 (SIGSOFT FSE, 2011)

Distributed program tracing. - Diptikalyan Saha; Pankaj Dhoolia; Gaurab Paul (ESEC/SIGSOFT FSE, 2013)

Data-guided repair of selection statements. - Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra 001 (ICSE, 2014)

Service Mining from Legacy Database Applications. - Diptikalyan Saha (ICWS, 2015)

Detecting and Mitigating Secret-Key Leaks in Source Code Repositories. - Vibha Singhal Sinha; Diptikalyan Saha; Pankaj Dhoolia; Rohan Padhye; Senthil Mani (MSR, 2015)

P3: partitioned path profiling. - Mohammed Afraz; Diptikalyan Saha; Aditya Kanade 001 (ESEC/SIGSOFT FSE, 2015)

Delta Refactoring for Merge Conflict Avoidance. - Diptikalyan Saha; Pankaj Dhoolia; Manav Garg; V. Vaibhav (ISEC, 2016)

ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores. - Diptikalyan Saha; Avrilia Floratou; Karthik Sankaranarayanan; Umar Farooq Minhas; Ashish R. Mittal; Fatma Özcan (Proc. VLDB Endow., 2016)

Natural language querying in SAP-ERP platform. - Diptikalyan Saha; Neelamadhav Gantayat; Senthil Mani; Barry Mitchell (ESEC/SIGSOFT FSE, 2017)

Creation and Interaction with Large-scale Domain-Specific Knowledge Bases. - Shreyas Bharadwaj; Laura Chiticariu; Marina Danilevsky; Samarth Dhingra; Samved Divekar; Arnaldo Carreno-Fuentes; Himanshu Gupta; Nitin Gupta 005; Sang-Don Han; Mauricio A. Hernández; Howard Ho; Parag Jain; et al. (Proc. VLDB Endow., 2017)

Functional Partitioning of Ontologies for Natural Language Query Completion in Question Answering Systems. - Jaydeep Sen; Ashish R. Mittal; Diptikalyan Saha; Karthik Sankaranarayanan (IJCAI, 2018)

An Ontology based Dialog Interface to Database. - Ashish R. Mittal; Jaydeep Sen; Diptikalyan Saha; Karthik Sankaranarayanan (SIGMOD Conference, 2018)

Automated Test Generation to Detect Individual Discrimination in AI Models. - Aniya Aggarwal; Pranay Lohia; Seema Nagar; Kuntal Dey; Diptikalyan Saha (CoRR, 2018)

AI Fairness 360: An Extensible Toolkit for Detecting, Understanding, and Mitigating Unwanted Algorithmic Bias. - Rachel K. E. Bellamy; Kuntal Dey; Michael Hind; Samuel C. Hoffman; Stephanie Houde; Kalapriya Kannan; Pranay Lohia; Jacquelyn Martino; Sameep Mehta; Aleksandra Mojsilovic; Seema Nagar; Karthikeyan Natesan Ramamurthy; et al. (CoRR, 2018)

Ontology-Based Natural Language Query Interfaces for Data Exploration. - Chuan Lei; Fatma Özcan; Abdul Quamar; Ashish R. Mittal; Jaydeep Sen; Diptikalyan Saha; Karthik Sankaranarayanan (IEEE Data Eng. Bull., 2018)

Tooling Framework for Instantiating Natural Language Querying System. - Manasa Jammi; Jaydeep Sen; Ashish R. Mittal; Sagar Verma; Vardaan Pahuja; Rema Ananthanarayanan; Pranay Lohia; Hima Karanam; Diptikalyan Saha; Karthik Sankaranarayanan (Proc. VLDB Endow., 2018)

Goal-based Ontology Creation for Natural Language Querying in SAP-ERP Platform. - Neelamadhav Gantayat; Diptikalyan Saha; Jaydeep Sen; Senthil Mani (COMAD/CODS, 2019)

Bias Mitigation Post-processing for Individual and Group Fairness. - Pranay Kr. Lohia; Karthikeyan Natesan Ramamurthy; Manish Bhide; Diptikalyan Saha; Kush R. Varshney; Ruchir Puri (ICASSP, 2019)

Natural Language Querying of Complex Business Intelligence Queries. - Jaydeep Sen; Fatma Ozcan; Abdul Quamar; Greg Stager; Ashish R. Mittal; Manasa Jammi; Chuan Lei; Diptikalyan Saha; Karthik Sankaranarayanan (SIGMOD Conference, 2019)

Black box fairness testing of machine learning models. - Aniya Aggarwal; Pranay Lohia; Seema Nagar; Kuntal Dey; Diptikalyan Saha (ESEC/SIGSOFT FSE, 2019)

AI Fairness 360: An extensible toolkit for detecting and mitigating algorithmic bias. - Rachel K. E. Bellamy; Kuntal Dey; Michael Hind; Samuel C. Hoffman; Stephanie Houde; Kalapriya Kannan; Pranay Lohia; Jacquelyn Martino; Sameep Mehta; Aleksandra Mojsilovic; Seema Nagar; Karthikeyan Natesan Ramamurthy; et al. (IBM J. Res. Dev., 2019)

Think Your Artificial Intelligence Software Is Fair? Think Again. - Rachel K. E. Bellamy; Kuntal Dey; Michael Hind; Samuel C. Hoffman; Stephanie Houde; Kalapriya Kannan; Pranay Lohia; Sameep Mehta; Aleksandra Mojsilovic; Seema Nagar; Karthikeyan Natesan Ramamurthy; John T. Richards; et al. (IEEE Softw., 2019)

Verifying Individual Fairness in Machine Learning Models. - Philips George John; Deepak Vijaykeerthy; Diptikalyan Saha (UAI, 2020)

ATHENA++: Natural Language Querying for Complex Nested SQL Queries. - Jaydeep Sen; Chuan Lei; Abdul Quamar; Fatma Özcan; Vasilis Efthymiou; Ayushi Dalmia; Greg Stager; Ashish R. Mittal; Diptikalyan Saha; Karthik Sankaranarayanan (Proc. VLDB Endow., 2020)

Generate Your Counterfactuals: Towards Controlled Counterfactual Generation for Text. - Nishtha Madaan; Inkit Padhi; Naveen Panwar; Diptikalyan Saha (AAAI, 2021)

Reliable Counterfactual Explanations for Autoencoder based Anomalies. - Swastik Haldar; Philips George John; Diptikalyan Saha (COMAD/CODS, 2021)

Bootstrapping Chatbot Interfaces to Databases. - Ashish R. Mittal; Diptikalyan Saha; Parag Jain; Jaydeep Sen; Manasa Jammi; Karthik Sankaranarayanan (COMAD/CODS, 2021)

Optimizing Interpretation Generation in Natural Language Query Answering for Real Time End Users. - Jaydeep Sen; Diptikalyan Saha; Ashish R. Mittal; Karthik Sankaranarayanan (COMAD/CODS, 2021)

Testing Framework for Black-box AI Models. - Aniya Aggarwal; Samiulla Shaikh; Sandeep Hans; Swastik Haldar; Rema Ananthanarayanan; Diptikalyan Saha (ICSE (Companion Volume), 2021)

Data Quality Toolkit: Automatic assessment of data quality and remediation for machine learning datasets. - Nitin Gupta 005; Hima Patel; Shazia Afzal; Naveen Panwar; Ruhi Sharma Mittal; Shanmukha C. Guttula; Abhinav Jain 001; Lokesh Nagalapatti; Sameep Mehta; Sandeep Hans; Pranay Lohia; Aniya Aggarwal; et al. (CoRR, 2021)

Towards API Testing Across Cloud and Edge. - Samuel Ackerman; Sanjib Choudhury; Nirmit Desai; Eitan Farchi; Dan Gisolfi; Andrew Hicks; Saritha Route; Diptikalyan Saha (CoRR, 2021)

Automated Testing of AI Models. - Swagatam Haldar; Deepak Vijaykeerthy; Diptikalyan Saha (CoRR, 2021)

Data Synthesis for Testing Black-Box Machine Learning Models. - Diptikalyan Saha; Aniya Aggarwal; Sandeep Hans (COMAD/CODS, 2022)

FROTE: Feedback Rule-Driven Oversampling for Editing Models. - Oznur Alkan; Dennis Wei; Massimiliano Mattetti; Rahul Nair; Elizabeth Daly; Diptikalyan Saha (MLSys, 2022)

Plug and Play Counterfactual Text Generation for Model Robustness. - Nishtha Madaan; Srikanta Bedathur; Diptikalyan Saha (CoRR, 2022)

DetAIL: A Tool to Automatically Detect and Analyze Drift in Language. - Nishtha Madaan; Adithya Manjunatha; Hrithik Nambiar; Aviral Kumar Goel; Harivansh Kumar; Diptikalyan Saha; Srikanta Bedathur (AAAI, 2023)

Global Explanations for Multivariate time series models. - Vijay Arya; Diptikalyan Saha; Sandeep Hans; Amaresh Rajasekharan; Tony Tang (COMAD/CODS, 2023)

Explainable Data Imputation using Constraints. - Sandeep Hans; Diptikalyan Saha; Aniya Aggarwal (COMAD/CODS, 2023)

A Report on Tutorials and Tech-Briefings co-located with ISEC 2023. - Diptikalyan Saha; Shiva Nejati 001 (ISEC, 2023)

Counterfactual Sentence Generation with Plug-and-Play Perturbation. - Nishtha Madaan; Diptikalyan Saha; Srikanta Bedathur (SaTML, 2023)

Interpretable differencing of machine learning models. - Swagatam Haldar; Diptikalyan Saha; Dennis Wei; Rahul Nair; Elizabeth M. Daly (UAI, 2023)

Software testing in the machine learning era. - Andrea Stocco 001; Onn Shehory; Gunel Jahangirova; Vincenzo Riccio; Guy Barash; Eitan Farchi; Diptikalyan Saha (Empir. Softw. Eng., 2023)

Optimizing Cloud Workloads: Autoscaling with Reinforcement Learning. - Pratik Mishra; Sandeep Hans; Diptikalyan Saha; Pratibha Moogi (CLOUD, 2024)

Tabular Data Synthesis with GANs for Adaptive AI Models. - Sandeep Hans; Anupam Sanghi; Diptikalyan Saha (COMAD/CODS, 2024)

A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. - Mudit Verma; Sandeep Hans; Diptikalyan Saha; Praveen Jayachandran; Eitan Farchi; Naga Ravi Chaitanya Elluri; Tullio Sebastiani; Paige Rubendall; Yogananth Subramanian; Pradeep Surisetty; Brian Riordan (COMSNETS, 2024)

Automated Validation of COBOL to Java Transformation. - Atul Kumar 002; Diptikalyan Saha; Toshiaki Yasue; Kohichi Ono; Saravanan Krishnan; Sandeep Hans; Fumiko Satoh; Gerald Mitchell; Sachin Kumar (ASE, 2024)

REST API Functional Tester. - Diptikalyan Saha; Devika Sondhi; Swagatam Haldar; Saurabh Sinha (ISEC, 2025)

Automated Testing of COBOL to Java Transformation. - Sandeep Hans; Atul Kumar 002; Toshiaki Yasue; Kouichi Ono; Saravanan Krishnan; Devika Sondhi; Fumiko Satoh; Gerald Mitchell; Sachin Kumar; Diptikalyan Saha (SIGSOFT FSE Companion, 2025)

Utilizing API Response for Test Refinement. - Devika Sondhi; Ananya Sharma; Diptikalyan Saha (CoRR, 2025)

Automated Testing of COBOL to Java Transformation. - Sandeep Hans; Atul Kumar 002; Toshikai Yasue; Kouichi Ono; Saravanan Krishnan; Devika Sondhi; Fumiko Satoh; Gerald Mitchell; Sachin Kumar; Diptikalyan Saha (CoRR, 2025)

Automated Validation of COBOL to Java Transformation. - Atul Kumar 002; Diptikalyan Saha; Toshikai Yasue; Kohichi Ono; Saravanan Krishnan; Sandeep Hans; Fumiko Satoh; Gerald Mitchell; Sachin Kumar (CoRR, 2025)