Travelled to:1 × France
1 × Hungary
1 × Portugal
1 × Russia
1 × Spain
1 × United Kingdom
2 × India
2 × Italy
2 × USA
Collaborated with:C.R.Ramakrishnan P.Dhoolia S.Mani S.Chandra M.Afraz A.Kanade G.Paul D.Gopinath S.Khurshid C.W.Keller S.Basu S.A.Smolka N.Gantayat B.Mitchell V.S.Sinha R.Padhye M.Eichberg M.Kahl M.Mezini K.Ostermann A.Aggarwal P.Lohia S.Nagar K.Dey M.G.Nanda V.K.Nandivada V.Sinha
Talks about:program (7) increment (6) logic (4) evalu (4) tabl (4) data (3) prolog (2) model (2) local (2) check (2)
Person: Diptikalyan Saha
DBLP: Saha:Diptikalyan
Facilitated 0 volumes:
Contributed to:
2015
2015
201420132011
2007
200620062005
2005
2005200320172019Wrote 14 papers:
- ESEC-FSE-2015-AfrazSK #named #profiling
- P3: partitioned path profiling (MA, DS, AK), pp. 485–495.
- MSR-2015-SinhaSDPM #detection #repository #source code
- Detecting and Mitigating Secret-Key Leaks in Source Code Repositories (VSS, DS, PD, RP, SM), pp. 396–400.
- ICSE-2014-GopinathKSC #data-driven
- Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.
- ESEC-FSE-2013-SahaDP #distributed
- Distributed program tracing (DS, PD, GP), pp. 180–190.
- ESEC-FSE-2011-SahaNDNSC #fault #locality #source code
- Fault localization for data-centric programs (DS, MGN, PD, VKN, VS, SC), pp. 157–167.
- PADL-2007-EichbergKSMO #analysis #automation #prolog
- Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
- ICLP-2006-SahaR #algorithm #evaluation #incremental #logic programming #source code
- A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 56–71.
- PADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code
- Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.
- ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance
- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
- PPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using
- Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.
- TACAS-2005-KellerSBS #c #debugging #model checking #named #source code
- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (CWK, DS, SB, SAS), pp. 563–569.
- ICLP-2003-SahaR #evaluation #incremental #logic programming #source code
- Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 392–406.
- ESEC-FSE-2017-SahaGMM #framework #natural language #platform #query
- Natural language querying in SAP-ERP platform (DS, NG, SM, BM), pp. 878–883.
- ESEC-FSE-2019-AggarwalLNDS #black box #machine learning #modelling #testing
- Black box fairness testing of machine learning models (AA, PL, SN, KD, DS), pp. 625–635.