Saikat Chakraborty

Senior Researcher

출판물

자료 보기:

- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 액세스 액세스 프로젝트
- Leveraging LLMs for Program Verification
  
  Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  Preprint Publication
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- AVATAR: A Parallel Corpus for Java-Python Program Translation
  
  Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
  
  ACL 2023 | May 2023
  
  Publication
- NatGen: Generative pre-training by “Naturalizing” source code
  
  Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar Devanbu,, Baishakhi Ray
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2022
  
  Publication
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트
- Towards Learning (Dis)-Similarity of Source Code from Program Contrasts
  
  Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
  
  60th Annual Meeting of the Association for Computational Linguistics | May 2022
  
  Publication
- Deep learning based vulnerability detection: Are we there yet?
  
  Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
  
  IEEE Transactions on Software Engineering | October 2021
  
  Publication
- Unified Pre-training for Program Understanding and Generation.
  
  Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
  
  October 2021
  
  Publication
- On Multi-Modal Learning of Editing Source Code.
  
  Saikat Chakraborty, Baishakhi Ray
  
  The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) | May 2021
  
  Publication
- Retrieval Augmented Code Generation and Summarization.
  
  M. Rizwan Parvez, Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
  
  Empirical Method in Natural Language Processing (EMNLP-findings) - 2021 | May 2021
  
  Publication

- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 액세스 액세스 프로젝트
- Leveraging LLMs for Program Verification
  
  Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  Preprint Publication
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- AVATAR: A Parallel Corpus for Java-Python Program Translation
  
  Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
  
  ACL 2023 | May 2023
  
  Publication
- NatGen: Generative pre-training by “Naturalizing” source code
  
  Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar Devanbu,, Baishakhi Ray
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2022
  
  Publication
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트
- Towards Learning (Dis)-Similarity of Source Code from Program Contrasts
  
  Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
  
  60th Annual Meeting of the Association for Computational Linguistics | May 2022
  
  Publication
- Unified Pre-training for Program Understanding and Generation.
  
  Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
  
  October 2021
  
  Publication
- Deep learning based vulnerability detection: Are we there yet?
  
  Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
  
  IEEE Transactions on Software Engineering | October 2021
  
  Publication
- On Multi-Modal Learning of Editing Source Code.
  
  Saikat Chakraborty, Baishakhi Ray
  
  The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) | May 2021
  
  Publication
- Retrieval Augmented Code Generation and Summarization.
  
  M. Rizwan Parvez, Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
  
  Empirical Method in Natural Language Processing (EMNLP-findings) - 2021 | May 2021
  
  Publication
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- AVATAR: A Parallel Corpus for Java-Python Program Translation
  
  Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
  
  ACL 2023 | May 2023
  
  Publication
- Retrieval Augmented Code Generation and Summarization.
  
  M. Rizwan Parvez, Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
  
  Empirical Method in Natural Language Processing (EMNLP-findings) - 2021 | May 2021
  
  Publication

- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Deep learning based vulnerability detection: Are we there yet?
  
  Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
  
  IEEE Transactions on Software Engineering | October 2021
  
  Publication
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 액세스 액세스 프로젝트
- Leveraging LLMs for Program Verification
  
  Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  Preprint Publication
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- AVATAR: A Parallel Corpus for Java-Python Program Translation
  
  Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, Kai-Wei Chang
  
  ACL 2023 | May 2023
  
  Publication
- NatGen: Generative pre-training by “Naturalizing” source code
  
  Saikat Chakraborty, Toufique Ahmed, Yangruibo Ding, Premkumar Devanbu,, Baishakhi Ray
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2022
  
  Publication
- Towards Learning (Dis)-Similarity of Source Code from Program Contrasts
  
  Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
  
  60th Annual Meeting of the Association for Computational Linguistics | May 2022
  
  Publication
- Unified Pre-training for Program Understanding and Generation.
  
  Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
  
  October 2021
  
  Publication
- On Multi-Modal Learning of Editing Source Code.
  
  Saikat Chakraborty, Baishakhi Ray
  
  The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) | May 2021
  
  Publication
- Retrieval Augmented Code Generation and Summarization.
  
  M. Rizwan Parvez, Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
  
  Empirical Method in Natural Language Processing (EMNLP-findings) - 2021 | May 2021
  
  Publication
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트

Saikat Chakraborty

출판물

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Leveraging LLMs for Program Verification

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

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

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

Ranking LLM-Generated Loop Invariants for Program Verification

Grace: Language Models Meet Code Edits

AVATAR: A Parallel Corpus for Java-Python Program Translation

NatGen: Generative pre-training by “Naturalizing” source code

Interactive Code Generation via Test-Driven User-Intent Formalization

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

Deep learning based vulnerability detection: Are we there yet?

Unified Pre-training for Program Understanding and Generation.

On Multi-Modal Learning of Editing Source Code.

Retrieval Augmented Code Generation and Summarization.

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Leveraging LLMs for Program Verification

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

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

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

Ranking LLM-Generated Loop Invariants for Program Verification

Grace: Language Models Meet Code Edits

AVATAR: A Parallel Corpus for Java-Python Program Translation

NatGen: Generative pre-training by “Naturalizing” source code

Interactive Code Generation via Test-Driven User-Intent Formalization

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

Unified Pre-training for Program Understanding and Generation.

Deep learning based vulnerability detection: Are we there yet?

On Multi-Modal Learning of Editing Source Code.

Retrieval Augmented Code Generation and Summarization.

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

Ranking LLM-Generated Loop Invariants for Program Verification

Grace: Language Models Meet Code Edits

AVATAR: A Parallel Corpus for Java-Python Program Translation

Retrieval Augmented Code Generation and Summarization.

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

Deep learning based vulnerability detection: Are we there yet?

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Leveraging LLMs for Program Verification

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

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions

Ranking LLM-Generated Loop Invariants for Program Verification

Grace: Language Models Meet Code Edits

AVATAR: A Parallel Corpus for Java-Python Program Translation

NatGen: Generative pre-training by “Naturalizing” source code

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

Unified Pre-training for Program Understanding and Generation.

On Multi-Modal Learning of Editing Source Code.

Retrieval Augmented Code Generation and Summarization.

Interactive Code Generation via Test-Driven User-Intent Formalization