I am a post-doc researcher at Imperial College London. I am affiliated with Software Reliability Group (SRG) and Multicore Programming Group . I am working with Cristian Cadar and Alastair F. Donaldson.
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. I have worked on pointer analysis. My Ph.D. work is based on making interprocedural analysis efficient without compromising on precision. More details can be found here.
My work at Imperial College focusses on efficient bug detection by combining static analysis and dynamic symbolic execution. More details can be found here.
Publications:
-
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
-
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
-
Sifting Through Static Analysis Reports Using Dynamic Symbolic Execution: from Error Traces to Bug-Triggering Test Cases
Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair Donaldson
(Under review)
-
Interprocedural SSA form for Context-Sensitive Interprocedural Analysis
Pritam M. Gharat, Venkatesh Nandigama, Uday P. Khedker
(Under preparation)
email: p.gharat ((at)) imperial.ac.uk