Alert button
Picture for Saikat Chakraborty

Saikat Chakraborty

Alert button

Studying LLM Performance on Closed- and Open-source Data

Feb 23, 2024
Toufique Ahmed, Christian Bird, Premkumar Devanbu, Saikat Chakraborty

Viaarxiv icon

Finding Inductive Loop Invariants using Large Language Models

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

Viaarxiv icon

Ranking LLM-Generated Loop Invariants for Program Verification

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

Viaarxiv icon

Towards Causal Deep Learning for Vulnerability Detection

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

Figure 1 for Towards Causal Deep Learning for Vulnerability Detection
Figure 2 for Towards Causal Deep Learning for Vulnerability Detection
Figure 3 for Towards Causal Deep Learning for Vulnerability Detection
Figure 4 for Towards Causal Deep Learning for Vulnerability Detection
Viaarxiv icon

Formalizing Natural Language Intent into Program Specifications via Large Language Models

Oct 03, 2023
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri

Figure 1 for Formalizing Natural Language Intent into Program Specifications via Large Language Models
Figure 2 for Formalizing Natural Language Intent into Program Specifications via Large Language Models
Figure 3 for Formalizing Natural Language Intent into Program Specifications via Large Language Models
Figure 4 for Formalizing Natural Language Intent into Program Specifications via Large Language Models
Viaarxiv icon

GrACE: Generation using Associated Code Edits

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

Figure 1 for GrACE: Generation using Associated Code Edits
Figure 2 for GrACE: Generation using Associated Code Edits
Figure 3 for GrACE: Generation using Associated Code Edits
Figure 4 for GrACE: Generation using Associated Code Edits
Viaarxiv icon

On Contrastive Learning of Semantic Similarity forCode to Code Search

May 05, 2023
Anthony Saieva, Saikat Chakraborty, Gail Kaiser

Figure 1 for On Contrastive Learning of Semantic Similarity forCode to Code Search
Figure 2 for On Contrastive Learning of Semantic Similarity forCode to Code Search
Figure 3 for On Contrastive Learning of Semantic Similarity forCode to Code Search
Figure 4 for On Contrastive Learning of Semantic Similarity forCode to Code Search
Viaarxiv icon

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions

Apr 07, 2023
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

Figure 1 for Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Figure 2 for Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Figure 3 for Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Figure 4 for Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Viaarxiv icon

On ML-Based Program Translation: Perils and Promises

Feb 21, 2023
Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty

Figure 1 for On ML-Based Program Translation: Perils and Promises
Figure 2 for On ML-Based Program Translation: Perils and Promises
Figure 3 for On ML-Based Program Translation: Perils and Promises
Viaarxiv icon

NatGen: Generative pre-training by "Naturalizing" source code

Jun 15, 2022
Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar Devanbu, Baishakhi Ray

Figure 1 for NatGen: Generative pre-training by "Naturalizing" source code
Figure 2 for NatGen: Generative pre-training by "Naturalizing" source code
Figure 3 for NatGen: Generative pre-training by "Naturalizing" source code
Figure 4 for NatGen: Generative pre-training by "Naturalizing" source code
Viaarxiv icon