‪Komal Pathade‬ - ‪Google Scholar‬

Mijn eigen profiel maken

Geciteerd door

	Alles	Sinds 2019
Citaties	12	12
h-index	2	2
i10-index	1	1

0

4

2

2019202020212022202320242 2 2 1 3 2

Medeauteurs

Uday P. KhedkerProfessor of Computer Science, IIT BombayGeverifieerd e-mailadres voor cse.iitb.ac.in

Komal Pathade

Komal Pathade

IIT Bombay, TCS Research, India

Geverifieerd e-mailadres voor cse.iitb.ac.in

Program Analysis Data Flow Analysis Compilers Program Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4