Pritam was a research associate in the Department of Computing at Imperial College London, working in the Software Reliability Group and Multicore Programming Group on compiler testing. Her research interests include program analysis, compiler optimizations, programming languages.
She received her Ph.D. from IIT Bombay under the supervision of Prof. Uday Khedker. Her research is closely related to static analysis and her Ph.D. thesis is about static pointer analysis.
Group Publications
-
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
Other Publications
-
Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
ACM Transactions on Programming Languages and Systems (ACM TOPLAS) (Submitted revised version on February 2019)
-
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Static Analysis - 23rd International Symposium, SAS 2016