Saikat Chakraborty

57 papers A* 4A 2B 1C 2Journal 33Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
ClassInvGen: Class Invariant Synthesis Using Large Language Models.
SAIV
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 J jnl
ClassInvGen: Class Invariant Synthesis using Large Language Models.
CoRR
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 A* conf
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
ICSE
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2024 J jnl
Automated Code Editing With Search-Generate-Modify.
IEEE Trans. Software Eng.
Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding
2024 — conf
Automated Code Editing with Search-Generate-Modify.
ICSE Companion
Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding
2024 J jnl
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Proc. ACM Softw. Eng.
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2024 — conf
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024 J jnl
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation.
IEEE Trans. Software Eng.
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 J jnl
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
CoRR
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 B conf
Leveraging LLMs for Program Verification.
FMCAD
Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 — conf
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.
ICSE Companion
Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
2024 C conf
Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models.
SCAM
Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser
2024 J jnl
Studying LLM Performance on Closed- and Open-source Data.
CoRR
Toufique Ahmed, Christian Bird, Premkumar T. Devanbu, Saikat Chakraborty
2024 A* conf
Towards Causal Deep Learning for Vulnerability Detection.
ICSE
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le
2024 J jnl
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
CoRR
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2023 — conf
AVATAR: A Parallel Corpus for Java-Python Program Translation.
ACL (Findings)
Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
2023 J jnl
Automated Code Editing with Search-Generate-Modify.
CoRR
Changshu Liu, Pelin Çetin, Yogesh Patodia, Saikat Chakraborty, Yangruibo Ding, Baishakhi Ray
2023 A conf
CONCORD: Clone-Aware Contrastive Learning for Source Code.
ISSTA
Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray
2023 J jnl
CONCORD: Clone-aware Contrastive Learning for Source Code.
CoRR
Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray
2023 J jnl
Finding Inductive Loop Invariants using Large Language Models.
CoRR
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2023 J jnl
Formalizing Natural Language Intent into Program Specifications via Large Language Models.
CoRR
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2023 J jnl
GrACE: Generation using Associated Code Edits.
CoRR
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 — conf
Grace: Language Models Meet Code Edits.
ESEC/SIGSOFT FSE
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 J jnl
On Contrastive Learning of Semantic Similarity forCode to Code Search.
CoRR
Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser
2023 — conf
On ML-Based Program Translation: Perils and Promises.
ICSE (NIER)
Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty
2023 J jnl
On ML-Based Program Translation: Perils and Promises.
CoRR
Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty
2023 — conf
Ranking LLM-Generated Loop Invariants for Program Verification.
EMNLP (Findings)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Ranking LLM-Generated Loop Invariants for Program Verification.
CoRR
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 A conf
Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages.
EACL
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2023 J jnl
Towards Causal Deep Learning for Vulnerability Detection.
CoRR
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le
2023 J jnl
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.
CoRR
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2022 J jnl
CODIT: Code Editing With Tree-Based Neural Models.
IEEE Trans. Software Eng.
Saikat Chakraborty, Yangruibo Ding, Miltiadis Allamanis, Baishakhi Ray
2022 J jnl
Deep Learning Based Vulnerability Detection: Are We There Yet?
IEEE Trans. Software Eng.
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
2022 — —
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing
Saikat Chakraborty
2022 J jnl
NatGen: Generative pre-training by "Naturalizing" source code.
CoRR
Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray
2022 — conf
NatGen: generative pre-training by "naturalizing" source code.
ESEC/SIGSOFT FSE
Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray
2022 J jnl
Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages.
CoRR
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2022 — conf
Towards Learning (Dis)-Similarity of Source Code from Program Contrasts.
ACL (1)
Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
2021 J jnl
AVATAR: A Parallel Corpus for Java-Python Program Translation.
CoRR
Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
2021 J jnl
Contrastive Learning for Source Code with Structural and Functional Properties.
CoRR
Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
2021 A* conf
On Multi-Modal Learning of Editing Source Code.
ASE
Saikat Chakraborty, Baishakhi Ray
2021 J jnl
On Multi-Modal Learning of Editing Source Code.
CoRR
Saikat Chakraborty, Baishakhi Ray
2021 — conf
Retrieval Augmented Code Generation and Summarization.
EMNLP (Findings)
Md. Rizwan Parvez, Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2021 J jnl
Retrieval Augmented Code Generation and Summarization.
CoRR
Md. Rizwan Parvez, Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2021 — conf
Unified Pre-training for Program Understanding and Generation.
NAACL-HLT
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2021 J jnl
Unified Pre-training for Program Understanding and Generation.
CoRR
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2020 A* conf
A Transformer-based Approach for Source Code Summarization.
ACL
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2020 J jnl
A Transformer-based Approach for Source Code Summarization.
CoRR
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2020 J jnl
Deep Learning based Vulnerability Detection: Are We There Yet?
CoRR
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
2019 C conf
Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks.
SCAM
Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray
2018 J jnl
A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks.
CoRR
Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray
2018 — conf
Building Language Models for Text with Named Entities.
ACL (1)
Md. Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2018 J jnl
Building Language Models for Text with Named Entities.
CoRR
Md. Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
2018 J jnl
Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model.
CoRR
Saikat Chakraborty, Yujian Li, Matt Irvine, Ripon Saha, Baishakhi Ray
2018 J jnl
Tree2Tree Neural Translation Model for Learning Source Code Changes.
CoRR
Saikat Chakraborty, Miltiadis Allamanis, Baishakhi Ray
2018 — conf
Which similarity metric to use for software documents?: a study on information retrieval based software engineering tasks.
ICSE (Companion Volume)
Md. Masudur Rahman, Saikat Chakraborty, Baishakhi Ray
2017 J jnl
A Heuristic Initialized Stochastic Memetic Algorithm for MDPVRP With Interdependent Depot Operations.
IEEE Trans. Cybern.
Abdus Salam Azad, Monirul Islam, Saikat Chakraborty