Diptikalyan Saha  Diptikalyan Saha photo         

contact information

Senior Researcher
India Research Laboratory, Bangalore, India


Professional Associations

Professional Associations:  ACM

more information

More information:  Google Scholar


An Ontology based Dialog Interface to Database
Ashish Mittal, Jaydeep Sen, Diptikalyan Saha, Karthik Sankaranarayanan
ACM SIGMOD 2018 Demonstration Track

Functional Partitioning of Ontologies for Natural Language Query Completion in Question Answering Systems.
Sen, Jaydeep and Mittal, Ashish R and Saha, Diptikalyan and Sankaranarayanan, Karthik
IJCAI, pp. 4331--4337, 2018


Natural language querying in SAP-ERP platform
Saha, Diptikalyan and Gantayat, Neelamadhav and Mani, Senthil and Mitchell, Barry
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp. 878--883

Creation and Interaction with Large-scale Domain-Specific Knowledge Bases
Shreyas Bharadwaj et al.
VLDB (demonstrations), 2017


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 Ozcan
VLDB 2016, pp. 1209--1220, VLDB Endowment


Service Mining from Legacy Database Applications
Diptikalyan Saha
2015 IEEE International Conference on Web Services, ICWS 2015, New York, NY, USA, June 27 - July 2, 2015, pp. 448--455

Detecting and Mitigating Secret-Key Leaks in Source Code Repositories
Vibha Singhal Sinha, Diptikalyan Saha, Pankaj Dhoolia, Rohan Padhye, Senthil Mani
12th IEEE/ACM Working Conference on Mining Software Repositories, MSR 2015, Florence, Italy, May 16-17, 2015, pp. 396--400

P3: Partitioned Path Profiling
Mohammed Afraz, Diptikalyan Saha, Aditya Kanade
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 485--495, ACM


Data-Guided Repair of Selection Statements
Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra
International Conference on Software Engineering, 2014


Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, Gaurab Paul
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp. 180--190, ACM


Gramin: a system for incremental learning of programming language grammars
Diptikalyan Saha, Vishal Narula
Proceeding of the 4th Annual India Software Engineering Conference, ISEC 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011, pp. 185-194

Fault Localization for Data-centric Programs
Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra
Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 157--167, ACM, 2011
Abstract   US Patent App. 13/247,301

A framework for analyzing programs written in proprietary languages
V Krishna Nandivada, Mangala Gowri Nanda, Pankaj Dhoolia, Diptikalyan Saha, Anjan Nandy, Anup Ghosh
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, pp. 289--300, 2011


A simple and efficient explicit parallelization of logic programs using low-level threading primitives
Diptikalyan Saha, Paul Fodor
CoRRabs/0912.3510, 2009


Extending logical attack graphs for efficient vulnerability analysis
Diptikalyan Saha
ACM Conference on Computer and Communications Security (CCS), pp. 63-74, 2008


Automatic Incrementalization of Prolog Based Static Analyses
Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, pp. 109-123

An Incremental Bisimulation Algorithm
Diptikalyan Saha
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 204-215


Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs
Diptikalyan Saha, C R Ramakrishnan
Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 215-229

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
Diptikalyan Saha, C R Ramakrishnan
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 56-71


FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Curtis W Keller, Diptikalyan Saha, Samik Basu, Scott A Smolka
Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 563-569

Incremental and demand-driven points-to analysis using logic programming
Diptikalyan Saha, C R Ramakrishnan
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), July 11-13 2005, Lisbon, Portugal, pp. 117-128

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation
Diptikalyan Saha, C R Ramakrishnan
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 235-249


Localizing Program Errors for Cimple Debugging
Samik Basu, Diptikalyan Saha, Scott A Smolka
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6, pp. 79-96


Incremental Evaluation of Tabled Logic Programs
Diptikalyan Saha, C R Ramakrishnan
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 392-406

Generation of All Counter-Examples for Push-Down Systems
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A Smolka
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6, pp. 79-94