Chakraborty, Saikat

Unified Pre-training for Program Understanding and Generation

Ahmad, W., Chakraborty, S., Ray, B., & Chang, K.-W. (2021) · Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies

Software Engineering ResearchTopic Modeling

Cited by 642

Retrieval Augmented Code Generation and Summarization

Parvez, M. R., Ahmad, W., Chakraborty, S., Ray, B., & Chang, K.-W. (2021) · Findings of the Association for Computational Linguistics: EMNLP 2021

Software Engineering ResearchTopic Modeling

Cited by 141

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

Fakhoury, S., Naik, A., Sakkas, G., Chakraborty, S., & Lahiri, S. K. (2024) · IEEE Transactions on Software Engineering

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 120

NatGen: generative pre-training by “naturalizing” source code

Chakraborty, S., Ahmed, T., Ding, Y., Devanbu, P. T., & Ray, B. (2022) · Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Engineering ResearchTopic Modeling

Cited by 105

AVATAR: A Parallel Corpus for Java-Python Program Translation

Ahmad, W. U., Tushar, M. G. R., Chakraborty, S., & Chang, K.-W. (2021) · arXiv

Software Engineering ResearchNatural Language Processing Techniques

Cited by 46

AVATAR: A Parallel Corpus for Java-Python Program Translation

Ahmad, W. U., Tushar, M. G. R., Chakraborty, S., & Chang, K.-W. (2023) · Findings of the Association for Computational Linguistics: ACL 2023

Software Engineering ResearchNatural Language Processing Techniques

Cited by 46

Ranking LLM-Generated Loop Invariants for Program Verification

Chakraborty, S., Lahiri, S., Fakhoury, S., Lal, A., Musuvathi, M., Rastogi, A., Senthilnathan, A., Sharma, R., & Swamy, N. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 37

Finding Inductive Loop Invariants using Large Language Models

Kamath, A., Senthilnathan, A., Chakraborty, S., Deligiannis, P., Lahiri, S. K., Lal, A., Rastogi, A., Roy, S., & Sharma, R. (2023) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 17

Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model

Chakraborty, S., Li, Y., Irvine, M., Saha, R., & Ray, B. (2018) · arXiv

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 7