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
Saikat Chakraborty
Senior Researcher
Papiers de Collaboration
-
-
-
-
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
-
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/
-
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
-
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, Vol 50: pp. 2254-2268
-
-
-
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
-
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
-
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
-
-
-
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
-
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
-
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
-
-
-
Deep learning based vulnerability detection: Are we there yet?
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
IEEE Transactions on Software Engineering | October 2021
-
Unified Pre-training for Program Understanding and Generation.
Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
October 2021
-
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
-
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
-
-
-
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
-
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
-
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/
-
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
-
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, Vol 50: pp. 2254-2268
-
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
-
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
-
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
-
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
-
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
-
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
-
Unified Pre-training for Program Understanding and Generation.
Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
October 2021
-
Deep learning based vulnerability detection: Are we there yet?
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
IEEE Transactions on Software Engineering | October 2021
-
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
-
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
-
-
-
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/
-
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
-
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
-
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
-
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
-
-
-
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, Vol 50: pp. 2254-2268
-
Deep learning based vulnerability detection: Are we there yet?
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
IEEE Transactions on Software Engineering | October 2021
-
-
-
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
-
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
-
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/
-
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
-
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
-
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
-
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
-
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
-
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
-
Unified Pre-training for Program Understanding and Generation.
Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
October 2021
-
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
-
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
-
-
-
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
-