Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (SAS, 2016)

Flow and Context Sensitive Points-to Analysis using Higher Order Reachability. - Pritam M. Gharat; Uday P. Khedker (CoRR, 2016)

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (CoRR, 2018)

Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (ACM Trans. Program. Lang. Syst., 2020)

Combining static analysis error traces with dynamic symbolic execution (experience paper). - Frank Busse; Pritam M. Gharat; Cristian Cadar; Alastair F. Donaldson (ISSTA, 2022)

Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Resource Leak Checker (RLC#) for C# Code using CodeQL. - Pritam M. Gharat; Narges Shadab; Shrey Tiwari; Shuvendu K. Lahiri; Akash Lal (CoRR, 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)