Pritam Gharat

I am a post-doc researcher at Microsoft Research India. Earlier, I was a post-doc researcher at Imperial College London. I obtained my Ph.D. from IIT Bombay, India in 2018 under the supervision of Uday P. Khedker.

My research interest is in the area of Programming Languages and Software Engineering. I was working on a sound, light-weight, and modular analysis for resource leak detection at Microsoft. Recently, I have embarked on a new venture that entails performing static analysis using Large Language Models (LLMs).

I have worked on pointer analysis as part of my Ph.D. thesis. My thesis is based on making interprocedural analysis efficient without compromising on precision. More details can be found here. My work at Imperial College focussed on efficient bug detection by combining static analysis and dynamic symbolic execution. More details can be found here.

Here is my CV.

My Ph.D. Thesis.

Publications:

• Inference of Resource Management Specifications (PDF|DOI)
  Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael Ernst, Martin Kellogg, Akash Lal, Shuvendu Lahiri, Manu Sridharan
  ACM SIGPLAN Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) 2023
  
  
• Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) (PDF|DOI)
  Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair Donaldson
  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2022
  
  
• Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis (PDF|DOI)
  Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
  ACM Transactions on Programming Languages and Systems (TOPLAS) 2020
  
  
• Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs (PDF|DOI)
  Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
  23rd Static Analysis Symposium (SAS) 2016
  
  
• CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis
  Pritam M. Gharat, Uday P. Khedker, Alan Mycroft, Aditya Pradhan
  (Under review)
  
  
• Excursions in Pointer Analysis
  Uday P. Khedker, Pritam M. Gharat
  (Book under preparation)
  
  

Contact Info:

• email: pritam01gharat ((at)) gmail.com
•            t-prgharat ((at)) microsoft.com