Pritam Gharat

Senior Researcher

论文与出版物

查看方式：

- Inference of Resource Management Specifications
  
  Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
  
  OOPSLA | October 2023
  
  Publication Publication PDF
- Combining static analysis error traces with dynamic symbolic execution (experience paper)
  
  Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
  
  ISSTA 2022 | July 2022
  
  DOI Publication Publication
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
  
  Pritam Gharat, Uday P. Khedker, Alan Mycroft
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | May 2020, 第 42 卷(2): pp. 1-78
  
  Publication
- Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
  
  Pritam Gharat, Uday P. Khedker, A. Mycroft
  
  International Static Analysis Symposium | August 2016
  
  DOI Publication Publication

- Inference of Resource Management Specifications
  
  Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
  
  OOPSLA | October 2023
  
  Publication Publication PDF
- Combining static analysis error traces with dynamic symbolic execution (experience paper)
  
  Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
  
  ISSTA 2022 | July 2022
  
  DOI Publication Publication
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
  
  Pritam Gharat, Uday P. Khedker, Alan Mycroft
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | May 2020, 第 42 卷(2): pp. 1-78
  
  Publication
- Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
  
  Pritam Gharat, Uday P. Khedker, A. Mycroft
  
  International Static Analysis Symposium | August 2016
  
  DOI Publication Publication

- Inference of Resource Management Specifications
  
  Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
  
  OOPSLA | October 2023
  
  Publication Publication PDF
- Combining static analysis error traces with dynamic symbolic execution (experience paper)
  
  Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
  
  ISSTA 2022 | July 2022
  
  DOI Publication Publication
- Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
  
  Pritam Gharat, Uday P. Khedker, A. Mycroft
  
  International Static Analysis Symposium | August 2016
  
  DOI Publication Publication
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
  
  Pritam Gharat, Uday P. Khedker, Alan Mycroft
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | May 2020, 第 42 卷(2): pp. 1-78
  
  Publication