Dr. Pritam Gharat

About

My primary area of interest is Program Analysis. My Ph.D. thesis focused on Pointer Analysis. Post Ph.D., I was a postdoctoral researcher in the Department of Computing, Imperial College, London where I worked on integrating static analysis and dynamic symbolic execution for efficient bug detection in C code. Currently, I am working at Microsoft Research (Bangalore) as a part of Cloud Reliability group.

Employment

• Microsoft Research India

Education

• Indian Institute of Technology Bombay M.Tech.+Ph.D.
  ? - 2018

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• Inference of Resource Management Specifications
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3622858
  +Save
• Combining static analysis error traces with dynamic symbolic execution (experience paper)
  ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis 2022 DOI: 10.1145/3533767.3534384
  +Save
• Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
  ACM Trans. Program. Lang. Syst. 2020 DOI: 10.1145/3382092
  +Save
• Generalized points-to graphs: A new abstraction of memory in the presence of pointers
  arXiv 2018
  +Save
• Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
  Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings 2016 DOI: 10.1007/978-3-662-53413-7\_11
  +Save
• Flow- and context-sensitive points-to analysis using generalized points-to graphs
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2016 DOI: 10.1007/978-3-662-53413-7_11
  +Save