Hi, I am Saikat, currently a Senior Researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, working towards Trusted AI for Programmers. In particular, I am researching towards building AI assisted code generator with provable correctness guarantee w.r.t. certain specification from both programming languages and user intent. Earlier, I graduated with Ph.D. in omputer Science from Columbia University in the City of New York advised by Professor Baishakhi Ray. I wrote my Ph.D. thesis on Learning to Edit Code.

I’m interested in Artificial Intelligence for Software Engineering (AI4SE). My research passion is Programming Language Processing (PLP) -- A coalescence between Software Engineering and Machine Learning. More specifically, I am motivated by building tools and techniques that reduces software engineering practitioners' burden by automating tasks they have to undergo in their everyday job. Over the years, I have been building developer assistance tools with research collaboration across Software Engineering, Machine Learning, Natural Language Processing.

• Formal Properties of Programming Languages, Program Synthesis, Specification Mining, Verification, and Testing.

• Use of Artificial Intelligence and/or Machine (Deep) Learning for software engineering tasks.
• Use of Large Language Models for Program Synthesis/Editing

• 🔔 [February 2024] Release the Official code for Invariant Ranker.
• 🔔 [December 2023] Our work on Re-ranking Loop Invariants is published in EMNLP-findings 2023.
• 🔔 [November 2022] Presented NatGen to FSE in Singapore.
• 🔔 [September 2022] Joined RiSE team at Microsoft Research as Senior Resercher.