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
Pritam Gharat
Senior Researcher
Publications
-
-
-
-
Combining static analysis error traces with dynamic symbolic execution (experience paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
ISSTA 2022 | July 2022
-
-
-
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, Vol 42(2): pp. 1-78
-
-
-
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
-
-
-
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
-
Combining static analysis error traces with dynamic symbolic execution (experience paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
ISSTA 2022 | July 2022
-
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, Vol 42(2): pp. 1-78
-
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
-
-
-
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
-
Combining static analysis error traces with dynamic symbolic execution (experience paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
ISSTA 2022 | July 2022
-
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
-
-
-
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, Vol 42(2): pp. 1-78
-