Pritam M. Gharat

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Context Sensitive

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
Resource Leak Checker (RLC#) for C# Code using CodeQL. CoRR (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers. CoRR (2018)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. SAS (2016)
Pritam M. Gharat, Uday P. Khedker
Flow and Context Sensitive Points-to Analysis using Higher Order Reachability. CoRR (2016)