Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
https://2024.esec-fse.org/details/fse-2024-research-papers/51/Can-Large-Language-Models-Transform-Natural-Language-Intent-into-Formal-Method-Postco
Preprint
Projet
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2311.07948 | April 2024
Publié par arXiv
Publication
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
Projet
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
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
Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty
60th Annual Meeting of the Association for Computational Linguistics | May 2022
Publication
Saikat Chakraborty, Wasi Ahmad, Baishakhi Ray, Kai-wei Chang
October 2021
Publication
Saikat Chakraborty, Rahul Krishna, Yangruibo Ding, Baishakhi Ray
IEEE Transactions on Software Engineering |
October 2021
Publication
Saikat Chakraborty, Baishakhi Ray
The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) | May 2021
Publication
M. Rizwan Parvez, Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang
Empirical Method in Natural Language Processing (EMNLP-findings) - 2021 | May 2021
Publication