Diptikalyan Saha

According to our database1, Diptikalyan Saha authored at least 38 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
ATHENA++: Natural Language Querying for Complex Nested SQL Queries.
Proc. VLDB Endow., 2020

Verifying Individual Fairness in Machine Learning Models.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

2019
Think Your Artificial Intelligence Software Is Fair? Think Again.
IEEE Softw., 2019

AI Fairness 360: An extensible toolkit for detecting and mitigating algorithmic bias.
IBM J. Res. Dev., 2019

Black box fairness testing of machine learning models.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Natural Language Querying of Complex Business Intelligence Queries.
Proceedings of the 2019 International Conference on Management of Data, 2019

Bias Mitigation Post-processing for Individual and Group Fairness.
Proceedings of the IEEE International Conference on Acoustics, 2019

Goal-based Ontology Creation for Natural Language Querying in SAP-ERP Platform.
Proceedings of the ACM India Joint International Conference on Data Science and Management of Data, 2019

2018
Tooling Framework for Instantiating Natural Language Querying System.
Proc. VLDB Endow., 2018

Ontology-Based Natural Language Query Interfaces for Data Exploration.
IEEE Data Eng. Bull., 2018

AI Fairness 360: An Extensible Toolkit for Detecting, Understanding, and Mitigating Unwanted Algorithmic Bias.
CoRR, 2018

Automated Test Generation to Detect Individual Discrimination in AI Models.
CoRR, 2018

An Ontology based Dialog Interface to Database.
Proceedings of the 2018 International Conference on Management of Data, 2018

Functional Partitioning of Ontologies for Natural Language Query Completion in Question Answering Systems.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Creation and Interaction with Large-scale Domain-Specific Knowledge Bases.
Proc. VLDB Endow., 2017

Natural language querying in SAP-ERP platform.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores.
Proc. VLDB Endow., 2016

Delta Refactoring for Merge Conflict Avoidance.
Proceedings of the 9th India Software Engineering Conference, 2016

2015
P3: partitioned path profiling.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Detecting and Mitigating Secret-Key Leaks in Source Code Repositories.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Service Mining from Legacy Database Applications.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

2014
Data-guided repair of selection statements.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Distributed program tracing.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2011
Fault localization for data-centric programs.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A framework for analyzing programs written in proprietary languages.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Gramin: a system for incremental learning of programming language grammars.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

2009
A simple and efficient explicit parallelization of logic programs using low-level threading primitives
CoRR, 2009

2008
Extending logical attack graphs for efficient vulnerability analysis.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007
Automatic Incrementalization of Prolog Based Static Analyses.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

An Incremental Bisimulation Algorithm.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Incremental and demand-driven points-to analysis using logic programming.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
Localizing Program Errors for Cimple Debugging.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003
Incremental Evaluation of Tabled Logic Programs.
Proceedings of the Logic Programming, 19th International Conference, 2003

Generation of All Counter-Examples for Push-Down Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003


  Loading...