Saikat Chakraborty

According to our database, Saikat Chakraborty authored at least 39 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

ClassInvGen: Class Invariant Synthesis Using Large Language Models.

Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri

Proceedings of the AI Verification - Second International Symposium, 2025

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation.

Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri

IEEE Trans. Software Eng., September, 2024

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri

Proc. ACM Softw. Eng., 2024

Studying LLM Performance on Closed- and Open-source Data.

Toufique Ahmed, Christian Bird, Premkumar T. Devanbu, Saikat Chakraborty

CoRR, 2024

Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models.

Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser

Proceedings of the IEEE International Conference on Source Code Analysis and Manipulation, 2024

Towards Causal Deep Learning for Vulnerability Detection.

Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Automated Code Editing with Search-Generate-Modify.

Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.

Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Leveraging LLMs for Program Verification.

Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Finding Inductive Loop Invariants using Large Language Models.

Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

CoRR, 2023

Formalizing Natural Language Intent into Program Specifications via Large Language Models.

Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri

CoRR, 2023

GrACE: Generation using Associated Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2023

On Contrastive Learning of Semantic Similarity forCode to Code Search.

Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser

CoRR, 2023

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

CoRR, 2023

Grace: Language Models Meet Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

CONCORD: Clone-Aware Contrastive Learning for Source Code.

Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

On ML-Based Program Translation: Perils and Promises.

Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Ranking LLM-Generated Loop Invariants for Program Verification.

Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages.

Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

AVATAR: A Parallel Corpus for Java-Python Program Translation.

Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing

Saikat Chakraborty

PhD thesis, 2022

Deep Learning Based Vulnerability Detection: Are We There Yet?

Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray

IEEE Trans. Software Eng., 2022

CODIT: Code Editing With Tree-Based Neural Models.

Saikat Chakraborty, Yangruibo Ding, Miltiadis Allamanis, Baishakhi Ray

IEEE Trans. Software Eng., 2022

NatGen: generative pre-training by "naturalizing" source code.

Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Towards Learning (Dis)-Similarity of Source Code from Program Contrasts.

Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021

Contrastive Learning for Source Code with Structural and Functional Properties.

Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty

CoRR, 2021

Unified Pre-training for Program Understanding and Generation.

Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

On Multi-Modal Learning of Editing Source Code.

Saikat Chakraborty, Baishakhi Ray

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Retrieval Augmented Code Generation and Summarization.

Md. Rizwan Parvez, Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

2020

A Transformer-based Approach for Source Code Summarization.

Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks.

Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2018

Tree2Tree Neural Translation Model for Learning Source Code Changes.

Saikat Chakraborty, Miltiadis Allamanis, Baishakhi Ray

CoRR, 2018

A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks.

Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray

CoRR, 2018

Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model.

Saikat Chakraborty, Yujian Li, Matt Irvine, Ripon Saha, Baishakhi Ray

CoRR, 2018

Which similarity metric to use for software documents?: a study on information retrieval based software engineering tasks.

Md. Masudur Rahman, Saikat Chakraborty, Baishakhi Ray

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Building Language Models for Text with Named Entities.

Md. Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

2017

A Heuristic Initialized Stochastic Memetic Algorithm for MDPVRP With Interdependent Depot Operations.

Abdus Salam Azad, Monirul Islam, Saikat Chakraborty

IEEE Trans. Cybern., 2017