Saikat Chakraborty
4 papers in the PaperMetrix corpus
Papers by this author
-
CODIT: Code Editing With Tree-Based Neural Models
2020 · IEEE Transactions on Software Engineering
The way developers edit day-to-day code tends to be repetitive, often using existing code elements. Many researchers have tried to automate repetitive code changes by learning from specific change templates which are applied to limited …
-
Finding Inductive Loop Invariants using Large Language Models
2023 · arXiv (Cornell University)
Loop invariants are fundamental to reasoning about programs with loops. They establish properties about a given loop's behavior. When they additionally are inductive, they become useful for the task of formal verification that seeks to …
-
A Transformer-based Approach for Source Code Summarization
2020
Generating a readable summary that describes the functionality of a program is known as source code summarization. In this task, learning code representation by modeling the pairwise relationship between code tokens to capture their long-range …
-
Unified Pre-training for Program Understanding and Generation
2021
Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang. Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2021.