‪Komal Pathade‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	12	12
h-index	2	2
i10-index	1	1

0

4

2

2019202020212022202320242 2 2 1 3 2

Co-authors

Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in

Komal Pathade

Komal Pathade

IIT Bombay, TCS Research, India

Verified email at cse.iitb.ac.in

Program Analysis Data Flow Analysis Compilers Program Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computing partially path-sensitive MFP solutions in data flow analyses K Pathade, UP Khedker Proceedings of the 27th International Conference on Compiler Construction, 37-47, 2018	10	2018
Path sensitive mfp solutions in presence of intersecting infeasible control flow path segments K Pathade, UP Khedker Proceedings of the 28th International Conference on Compiler Construction …, 2019	2	2019
Computing maximum fixed point solutions over feasible paths in data flow analyses K Pathade, U Khedker Science of Computer Programming 228, 102944, 2023		2023
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code K Pathade arXiv preprint arXiv:2208.05675, 2022		2022

The system can't perform the operation now. Try again later.

Articles 1–4