default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSaikat Chakraborty 0001
Person information
- affiliation: Microsoft Research, Redmond, WA, USA
- affiliation (PhD 2022): Columbia University, USA
Other persons with the same name
- Saikat Chakraborty — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[c22]Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy:
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. ICSE 2025: 1755-1767- [c21]Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri:
ClassInvGen: Class Invariant Synthesis Using Large Language Models. SAIV 2025: 64-96 - [i26]Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri:
ClassInvGen: Class Invariant Synthesis using Large Language Models. CoRR abs/2502.18917 (2025) - 2024
- [j6]Madeline Endres
, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri:
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. 1(FSE): 1889-1912 (2024) - [j5]Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding:
Automated Code Editing With Search-Generate-Modify. IEEE Trans. Software Eng. 50(7): 1675-1686 (2024) - [j4]Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri:
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. IEEE Trans. Software Eng. 50(9): 2254-2268 (2024) - [c20]Adharsh Kamath, Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Leveraging LLMs for Program Verification. FMCAD 2024: 107-118 - [c19]Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le:
Towards Causal Deep Learning for Vulnerability Detection. ICSE 2024: 153:1-153:11 - [c18]Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion 2024: 390-391 - [c17]Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding:
Automated Code Editing with Search-Generate-Modify. ICSE Companion 2024: 398-399 - [c16]Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri:
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion 2024: 410-411 - [c15]Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser:
Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models. SCAM 2024: 177-188 - [i25]Toufique Ahmed, Christian Bird, Premkumar T. Devanbu, Saikat Chakraborty:
Studying LLM Performance on Closed- and Open-source Data. CoRR abs/2402.15100 (2024) - [i24]Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri:
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR abs/2404.10100 (2024) - [i23]Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy:
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR abs/2405.01787 (2024) - 2023
- [c14]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages. EACL 2023: 1520-1534 - [c13]Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) 2023: 9164-9175 - [c12]Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty:
On ML-Based Program Translation: Perils and Promises. ICSE (NIER) 2023: 60-65 - [c11]Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
CONCORD: Clone-Aware Contrastive Learning for Source Code. ISSTA 2023: 26-38 - [c10]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE 2023: 1483-1495 - [i22]Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty:
On ML-Based Program Translation: Perils and Promises. CoRR abs/2302.10812 (2023) - [i21]Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. CoRR abs/2304.03816 (2023) - [i20]Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser:
On Contrastive Learning of Semantic Similarity forCode to Code Search. CoRR abs/2305.03843 (2023) - [i19]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
GrACE: Generation using Associated Code Edits. CoRR abs/2305.14129 (2023) - [i18]Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
CONCORD: Clone-aware Contrastive Learning for Source Code. CoRR abs/2306.03234 (2023) - [i17]Changshu Liu, Pelin Çetin, Yogesh Patodia, Saikat Chakraborty, Yangruibo Ding, Baishakhi Ray:
Automated Code Editing with Search-Generate-Modify. CoRR abs/2306.06490 (2023) - [i16]Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri:
Formalizing Natural Language Intent into Program Specifications via Large Language Models. CoRR abs/2310.01831 (2023) - [i15]Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty, Baishakhi Ray, Wei Le:
Towards Causal Deep Learning for Vulnerability Detection. CoRR abs/2310.07958 (2023) - [i14]Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
Ranking LLM-Generated Loop Invariants for Program Verification. CoRR abs/2310.09342 (2023) - [i13]Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Finding Inductive Loop Invariants using Large Language Models. CoRR abs/2311.07948 (2023) - 2022
- [b1]Saikat Chakraborty:
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing. Columbia University, USA, 2022 - [j3]Saikat Chakraborty, Yangruibo Ding, Miltiadis Allamanis, Baishakhi Ray:
CODIT: Code Editing With Tree-Based Neural Models. IEEE Trans. Software Eng. 48(4): 1385-1399 (2022) - [j2]Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray:
Deep Learning Based Vulnerability Detection: Are We There Yet? IEEE Trans. Software Eng. 48(9): 3280-3296 (2022) - [c9]Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty:
Towards Learning (Dis)-Similarity of Source Code from Program Contrasts. ACL (1) 2022: 6300-6312 - [c8]Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray:
NatGen: generative pre-training by "naturalizing" source code. ESEC/SIGSOFT FSE 2022: 18-30 - [i12]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages. CoRR abs/2205.11116 (2022) - [i11]Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray:
NatGen: Generative pre-training by "Naturalizing" source code. CoRR abs/2206.07585 (2022) - 2021
- [c7]Md. Rizwan Parvez, Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Retrieval Augmented Code Generation and Summarization. EMNLP (Findings) 2021: 2719-2734 - [c6]Saikat Chakraborty, Baishakhi Ray:
On Multi-Modal Learning of Editing Source Code. ASE 2021: 443-455 - [c5]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Unified Pre-training for Program Understanding and Generation. NAACL-HLT 2021: 2655-2668 - [i10]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Unified Pre-training for Program Understanding and Generation. CoRR abs/2103.06333 (2021) - [i9]Saikat Chakraborty, Baishakhi Ray:
On Multi-Modal Learning of Editing Source Code. CoRR abs/2108.06645 (2021) - [i8]Md. Rizwan Parvez, Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Retrieval Augmented Code Generation and Summarization. CoRR abs/2108.11601 (2021) - [i7]Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty:
Contrastive Learning for Source Code with Structural and Functional Properties. CoRR abs/2110.03868 (2021) - 2020
- [c4]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
A Transformer-based Approach for Source Code Summarization. ACL 2020: 4998-5007 - [i6]Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
A Transformer-based Approach for Source Code Summarization. CoRR abs/2005.00653 (2020) - [i5]Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray:
Deep Learning based Vulnerability Detection: Are We There Yet? CoRR abs/2009.07235 (2020)
2010 – 2019
- 2019
- [c3]Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray:
Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks. SCAM 2019: 127-138 - 2018
- [c2]Md. Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Building Language Models for Text with Named Entities. ACL (1) 2018: 2373-2383 - [c1]Md. Masudur Rahman, Saikat Chakraborty, Baishakhi Ray:
Which similarity metric to use for software documents?: a study on information retrieval based software engineering tasks. ICSE (Companion Volume) 2018: 335-336 - [i4]Saikat Chakraborty, Yujian Li, Matt Irvine, Ripon Saha, Baishakhi Ray:
Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model. CoRR abs/1802.06947 (2018) - [i3]Md. Rizwan Parvez, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang:
Building Language Models for Text with Named Entities. CoRR abs/1805.04836 (2018) - [i2]Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray:
A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks. CoRR abs/1808.02911 (2018) - [i1]Saikat Chakraborty, Miltiadis Allamanis, Baishakhi Ray:
Tree2Tree Neural Translation Model for Learning Source Code Changes. CoRR abs/1810.00314 (2018) - 2017
- [j1]Abdus Salam Azad, Monirul Islam, Saikat Chakraborty:
A Heuristic Initialized Stochastic Memetic Algorithm for MDPVRP With Interdependent Depot Operations. IEEE Trans. Cybern. 47(12): 4302-4315 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-28 02:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
