Diptikalyan Saha  Diptikalyan Saha photo       

contact information

Senior Researcher
India Research Laboratory, Bangalore, India
  +91dash80dash67043702

links

Professional Associations

Professional Associations:  ACM

more information

More information:  Google Scholar


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


2015

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


2014

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


2013

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


2011

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


2009

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


2008

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


2007

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


2006

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


2005

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


2004

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


2003

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