PRITAM MANOHAR GHARAT

PRITAM MANOHAR GHARAT is a Senior Researcher at Microsoft Research India, with a focus on Programming Languages, Program Analysis, and Software Engineering. His work explores the integration of AI to solve complex software engineering challenges.

• Education: Ph.D. in Computer Science from Indian Institute of Technology, Bombay under the guidance of Prof. Uday Khedker

Research Interests:
His research spans programming language design, program analysis techniques, and innovative applications of AI in software development. He has contributed to advancements in resource management specifications and scalable static analysis methods.

Recent Publications (2016-2023):
Key contributions include work on generalized points-to graphs for precise memory analysis, combining static and dynamic analysis methods, and AI-driven specification inference. These papers reflect his focus on improving software reliability and developer productivity.

Conference Involvement:
Active in the academic community, he served as a program committee member for ISEC 2025 and an organizer for APLAS 2025. He has presented at major venues including OOPSLA and ISSTA.