Pritam M. Gharat

According to our database, Pritam M. Gharat authored at least 8 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., October, 2023

Resource Leak Checker (RLC#) for C# Code using CodeQL.

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal

CoRR, 2023

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

2022

Combining static analysis error traces with dynamic symbolic execution (experience paper).

Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020

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

2018

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers.

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

CoRR, 2018

2016

Flow and Context Sensitive Points-to Analysis using Higher Order Reachability.

Pritam M. Gharat, Uday P. Khedker

CoRR, 2016

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs.

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

Proceedings of the Static Analysis - 23rd International Symposium, 2016