Dr. Pritam Gharat completed her masters and doctoral degrees in Computer Science from IIT Bombay. Her primary area of interest is Program Analysis. Her Ph.D. thesis focused on Pointer Analysis and proposed a new form of representation for procedure summaries that can be used for scalable flow- and context-sensitive points-to analysis. Currently, she is working as a postdoctoral researcher in the Department of Computing, Imperial College, London.

Group Publications

  • Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)

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

    Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'22)